内容詳細 関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論,型システム,プログラミング言語の基礎概念,これらの概念間の数学的な関連を学ぶ.オンライン演習システムを用いて,「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる. 第1部 導出システム入門 第1章 自然数の加算・乗算・比較 1.1 自然数の加算・乗算:導出システム Nat 1.2 推論規則と導出の記法 1.3 自然数の比較:導出システム ComparaNat1-3 1.4 算術式の評価と簡約 第2章 メタ定理と帰納法による証明 2.1 メタ理論とメタ定理 2.2 数学的帰納法 2.3 構造帰納法 2.4 帰納法による定義 2.5 導出に関する帰納法 2.6 整礎帰納法 第2部 MLの操作的意味論 第3章 整数・真偽値式の評価 3.1 ML1とその評価:導出システム Eval
印刷 中国浙江省温州の高速鉄道事故で、中国政府の事故調査チームは、これまでに現場に残されていた事故車両を詳しく調べることを決め、26日朝までに搬出を始めた。運転席を破壊して現場の穴に投棄したことなどに批判が出て、遺族も事故処理を巡り抗議を始めたことから、方針を転換した可能性がある。 当局は23日夜の脱線事故の翌朝、高速で前の列車に激突した「和諧号」CHR2型車両の運転席を現場そばの野菜畑に掘った穴に捨て、重機のアームで破壊。脱線したほかの5両の一部も25日に破壊するなどして、現場に放置していた。 運転席を埋めたことについて、鉄道省はこれまでに「作業現場の場所を確保するため」と説明。しかし、事故の原因となったとみられる列車の運転席を埋めたことから、インターネット上では「証拠隠滅だ」などと批判が噴出していた。 関連記事高速鉄道また止まる 北京―上海間、電力設備が故障(7/26)中国のメー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く