Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Jacques Garrigue : Home Page
[ 名古屋大学多元数理科学研究科
| 関数型言語グループ
] ......................
雅利賀 惹玖／ジャック・ガリグ
連絡先 :
garrigue at
math.nagoya-u.ac.jp
略歴
名古屋大学大学院多元数理
科学研究科 で助教授。京都大学数理解
析研究所 で助手。 米澤研究室
で博士課程。 パリ高等師範学校 の卒業生。
研究
研究分野はλ計算や型理論などを含む。特に次のテーマを研究して来ました。
学会活動
現在，以下の会議のプログラム委員を担当しています。
過去数年の活動。
TPP'10: 定理証明と証明系 名古屋、2010年11月25・26日
OCaml Meeting 2010 in Nagoya
2010年8月28日
第81回情報処理学会
プログラミング研究会 (高知市，
2010年10月28・29日)
OOPS track of SAC
2011: The ACM Symposium on Applied Computing, TaiChung, Taiwan
第76回情報処理学会プログラミング研究会 (石垣島，
2009年10月28〜30日)
OOPS track of SAC
2009: The ACM Symposium on Applied Computing, Honolulu, Hawaii
FLOPS 2008:
9th International Symposium on Functional and Logic Programming, Ise
, Japan (co-chair)
The 2008
International Workshop on Foundations of Object-Oriented
Languages, San Francisco, California
The 2007
ACM SIGPLAN Workshop on ML, Freiburg, Germany
PPLサマースクール2006 幹事
ICFP'05:
10th International Conference on Functional Programming, Talinn, Estonia
FLOPS
2004: International Symposium on Functional and Logic Programming,
Nara, April 7-9, 2004.
日本語での資料 ・書籍
「Objective Caml 3.12のモジュール機能」OCaml UM in Nagoya，2010年8月．
PDF版
数学ソフトウェアとフリードキュメント09講演資料「OCamlがなぜバグを
書かせないのか」PDF版
OCamlコード
「構造的多相性をもった言語の検証つきインタープリタ」
日本ソフトウェア科学会第26回大会，2009年9月．
PDF版
PPL2005講演資料 「OCaml NG集」. PDF版
第1回PPLサマースクール講義資料
「OCamlによるプログラミング」
Jacques GARRIGUE・ 西村 進・中島 玲二「共有アプリケーション
のための同期実行モデル」PDF版
大堀・ Garrigue・ 西村「コンピュータサ
イエンス入門：アルゴリズムとプログラミング言語」 岩波書店,
1999年5月.
その他
たまには、プログラムを書くほど怠けることもある。こういう物を作成した。
個人用のリンク です.
JG
2011.9.29