主な使用言語:Haskell, ruby, C++
Location
Tokyo, Japan
Organization
Silver Egg Technology
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followees
- Yukino Ikegami@yukinoi
自然言語処理とかPythonについて書きます。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- Yuku Takahashi@yuku_t
HQ社でソフトウェアエンジニアをしています。大昔に Qiita を開発していました。