プロフィール
- はてなID
- syd_syd
- 一行紹介
-
いまい けいご プログラミング言語が好きな名古屋の大学院生です．OCaml-Nagoyaをよろしくです．
- 自己紹介
-
いまい けいご
プログラミングとプログラミング言語理論が好きな大学院生です．主にπ計算・CCSをはじめとするプロセス代数，OCaml言語，Haskell言語，型理論，Webアプリケーション開発，組み込みソフトウェアのプログラミングに興味があります (自分ではあまり節操がないと思っています)．つっこみ歓迎です．
OCaml-Nagoyaやってます。名古屋在住の方で興味がある方はぜひ一度お声を掛けてください。
名古屋のなかまたち：
id:suer, id:shimo, id:mzp, id:yoshihiro503, id:osiire, id:lumber-mill, id:banjun, id:hiru926, id:athos, id:yuko1658 えとせとら
あと 研究室のページ や 研究室で書いてるブログ もあります