ICFP Programming Contest 2007 - d.y.d.
01:49 07/07/27 Large-scale Genome Sequence Processing 長い間、読もう読もうと思って忘れてる本があったような気がしてならなかったのです。 昨日、なにかからの連想でやっと思い出しました。笠原さんの本だ。さっそく購入。今度サインください（私信 02:05 07/07/25 ICFPC リンク集 Referrer を見ていると、Электрический гвоздодер さんによる ICFPC参加者まとめ がありました。素晴らしい！ Top 15 に名前のあった Begot や ryba も、画像を見ると相当進んでいるようですし、United Coding Team の人も、16位のスコアから考えるとかなりいい線行ってると思う、と書いておられる。 ここにさらに去年の入賞チームである Smartass と Awesome(たぶん) が加わるわ
純粋関数型言語で定義できない純粋な関数 - sumiiのブログ
並列論理和の続きで真のエキスパート氏から教えていただいた話（の劣化コピー）。並列論理和は、逐次言語では定義できないけど「計算可能」な（並列言語では定義でき、領域理論でも連続になる）関数でしたが、その親戚というか兄弟です。 MLで（実はHaskellでも良いのですが）、unit→unit型の純粋な（＝副作用のない）関数は、 let f1 () = () let rec f2 () = f2 () の2つがあります。ただし、たとえ内部の実装が異なっても、外部から観察できる振る舞いが同じ関数は同じとみなします。たとえば let f1' () = try (raise E) with E -> () なるf1'はf1と同じ（かつ純粋）とみなします。 以下、「関数」としてデフォルトでは「振る舞いが純粋な関数」だけを考えることにします。すると、上と同様に、(unit→unit)→unit型の関数は l
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
