GARRIGUE Jacques

ガリグジヤツク | Garrigue Jacques

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.math.nagoya-u.ac.jp/~garrigue/

研究分野 (1件)：情報学基礎論

研究キーワード (1件)：関数型言語型理論ラムダ計算

競争的資金等の研究課題 (1件)：

論文 (31件)：

書籍 (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件)：

委員歴 (4件)：

受賞 (1件)：

所属学会 (3件)：

ACM , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。