Haskell が好きです。ただし最近の動向には疎いです。 gcc や LLVM のバックエンド記述をいじったりしたことがあります。 ネットワークの L3 あたり（ルーティングプロトコルとか socket API の拡張とか）あたりをいじったこともあります。 TTL ICで8bit CPU（独自アーキテクチャ）を作ったことがあります。 …だいたいこんなところでしょうか
Location
Kyoto, Japan
Organization
Trans New Technology, Inc.
Following Organizations
No Organizations you are following
Followees
- Yoshiyuki Uehara@uehara_delta
大阪でSEをしていました。 Rubyやアジャイル開発が好きです。 今は奈良で妻と息子と娘の4人で暮らしています。
- Naruto TAKAHASHI@TNaruto
Linux 好きなんですが、業務で Linux を使っていないソフトウェアエンジニア
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- @VoQn
デジタルプロダクトデザイナー
- Masahiro NAKAYAMA@nekoruri
秋葉原生まれ大手町育ちの歌って踊れる江戸っ子インフラエンジニア
- @nari3
nariさん
- Kiwamu Okabe@master_q
コピペプログラマ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
