See related links to what you are looking for.
See related links to what you are looking for.
[ ホーム | 講義 ] 2014年度前期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2014年7月31日(木) 講義予定 シラバス 第1回 4月14日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 4月21日 Coqの論理 講義メモ 第3回 4月28日 述語論理と帰納法 講義メモ 第4回 5月12日 帰納的な定義と多相性 講義メモ 第5回 5月19日 プログラムの証明1 講義メモ 5月25日 13時半〜17時半 A館207号室 (ご興味の方) Proof Cafe: 先輩達によるCoqの勉強会 第6回 5月26日 プログラムの証明1 第7回 6月2日 プログラムの証明2 講義メモ 第8回 6月9日 数学的な証明 講義メモ 第9回 6月16日 命
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く