関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1000:デフォルトの名無しさん 17/10/05 19:45:51.56 72rIdNeW.net >>981 リンクpls 1001:デフォルトの名無しさん 17/10/07 12:06:25.63 689sKi0/.net >>988 https://softwarefoundations.cis.upenn.edu/ 1002:979 17/10/30 19:39:25.32 asGH9s/c.net ここ一ヶ月、旧くなった日本語版を捨て英語版に再挑戦してみた。 以前は出来るだけ写経していたが時間がかかり過ぎるので、 付属の.vファイルを直接書き換える方針に変更。 結構章立てと共に内容変わってるなぁ……追加された良問も多いし。 英語の非形式的証明は書く機会もなさそうだし、パスするか。 しかし、答えがWeb上に転がってないのは自習者には正直辛い。 どうもSICPみたいな標準教科書を目指してるっぽい？ こーゆうの(coq)を国立研究所で作れる国はやっぱり凄いと思う今日この頃。 1003:デフォルトの名無しさん 17/11/01 07:27:01.78 wuKEf1Sh.net a 1004:デフォルトの名無しさん 17/11/01 07:27:36.60 wuKEf1Sh.net sit 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch