大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士(情報科学)。
Site/Bloghttp://keigoimai.info/
Location
Nagoya and/or Gifu
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
- @giantneco
仕事からの現実逃避中
- @bleis
くぁ
- Youichi KOYAMA@koyama41
Haskell が好きです。ただし最近の動向には疎いです。 gcc や LLVM のバックエンド記述をいじったりしたことがあります。 ネットワークの L3 あたり(ルーティングプロトコルとか socket API の拡張とか)あたりをいじったこともあります。 TTL ICで8bit CPU(独自アーキテクチャ)を作ったことがあります。 …だいたいこんなところでしょうか
- @fumieval
一般的なHaskeller
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- @toyoshi
misocaつくってました
- @masquerade0324
Standard ML is the best programming language, isn't it?
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
3 / 3