研究者
J-GLOBAL ID：200901066514865638   更新日: 2024年07月16日

GARRIGUE Jacques

ガリグ ジヤツク | Garrigue Jacques
所属機関・部署：
名古屋大学 大学院多元数理科学研究科 数理解析

名古屋大学 大学院多元数理科学研究科 数理解析 について


職名： 教授
ホームページURL (1件)： http://www.math.nagoya-u.ac.jp/~garrigue/
研究分野 (1件)： 情報学基礎論
研究キーワード (1件)： 関数型言語 型理論 ラムダ計算
競争的資金等の研究課題 (1件)：
  • 2010 - 2014 進んだ型システムを持ったプログラミング言語における型検証器の機械的な証明
論文 (32件)：
もっと見る
書籍 (3件)：
  • Programming Languages and Systems, 12th Asian Symposium (APLAS 2014)
    Springer 2014 ISBN:9783319127354
  • Functional and Logic Programming, 9th International Symposium (FLOPS 2008)
    Springer LNCS 2008 ISBN:9783540789680
  • コンピュータサイエンス入門-アルゴリズムとプログラミング言語
    岩波書店 1999
講演・口頭発表等 (15件)：
  • Reasoning with Conditional Probabilities and Joint Distributions in Coq
    (プログラミングおよびプログラミング言語ワークショップ 2019)
  • Correctness of the LOUDS encoding of tree structures
    (Theorem Proving and Provers meeting 2018)
  • レンズとモナドを用いた軽量な線形型付きプログラミング
    (情報処理学会プログラミング研究発表会 2018)
  • Lightweight linearly-typed programming with lenses and monads
    (OCaml Users in Paris 2018)
  • Proving tree algorithms for succinct data structures
    (日本ソフトウェア科学会全国大会 2018)
もっと見る
学位 (1件)：
  • 理学博士 (東京大学)
経歴 (4件)：
  • 2018/08/01 - 現在 名古屋大学 大学院多元数理科学研究科 数理解析 教授
  • 2007/04/01 - 2018/07/31 名古屋大学 大学院多元数理科学研究科 数理解析 准教授
  • 2007/03/31 - 名古屋大学 大学院多元数理科学研究科 助教授
  • 1995/04/01 - 2004/09/30 京都大学数理解析研究所 助手
委員歴 (4件)：
  • 2016/04/01 - 現在 IPSJ SIG-PRO Steering committee member
  • 2016/04/01 - 現在 情報処理学会プログラミング研究会 幹事
  • 2007/04/01 - 2011/03/31 Editorial committee of IPSJ SIGPRO Editor
  • 2007/04/01 - 2011/03/31 情報処理学会プログラミング研究会編集委員会 編集委員
受賞 (1件)：
  • 2010/06/09 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (3件)：
ACM ,  日本ソフトウェア科学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM