タグ

ブックマーク / www.math.nagoya-u.ac.jp/~garrigue (2)

  • 2020年度後期・数理解析・計算機数学 II

    [ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目（10月7日1限）の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の

  • 2009年度後期・数理解析・計算機数学 III

    [ ホーム | 講義 ] 2009年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2010年1月15日(金) レポート課題 提出期限 2010年2月8日(月) 講義予定 シラバス (修正版) 第1回 10月7日 Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月14日 多相型と汎関数 第3回 10月21日 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli 再帰関数 10月28日は出張で休講 第4回 11月4日 リストと構造的帰納法 第5回 11月11日 再帰的アルゴリズム1 講義メモ 第6回 11月18日 再帰的アルゴリズム2 講義メモ 第7回 11月25日 GUIとグラフィックス 講義メモ 第8回 12月2日 Coqで関数型プ

  • 1

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.