2006-07-12から1日間の記事一覧

Concurrent Clean : CleanJ : build_u

StdListに build_u _ 1 1 n181という命令を見つけて、はたと考える。 基本値をそのまま持つのは、レコード型だけだと暗黙で仮定していた。 以前は、CleanBasicを使っていたので、上手くいっていたのだけど・・・

Concurrent Clean : L.L.Ring : Collatz予想の収束

本当はRound 2は観戦にしておこうと思っていたのだけれど、 http://idm.s9.xrea.com/ratio/2006/07/12/000484.html を見て、なにか挑戦された気がしたので、結局書いた。 何を挑戦された気がしたかというと、「問題を読み替えないで実装するためには、副作用…