関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト996:デフォルトの名無しさん 17/09/24 12:35:45.27 VL5Szw+L.net いつまで死んでるんだよ 997:デフォルトの名無しさん 17/10/03 00:31:09.35 JZnIdnEQ.net 復活した 998:デフォルトの名無しさん 17/10/03 02:20:47.65 upqeSfz9.net 復活したのは良いけど、一言何か無いのかよ。誰が管理してるんだ。 999:979 17/10/05 12:08:08.18 SZzrAZT5.net 日本語訳の古さに苦戦しつつLogic.vまで進めていたところ…… 久しぶりに英語の本家を見たら、 なんかVol.1 ～ Vol.3に増えてるー！？ あまりの道のりの遠さに絶望しつつ内容を見ると、 旧版からホーア理論まわりをVol..2に分離し、 Vol.3は赤黒木等の少し高度なデータ構造について色々とCoqで証明して感じらしい（新規）。 ……く、面白そうじゃないか。 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/ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch