[過去ﾛｸﾞ] 関数型言語ML (SML, OCaml, etc.), Part 6 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
973: 2017/07/12(水)14:21 ID:06OhWRFP(1) AAS
>971
広まらなかったというかキラーアプリがなかったというか…
結局Ocamlで作られたアプリで唯一プログラマ間で流行ったのがCoqなんじゃね？
974: 2017/07/12(水)14:33 ID:bLDjTsNM(1) AAS
OCaml は金融とかで使われてるんじゃ無かったか。
そういや Rust も最初は OCaml でコンパイラー書かれてたんだよな。
975(1): 2017/07/14(金)23:08 ID:UJz0OWoz(1) AAS
俺がocaml覚えたきっかけはとあるエロゲーのチートツールなんだが
あれの作者がなぜそれを採用したかにはずごい興味ある
976: 2017/07/15(土)12:06 ID:03i9G/wL(1) AAS
>>975
どっかの学生だったんじゃないの？兄妹ものエロゲだけに京大とか。
977: 2017/08/16(水)21:00 ID:H/HIEf+2(1) AAS
(*´・ω・`*)
978: 2017/08/17(木)13:02 ID:5mQoD0+b(1) AAS
(´・ω・｀)
979(3): 2017/09/01(金)18:43 ID:RxXe6GrD(1) AAS
8月はちょっと纏まった時間がとれたので、
「ソフトウェアの基礎」日本語訳の練習問題を解きすすめてみた。
まだPoly.vが終わった序盤だけどだいぶCoqに慣れてきた。
星三つrecommendedでもたまに難しい問題があるなー、というのが感想。
論理学の命題というのは高校・大学教育で慣れているだけで
見直してみると思ったよりも複雑な構造をしていたのだと今更ながらに感じた。
実務でCoqが要求されることは当分ないと思うけど、
逆変換の関数は少なからず実装することがあるので
ときどき「Coｑ使って証明したい」という気分にはなるんだよなー。
980: 2017/09/05(火)11:03 ID:a/Cb1ZW9(1) AAS
外部ﾘﾝｸ:ocaml.jp
死んでるな……
> ( ! ) Parse error: syntax error, unexpected 'new' (T_NEW) in /virtual/osiire/public_html/lib/func.php on line 531
981: 2017/09/08(金)14:02 ID:swD2wqBn(1) AAS
ocaml.jpは息してる？
982: 2017/09/24(日)12:35 ID:VL5Szw+L(1) AAS
いつまで死んでるんだよ
983: 2017/10/03(火)00:31 ID:JZnIdnEQ(1) AAS
復活した
984: 2017/10/03(火)02:20 ID:upqeSfz9(1) AAS
復活したのは良いけど、一言何か無いのかよ。誰が管理してるんだ。
985: 979 2017/10/05(木)12:08 ID:SZzrAZT5(1) AAS
日本語訳の古さに苦戦しつつLogic.vまで進めていたところ……
久しぶりに英語の本家を見たら、
なんかVol.1 〜 Vol.3に増えてるー！？
あまりの道のりの遠さに絶望しつつ内容を見ると、
旧版からホーア理論まわりをVol..2に分離し、
Vol.3は赤黒木等の少し高度なデータ構造について色々とCoqで証明して感じらしい（新規）。
……く、面白そうじゃないか。
986(1): 2017/10/05(木)19:45 ID:72rIdNeW(1) AAS
>>979
リンクpls
987: 2017/10/07(土)12:06 ID:689sKi0/(1) AAS
>>986
外部ﾘﾝｸ:softwarefoundations.cis.upenn.edu
988: 979 2017/10/30(月)19:39 ID:asGH9s/c(1) AAS
ここ一ヶ月、旧くなった日本語版を捨て英語版に再挑戦してみた。
以前は出来るだけ写経していたが時間がかかり過ぎるので、
付属の.vファイルを直接書き換える方針に変更。
結構章立てと共に内容変わってるなぁ……追加された良問も多いし。
英語の非形式的証明は書く機会もなさそうだし、パスするか。
しかし、答えがWeb上に転がってないのは自習者には正直辛い。
どうもSICPみたいな標準教科書を目指してるっぽい？
こーゆうの(coq)を国立研究所で作れる国はやっぱり凄いと思う今日この頃。
989: 2017/11/01(水)07:27 ID:wuKEf1Sh(1/12) AAS
a
990: 2017/11/01(水)07:27 ID:wuKEf1Sh(2/12) AAS
sit
991: 2017/11/01(水)07:27 ID:wuKEf1Sh(3/12) AAS
dot
992: 2017/11/01(水)07:28 ID:wuKEf1Sh(4/12) AAS
egg
993: 2017/11/01(水)07:28 ID:wuKEf1Sh(5/12) AAS
nø
994: 2017/11/01(水)07:28 ID:wuKEf1Sh(6/12) AAS
this
995: 2017/11/01(水)07:29 ID:wuKEf1Sh(7/12) AAS
combi
996: 2017/11/01(水)07:30 ID:wuKEf1Sh(8/12) AAS
it
997: 2017/11/01(水)07:30 ID:wuKEf1Sh(9/12) AAS
2
998: 2017/11/01(水)07:31 ID:wuKEf1Sh(10/12) AAS
ping
999: 2017/11/01(水)07:32 ID:wuKEf1Sh(11/12) AAS
pong
1000: 2017/11/01(水)07:32 ID:wuKEf1Sh(12/12) AAS
wild
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 3061日 0時間 17分 11秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s