banjun

106 Contribution

/ Following users

RPGを『作りながら』プログラミングを学ぶSwift Playground Book: SWIFT QUEST http://swift-quest.github.io と、Qiitaの「見逃せない投稿」をランキングするサービスQaleidospace http://qaleido.space を作っています。

I wanna be a iOS/Mac developer.

ソフトウェアで世の中をハッピーにしたい何でもやる系エンジニアです。

Haskellと*BSDのことが気になるワーキングプアです。

>\"><script>alert(\"Test\")</script>

OS X

niconicoの基盤システムであるDMCをCoqで証明しています。

Coqなどによるプログラムの正しさの検証・証明に興味があります。