2013年度前期・数理解析・計算機数学 II
[ ホーム | 講義 ] 2013年度前期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2013年8月2日(金) 講義予定 シラバス 第1回 4月12日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 4月19日 Coqの論理 講義メモ 第3回 4月26日 述語論理と帰納法 講義メモ 第4回 5月10日 帰納的な定義と多相性 講義メモ 第5回 5月17日 プログラムの証明1 講義メモ 第6回 5月24日 プログラムの証明1 5月25日 14時半〜17時半 多元307号室 (ご興味の方) Proof Cafe: 先輩達によるCoqの勉強会 第7回 5月31日 プログラムの証明2 講義メモ 6月7日 名大際のため休講 第8回 6月14日 数学的な証明 講
2010年度後期・数理解析・計算機数学 III
[ ホーム | 講義 ] 2010年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2010年12月 27日(月) レポート課題 提出期限 2010年2月7日(月) (M2は1月28日(金)) 講義予定 シラバス 第1回 10月6日 (10人) Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月13日 (7人) 多相型と汎関数 第3回 10月20日 (6人) 関数の証明と再帰関数 第4回 10月27日 (3人) 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli リストと構造的帰納法 第5回 11月10日 (3人) 再帰的アルゴリズム1：リストと整列 講義メモ 第6回 11月17日 (3人) 再帰的アルゴリズム2：木構造と数式処理
PPL Summer School 2006
第４回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2006) URL: http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/ 開催日時: 2006年9月12日（火） 会場: 東京大学 本郷キャンパス 工学部 新２号館 ２１２号室 主催： 日本ソフトウエア科学会・ プログラミング論研究会 (日本ソフトウエア科学会第23回大会併設企画) PPLサマースクールは、プログラミングの理論と実践に関する基礎知識や ホット・トピックに関して、分かりやすく解説していただくことを目的とした、 日本ソフトウエア科学会・プログラミング論研究会主催のイベントです。 第４回目となる今回も、 前回までと同様、日本ソフトウエア科学会大会併設企画として 開催されます。 プログラミングの理論と実践に関して興味のある学生、 企業・
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
