Daisuke Matsumoto @daimatz
某工業大学、M2になりました。情報系。Vimmerに憧れるEmacser。型理論/定理証明/言語処理系/C++/Haskell/Scala/Android/TDD/競技プログラミング あとはオーケストラでヴァイオリン弾いてたり、将棋、ぷよぷよ、読書。
該当するまとめがありません。
某工業大学、M2になりました。情報系。Vimmerに憧れるEmacser。型理論/定理証明/言語処理系/C++/Haskell/Scala/Android/TDD/競技プログラミング あとはオーケストラでヴァイオリン弾いてたり、将棋、ぷよぷよ、読書。