ProfiloUltimo aggiornamento:
- Hatena ID
- keigoi
- Description
- Self introduction
-
旧ホームページ： http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/
OCaml/Haskellプログラマ。関数型言語、形式手法、プログラム解析でソフトウェア開発の効率化を目指す。
旧ホームページ： http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/
