Coqなどによるプログラムの正しさの検証・証明に興味があります。
Site/Bloghttp://mzp.hatenablog.com/
Location
Nagoya, Japan.
Following Organizations
No Organizations you are following
Followees
- Nakajima Yuu@yuu-nkjm
https://twitter.com/yuu_nkjm
- @bleis
くぁ
- @kumagi
ロックフリーです。
- tan tom@tm_tn
Emacs とか D とかで遊ぶのが趣味です．
- @hatone
@hatoneです。
- @OKU_K
神奈川で社会人してます。
- @stanaka
こんにちは!
- @oza_x86
A programmer.
- @sowawa
sowasowa
- Kentaro Kuribayashi@kentaro
PerlとEmacsが好きです。
Uchio KONDO@udzura投稿しているコードは、指定が無い限り MIT とします。
- Ryo Uchino@rinfield
Javaプログラマ→AWSビルダー見習い
- @zecl
「俺のF#がこんなに可愛いわけがない。」
- @hamukazu
主な使用言語：Haskell, ruby, C++
- だまん@flashingwind
HPC業界の片隅でラックマウントしたり，クラスター組んだり，Linuxの設定したりしていた
- @todesking
<marquee>
- @nari3
nariさん
- @hakobe
こんにちは。はてなでエンジニアをやっています。
