関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト656:デフォルトの名無しさん 13/09/10 13:15:41.31 .net >> 644 Coqのwikiってどこですか？私も気になります。 657:デフォルトの名無しさん 13/09/10 23:47:36.91 .net ディスプレイドライバの機能をCoqのせいにするなよ 658:デフォルトの名無しさん 13/09/11 00:25:24.14 .net CoqIDEの正当性はCoqで証明されておらんの？ 659:デフォルトの名無しさん 13/09/11 18:00:49.24 .net http://www.cis.upenn.edu/~bcpierce/sf/ http://proofcafe.org/sf/ Coq自身はしらんが Coqの元のOCamlの正しさは証明されてるっぽい 660:デフォルトの名無しさん 13/09/11 19:05:49.78 .net 型システム入門って読むべき？ 661:デフォルトの名無しさん 13/09/11 19:35:45.08 .net よみなさい 662:デフォルトの名無しさん 13/09/11 19:54:09.22 .net >>651 入門書なんて読まなくていいよ 663:デフォルトの名無しさん 13/09/11 20:41:01.16 .net 入門って書いてあるけど パラパラっと見たら全然入門じゃないんだけど・・・ 大学受験数学参考書の やさ理みたいな・・・全然優しく無いじゃんって 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch