[ 名古屋大学多元数理科学研究科 | 関数型言語グループ ] ...................... [EN] [FR] [JP]

雅利賀 惹玖/ジャック・ガリグ

連絡先 : garrigue at math.nagoya-u.ac.jp


略歴

名古屋大学大学院多元数理 科学研究科で助教授。
2004年9月まで京都大学数理解 析研究所で助手。
95年3月まで東京大学の米澤研究室 で博士課程。
パリ高等師範学校の卒業生。

講義・オフィスアワー


研究

研究分野はλ計算や型理論などを含む。特に次のテーマを研究して来ました。

論文リスト(英語)


学会活動

現在,以下の会議で委員活動をしています。 過去数年の活動。

日本語での資料 ・書籍


その他

たまには、プログラムを書くほど怠けることもある。こういう物を作成した。 個人用のリンクです.
[EM] 電子メールを下さい.
JG 2016.10.27