解釈 可能 性 論理 ( Interpretability logics ) は 、 様相 論理 の 一 系統 を 構成 し て おり 、 解釈 可能 性 ( en ) や 弱い 解釈 可能 性 ( en )、 Π 1 - conservativity 、 cointerpretability 、 tolerance 、 cotolerance 、 および 計算 複雑 さ ( arithmetic complexity ) の よう な 様々 な 関連 する 数学 的 性質 と 関係 を 記述 する ため に 証明 可能 性 論理 を 拡張 し た もの で ある 。

過去 10 年間 に 30 箇所 以上 の 都市 や 地域 の 中心 の 駅 の 拡張 や 改修 を おこなっ た 。

関西電力 は 、 この 周囲 に 5 基 の ダム を 建設 する こと で 拡張 し 、 同社 の 揚水 式 水力 発電 所 ・ 大河内 発電 所 （ お おかわ ちはつ でん しょ ） の 上池 として 利用 し て いる 。

原因 は 、 隣接 コミューン の 併合 、 鉄道 網 の 拡張 、 鉄 と スレート 産業 の 拡大 に あっ た 。

また 同 時期 に 発売 さ れ た サプリメント 『 ユニバーサル ・ ガーディアン 』 で 追加 さ れ た 拡張 ルール 「 エンブレム 」 の 導入 例 とも なっ て いる 。

BaseX は これら の 仕様 に 加え て 、 Update Facility 、 および 、 Full Text 拡張 機能 に も 対応 し て いる 。

Barrikady 工場 の 独自 開発 による もの で 、 Br - 2 の 砲身 を 180 mm 口径 に 拡張 し 、 B - 4 で 運搬 さ れ た 。

アゼルバイジャン で は 、 シャフ・デニズガス 田 { enlink | Shah Deniz gas field } の 第 2 ステージ が 2016 年 に 操業 開始 の 予定 で あり 、 更 なる 拡張 によって 同 ガス 田 から ナブッコ に 年間 80 億 m 3 の ガス が 供給 さ れる 契約 と なっ て いる 。

この 拡張 で 24 マイル ( 38 km ) の 高速 道路 が でき 、 完工 は 2012 年 12 月 が 予定 さ れ て いる 。

しかし 、 ビン ガム ・ キャニオン 鉱山 は 拡張 を 続け 、 今日 で は 世界 で も 最大 級 の 露天掘り 鉱山 と なっ て いる 。

2002 年 冬季 オリンピック の 準備 で 1998 年 から 2001 年 まで 行わ れ た 拡張 計画 で 、 高速 道路 は 10 ないし 12 車線 と なっ た 。

554 年 （ 恭 帝 元年 ） 、 梁 漢 の 旧 路 の 道幅 を 拡張 する 工事 を 指揮 し 、 山谷 を 開鑿 する こと 500 里 あまり 、 梁 州 に いたる 道路 を 整備 し た 。

1954 年 に 道路 拡張 工事 により 消滅 する 前 に 事前 調査 が 行なわ れ 、 鉄製 武器 の 他 、 ほぼ 原形 を 保ち 紋様 や 彩色 を 留め て い た 漆 塗 の 盾 など の 遺物 が 出土 し て いる 。

1902 年 に ロシア 帝国 が 建設 し 、 1907 年 に 大日本帝国 が 拡張 し て 「 関東 都 督 府 監獄 署 于 」 と 呼ば れ た 後 、 1920 年 に 「 関東 庁 監獄 」 、 1934 年 に 「 関東 刑務所 」 、 1939 年 に 「 旅順 刑務所 」 と 呼ば れ た 。

灌漑 システム が 拡張 さ れ 新しい 土地 で 生産 が できる よう に なっ た が 、 その後 の 数 十 年間 に この 地域 を 襲う 問題 に も 繋がっ た 。

灌漑 が 拡張 さ れ て 開拓 地 も 拡張 さ れ 、 幾つ か の 新しい 町 が 設立 さ れ た 。

さらに 地域 需要 に 対応 し て い た 小さな 炭坑 で 構成 さ れ て い た 石炭 産業 が 拡張 さ れ 、 幾つ か の 大 規模 炭坑 が 操業 を 始め た 。

オリジナル の IEEE - 754 浮動 小数点 数 の 初期 の アーキテクト で ある William Kahan は 「 現在 拡張 倍精度 は 、 さらなる 精度 の 計算 と それ を 速く 動作 さ せる 実装 の 価値 の 妥当 な 妥協 点 で ある 。

まず 、 処理 系 の 独自 拡張 として の 実装 は 存在 する が 、 標準 の 言語 仕様 で は 四 倍 精度 が 定義 さ れ て い ない 。

また 、 CPU の 浮動 小数点 計算 ユニット も 最高 の 場合 で 拡張 倍精度 まで の サポート に 留まり 、 四 倍 精度 以上 の 精度 の 計算 は 、 ハードウェア 上 で サポート さ れる 精度 の 変数 を 複数 組み合わせ た ソフトウェア 上 の アルゴリズム で 実行 する の が 一般 的 で ある 。