[ 名古屋大学多元数理科学研究科 ] ...................... 雅利賀 惹玖/ジャック・ガリグ 連絡先 : garrigue at math.nagoya-u.ac.jp 略歴 名古屋大学大学院多元数理 科学研究科で教授。 2004年9月まで京都大学数理解 析研究所で助手。 95年3月まで東京大学の米澤研究室 で博士課程。 パリ高等師範学校の卒業生。 講義・オフィスアワー 論文リスト(英語) プロジェクト COCTI: Certifiable OCaml Type Inference 研究 研究分野はλ計算や型理論などを含む。特に次のテーマを研究して来ました。 指定的λ計算 トランスフォーメーション計算 関数型言語 Objective Caml に 関する仕事 ラベル付引数と省略可能引数の型付けおよびコンパイル 多相ヴァリアントの型付 け、その応用、そし て型式的な証明
レポート 〆切 2月7日(日) 内容 講義資料の練習問題(全部ではなくても採点する) 体裁 #useで読み込める.mlファイル。番号や説明は コメントとして書く: (* 課題3.1 *) など 宛先 指定のサーバーにアップロード 質問 garrigue at math.nagoya-u.ac.jp (SubjectにTsukubaを入れて下さい) 講義資料 講義ノート 関数型言語OCaml入門 load-caml.el .emacsに追加する定義 関数描画ライブラリー plot.ml plot.mli 資料 Objective Camlの基礎知識 OCamlに関する情報源 Caml@INRIA 開発元 (英語) OCaml.org 紹介サイト (英語) OCaml.jp 日本語での情報 日本語マニュアル リファレンスマニュアルの日本語版 OCamlによるプログラミング PPLサマースクール
[ ホーム | 講義 ] 2015年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2016年2月3日(水) 講義予定 シラバス 第1回 10月7日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 10月14日 Coqの論理 講義メモ 第3回 10月21日 述語論理と帰納法 講義メモ 第4回 10月28日 帰納的な定義と多相性 講義メモ 第5回 11月4日 多相性と単一化 講義メモ 第6回 11月11日 プログラムの証明1 講義メモ 第7回11月18日 プログラムの証明2 講義メモ 第8回11月25日 数学的な証明 講義メモ 第9回12月2日 SSReflect 講義メモ 第10回 12月 9日 SSReflect 2 講義メモ coq10.v
[ ホーム | 講義 ] 2011年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2012年1月 11日(水) レポート課題 提出期限 2012年2月7日(火) (M2は1月27日(金)) 講義予定 シラバス 第1回 10月12日 Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月19日 多相型と汎関数 第3回 10月26日 関数の証明と再帰関数 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli 第4回 11月2日 リストと構造的帰納法 再帰的データ構造 講義メモ 第5回 11月9日 再帰的アルゴリズム:リストと木構造 講義メモ 第6回 11月16日 再帰的アルゴリズム2:木構造と数式処理 第7回 11月30日 GUIとグラフィ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く