Yoshihiro Imai @yoshihiro503
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskellも使います。最近はScala, F#, haXeなどの関数型言語にも注目しています。
-
「マンガでわかるZFC(仮)」
2616pv 22 2 users -
LL名古屋 #llnagoya
9203pv 23 9 users -
カリー化と部分適用の違いと誤用
33804pv 158 81 users 13
-
天空の鯖ラピュタ
88408pv 2283 469 users 186 -
プログラマの嫁が知るべき97のこと
176863pv 1240 401 users 100 -
みずのさんの管理ツール大人気!
3177pv 36 2 users -
デブサミ2011【17-D-7】C#(VB)プログラマのためのF#入門 bleis-tift 氏
4863pv 31 7 users 1 -
OSC 2011 Hokkaido - これからの「言語」の話をしよう ―― 未来を生きるためのツール まとめ
4570pv 23 5 users 1 -
JavaとJSの区別がつかないベンチャーナウが意味なく頑に修正要請に応じないという謎
39278pv 969 271 users 178 -
型検査と型推論
7759pv 17 12 users 1 -
keigomi29さんの(普通の)科学者と(三流)ジャーナリストの違いに関するツイートのまとめ。
73849pv 1950 205 users 277 -
AC(公共広告機構)のCMを見た人たちの反応
18592pv 91 6 users -
CoqのSortについて
1952pv 1 1 user -
第1回Scala座 非公式勝手まとめ
5497pv 13 7 users 1 -
ソフトウェア開発にテストは必要か?テストの代わりになるものは無いのか?
5454pv 53 7 users -
Falso 定理証明系の大革命
5066pv 27 7 users -
「研究者によるアカデミアの外への説明」に関する@kinabaさんの意見
1221pv 2 -
[FAQ]Haskellには副作用があるのか、ないのか
12617pv 1 27 users 1 -
関数型言語でのデザイン手法
31877pv 102 110 users 10 -
ProofCafe 第1回
3434pv 1 3 users -
ユーザの自由、作者の自由
110175pv 289 516 users 14