yusuke kokubo

@yusuke_kokubo

nulab
Nagoya, Japan
Following Tags1
Following Users23

https://twitter.com/sue445

日本のQA/テストエンジニア。 ウェブとちっさいパソコンとふとんがすき。 +(0゚・∀・) + ワクテカ +

Standard ML is the best programming language, isn't it?

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