[ Nagoya U.
Now at the Graduate School
of Mathematics, Nagoya University.
I was until 2004 at the Kyoto University Research Institute for
Ex-member of the
Lab in the University of Tokyo as a PhD candidate.
Ancien élève of
École Normale Supérieure (Paris).
- COCTI: Certifiable OCaml Type
My research domain includes partially lambda-calculus and type theory.
I have been working on the following subjects.
I am currently involved in the following conferences.
- POPL 2019, Lisbon,
Portugal, Jan. 16-18 2019
- PPL 2019,
Hanamaki, Japan, Mar. 6-8 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)
2016, Leuven, Belgium, Aug. 31 - Sep. 2 2016
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,
- APLAS 2013,
Melbourne, Dec. 9-11 2013
- APLAS and
Kyoto, Dec. 11-15 (General co-chair)
- WGP 2012: 8th ACM
SIGPLAN Workshop on Generic Programming, Copenhagen, Sep. 9
- OUD 2012: OCaml Users and
Developers Workshop, Copenhagen, Sep. 14
16th International Conference on Functional Programming, Tokyo, Japan
- TPP'10: Theorem Proving and Provers, Nagoya, Nov. 25-26
- OOPS track of SAC
2011: The ACM Symposium on Applied Computing, TaiChung, Taiwan
- 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
10th International Conference on Functional Programming, Talinn, Estonia
- JFLA 2005: Journees
Francophones des Langages Applicatifs
- FOOL 12: The
Twelth International Workshop on Foundations of Object-Oriented
2004: International Symposium on Functional and Logic Programming,
Nara, April 7-9, 2004.
'02: Workshop on Types in Programming, Dagstuhl, July 9, 2002
Sometimes I am lazy enough to program. Here is the result of my
- OCaml experiments: some tiny bits
of code that might be useful or not. This is not to confuse with more
serious ocaml programming which you can find at the
LablGL, strongly typed OCaml
interfaces for GTK+ and OpenGL.
Label. An extension of Objective
Caml with labeled and optional arguments, and polymorphic
variants. These features, together with the LablTk library and
OCamlBrowser, are now included in
is a small language with ML-like typing, intended originally to
It may also serve as an experimentation basis, as its Objective Caml
implementation is very light, and can be easily extended.
FIML, a strongly typed functional and imperative meta-language.
with Jun Furuse. The Japanese version of MMM,
a functional WWW browser, written by François Rouaix.
A personal package management tool, for software compiled from source.
hacking Some hints about how to use FreeBSD on the Casio FIVA, and
how to make your hard disk quieter.
Send me a letter.