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