Rchr
J-GLOBAL ID：200901066514865638
Update date: Jan. 30, 2024
Garrigue Jacques
ガリグ ジヤツク | Garrigue Jacques
Affiliation and department：
Job title：
Professor
Homepage URL (1)：
http://www.math.nagoya-u.ac.jp/~garrigue/
Research field (1)：
Information theory
Research keywords (1)：
Functional programming languagesType theoryLambda-calculus
Research theme for competitive and other funds (1)：
- 2010 - 2014 Mechanically certified proof of a type checker for an advanced type system
Papers (31)：
Books (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
Lectures and oral presentations (15)：
-
Reasoning with Conditional Probabilities and Joint Distributions in Coq
(JSSST Workshop on Programming and Programming Languages 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
(JSSST National Meeting 2018)
ｍore...
Professional career (1)：
- Doctor of Science (The University of Tokyo)
Work history (4)：
- 2018/08/01 - 現在 Nagoya University Graduate School of Mathematics Computational Mathematics Professor
- 2007/04/01 - 2018/07/31 Nagoya University Graduate School of Mathematics Computational Mathematics Associate professor
- 2007/03/31 - Nagoya University Graduate School of Mathematics Assistant Professor
- 1995/04/01 - 2004/09/30 Reasearch Associate, Kyoto University RIMS
Committee career (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 情報処理学会プログラミング研究会編集委員会 編集委員
Awards (1)：
- 2010/06/09 - Japanese Society for Software Science and Technology Takahashi Encouragement Prize
Association Membership(s) (3)：
ACM
, Japan Society for Software Science and Technology
, IPSJ
