Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
NL名古屋 -NLとはなんだったのか- #nlnagoya
10052pv 28 -
関数プログラミング交流会
6602pv 28 2 users -
Proof Summit 2015
2740pv 13
-
非同期プログラミングの難しさとScalaのFuture
12202pv 56 31 users 4 -
モナド基礎勉強会 vol.2 #monadBase
7188pv 27 12 users -
TLがfunctorとλで埋まってこわかった話
1924pv 15 1 user -
NII Shonan Summer School on Coq
2207pv 20 3 users 3 -
【型システム入門】TAPL翻訳の発売に沸き立つTL その2
6037pv 6 1 user -
【型システム入門】TAPL翻訳の発売に沸き立つTL
16779pv 46 8 users 4 -
型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つTL
6811pv 45 3 users 4 -
第二回関数型言語勉強会 #fpstudy
7233pv 12 3 users 16 -
Proof Summit 2012
5608pv 15 2 users -
函数プログラミングの集い2012その1 #fpm2012
6805pv 25 4 users 2 -
PPLサマースクール2012「関数型言語ベースの先進的Webフレームワーク」
4161pv 18 -
第一回関数型言語勉強会 大阪 まとめ #fpstudy
7512pv 30 5 users 3 -
Start SML#
3635pv 15 -
トップエスイー特別講義、定理証明と検証
2364pv 7 2 users -
カリー化と部分適用の違いと誤用
33841pv 158 81 users 13 -
OSC 2011 Hokkaido - これからの「言語」の話をしよう ―― 未来を生きるためのツール まとめ
4590pv 23 5 users 1 -
JavaとJSの区別がつかないベンチャーナウが意味なく頑に修正要請に応じないという謎
39331pv 969 271 users 178 -
ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?
5459pv 53 7 users