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

数解研での 新ホームへのリンク

English

garrigue@kurims.kyoto-u.ac.jp

今、米澤研究室で博士課程終了後, 京都大学 数理解析研究所に移る。元は、フランス のパリ高等師範学校の生徒。

研究分野はλ計算や型理論などを含む。特 に次の二つの計算系を研究する。

• 指定的λ計算
• トランスフォーメーション計算

たまには、プログラムを書くほど怠けることもある。こういう物を作成した。

• FIML, 強い型体系を持つ関数・手続き 型メタ言語.

電子メールを下さい.

米澤研ホーム