[ 名古屋大学多元数理科学研究科 ] ......................

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

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

略歴

講義・オフィスアワー

論文リスト(英語)

プロジェクト

• COCTI: Certifiable OCaml Type Inference

研究

• 指定的λ計算
• トランスフォーメーション計算
• 関数型言語 Objective Caml に 関する仕事
  • ラベル付引数と省略可能引数の型付けおよびコンパイル
  • 多相ヴァリアントの型付 け、その応用、そし て型式的な証明
  • 明示的な共変性と緩和された値 多相性
  • 多相メソッド、 こと semi-explicit higher order (impredicative) polymorphism
  • オブジェクトとヴァリアントのため のプライベート列型
  • GADTの導入 (Jacques Le Normandと共に)
• 再起モジュールについて中田 景子他との共同研究

学会活動

• APLAS 2024, Kyoto, Oct. 22-25 2024 (General Chair)
• ICFP 2024, Milano, Sep. 2-7 2024

• ML 2023 and OCaml 2023, Seattle, WA, Sep. 8-9 2023
• FOSSACS 2021, Luxembourg, Mar. 27-Apr. 1 2021
• Coq Workshop 2019, Portland, Oregon, Sep. 8 2019 (Co-chair)
• PPL 2019, 花巻, 2019年3月6日〜8日
• POPL 2019, Lisbon, Portugal, Jan. 16-18 2019
• FLOPS 2018, Nagoya, May 9-11 2018
• SCSS 2017, Gammarth, Tunisia, Apr. 6-9 2017
• ICFP 2016, Nara, Sep. 18-24 2016 (General chair)
• IFL 2016, Leuven, Belgium, Aug. 31 - Sep. 2 2016
• CoqPL'16, St. Petersburg, Florida, Jan. 23 2016
• NII Shonan School on Coq, Shonan, Japan, Aug. 25-29 2014
• ACM SIGPLAN ML Family Workshop, Gothenburg, Sep. 4
• OCaml 2014, Gothenburg, Sep. 5 (PC chair)
• APLAS 2014, Singapore, Nov. 17-19 2014 (PC chair)
• JFLA 2014 (Frejus, 1月8〜11日)
• APLAS 2013 (Melbourne, 12月9〜11日)
• APLAS and CPP 2012 (京都, 12月11〜15日) (General co-chair)
• WGP 2012: 8th ACM SIGPLAN Workshop on Generic Programming (Copenhagen, 9月9日)
• OUD 2012: OCaml Users and Developers Workshop (Copenhagen, 9月14日)
• PPL 2012: 第14回プログラミ ングおよびプログラミング言語ワークショップ (南紀白浜, 2012年3月8～10日)
• ICFP'11: 16th International Conference on Functional Programming, Tokyo, Japan
• 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.

日本語での資料 ・書籍

• 2018年度名古屋大学公開講座「 複雑さと信頼 ー ソフトウェアと数学の 機械による検証」. スライド(PDF).
• 2015年度公開講座・数学アゴラ. 講義資料
• 「型システムとプログラミング言語」 多元数理科学 研究科談話会 2015-6-25. スライド(PDF).
• 「分割できながら等価：型レベル・エイリアス」JSSST 2014. 予稿(PDF), スライド(PDF)
• 「単一化を証明する」ProofSummit 2013. スライド(PDF)
  • Coqでの証明: Fixpoint版 Function版 SSReflect版
  • McBrideの構造的再帰の実装: OCaml版
• 「Path resolution for recursive modules」PPLでの発表資料，2013年3月． PDF版 論文
• 「More Logic More Types」ML Nagoyaでの発表資料，2012年5月． PDF版
• 「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・ 西村 進・中島 玲二「共有アプリケーション のための同期実行モデル」
  日本ソフトウェア科学会第20回大会, 2003年9月. PDF版
• 大堀・ Garrigue・ 西村「コンピュータサ イエンス入門：アルゴリズムとプログラミング言語」岩波書店, 1999年5月.

その他

• MiniMAL は、アルゴリズムを教えるのに適した 関数型プログラミング言語である．OCamlでとても簡潔に実装されているの で、実験の土台にもなりうる．
• TeCoAS, 共著・共読支援システム.
• LablGTK と LablGL はOCamlのための強く型付けさ れたGTK+とOpenGLのインターフェースで ある.
• JMMM (古瀬淳と協力). François Rouaix が 関数型言語CSLで書いたWWWブラウザの日本語版.
• Objective Label. Objective Caml を指定・随意ラベルとvariantで拡張した言語。新しいObjective Caml にはこの機能および LablTk・OCamlBrowserが含まれている。
• FIML, 強い型体系を持つ関数・手続き型メタ言語.

電子メールを下さい.