syd_syd

syd_syd's Profile

いまい けいご プログラミング言語が好きな名古屋の大学院生です.OCaml-Nagoyaをよろしくです.

Profile

Hatena ID
syd_syd
Description

いまい けいご プログラミング言語が好きな名古屋大学院生です.OCaml-Nagoyaをよろしくです.

Self introduction

いまい けいご

プログラミングプログラミング言語理論が好きな大学院生です.主にπ計算・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 えとせとら


あと 研究室のページ研究室で書いてるブログ もあります