mixiを使っていたのですが会員しか読めないので移転してみました。よろしく。
とある成り行きでChord（P2Pシステム）の論文を読んでいるのですが、アルゴリズムの説明がいい加減で「てきとー」な実装しかできないし、ましてやちゃんと動作することを検証もできない（そのくせに「定理」とか書いてある）。ただでさえ並列アルゴリズムはトリッキーなんだから、せめて定義ぐらいformalに記述してほしいなあ。
ちなみに僕が使っている実装言語はもちろんOCamlです、はい。Formalな定義がいいならStandard MLにしろ、というつっこみは承知。
追伸：なんか「関数型言語」のエントリを書こうとしたらはねられた。しばらく「はてな」を使い続けないといけないらしい。
