管理人(2012/02/14)
本業のほうが一息ついてきた気がするので、翻訳作業を再開していこうかと思っています。とはいえ、翻訳はummr氏によってずいぶん進んでいるので、前のほうの未訳分から手をつけていくつもりです。
管理人(2011/09/05)
やっとPolyの最後までたどりつきました。品質的にはまだ問題ありですが、一区切りということで。
Polyを最後まで読んでいただくとわかりますが、この教則は、このPolyの最後で一段落、というか「初級編終了」というムードになっています。必要なものはひととおり網羅してあるはず、というPierce先生の言葉を信じるなら、ここまでをみっちりやっておけば、基本的な問題には対応できるのではないかと思います。僕もここを一区切りにして、翻訳のためにおざなりになっていたところをもう一度おさらいしようかと思っています。
Polyを最後まで読んでいただくとわかりますが、この教則は、このPolyの最後で一段落、というか「初級編終了」というムードになっています。必要なものはひととおり網羅してあるはず、というPierce先生の言葉を信じるなら、ここまでをみっちりやっておけば、基本的な問題には対応できるのではないかと思います。僕もここを一区切りにして、翻訳のためにおざなりになっていたところをもう一度おさらいしようかと思っています。
管理人(2011/08/20)
えーちょっと更新止まっていますが、理由は二つありまして、
- プログラム言語の基礎概念にはまっている
- お盆休みで子供の相手に忙しい
こんなところです。「プログラミング言語の基礎概念」は、お勧めの本でも取り上げている、MLのセマンティクスを扱った教科書です。オンライントレーニングがよくできていて、気がつくと数時間没頭していたりします。
管理人(2011/08/09)
今日はリンクを集めてみました。Web上での情報を見てみると、「ちょっとはまったけど、今は更新止まってる」っていうところが多いようですね。僕も割と興味が横滑りしがちな人間なので、せめて切りのいいところまではがんばっていきたいところです。
管理人(2011/08/02)
ところで、Coqを皆さんどう発音してますか?
僕はなんとなく、最初に読んだときの直感で「コキュー」とどうしても頭の中で読んでしまうのですが、ほんとはたぶん「コク」「コック」あたりでしょうか。
「Coq庵」っていうのがあるぐらいなんで、「コキュー」って読んでる人も結構いるのではないかと思うのですが、どんなもんでしょう。ところで「Coq博物館」って、最初にやったもの勝ちですよね。
僕はなんとなく、最初に読んだときの直感で「コキュー」とどうしても頭の中で読んでしまうのですが、ほんとはたぶん「コク」「コック」あたりでしょうか。
「Coq庵」っていうのがあるぐらいなんで、「コキュー」って読んでる人も結構いるのではないかと思うのですが、どんなもんでしょう。ところで「Coq博物館」って、最初にやったもの勝ちですよね。
⇒ 「コック」で通っているようですね。ProofSummit2011で初めて人が発音しているのを聞きました。
管理人(2011/08/01)
えー取り合えず開設しました。皆様気軽に書き込みをお願いします。最新を上に重ねていってください。