キャミバ様が id:ymotongpoo を木人形にされるようです - camlspotter’s blog
事の次第 @camlspotter「めんどくせ、あいつに押し付けよ… @camloeba「おれには強く型付けされたコードが必要だ！ あらゆる実験にたえうる木人形がな！ぶつぶつ‥ @camlspotter: 「キャミバ様、実はこんなものが… @camloeba「ほう… … ||||||:::::::;:::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::::::| | |::::::;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::::::::::::::||||||| |||||::::::::::／ ● ＼:::| |:::／ ● ＼::::::::::||||||| |||::::::::;;;;;;;──────;;;;;;;;| |;;;;;;──────;;;;;;;;;;:::::|||||| |;;;;;;;
um2010 - OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 ↑special thanks to camlspotter! （このイベントは終了致しました。発表資料や動画が置いてありますので、ご参照ください。ご参加頂いた皆様、ありがとうございました。） OCamlのさらなる普及とユーザー間の幅広い交流を目指して、好評を博した昨年に引き続き、今年も OCaml Meeting 2010 を開催したいと思います。 OCamlの特徴は、なんといっても強力な静的型システムにあります。型安全性を保ちながら、構造的な部分型への変換、多相バリアント、再帰モジュールといった柔軟な設計とプログラミングを実現できる仕組みを持っている言語は類がありません。加えて、定理証明支援器Coqとの連携による高信頼化、多くのCPUアーキテクチャに対応した高速なネイティブコードを
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
http://www.math.nagoya-u.ac.jp/~garrigue/papers/msfd09.pdf