[ ホーム | 講義 ] 2018年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提... [ ホーム | 講義 ] 2018年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2019年1月28日(月) 講義予定 シラバス 第1回 10月3日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) ProofGeneral PG-master.zip (Safariでダウンロードする) 第2回 10月10日 Coqの論理 講義メモ 第3回 10月17日 述語論理と帰納法 講義メモ 第4回 11月7日 帰納的な定義と多相性 講義メモ 第5回 11月14日 多相性と単一化 講義メモ 第6回 11月21日 プログラムの証明1 講義メモ 第7回11月28日 プログラムの証明2 講義メモ 第8回12月5日 数学的な証明 講義メモ 第9回12月12日 MathCo
記事へのコメント0件
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています