2007-07-12 [長年日記]
λ. foldl.com と foldr.com
foldl.com と foldr.com というサイトがある。 fold好きの人は、右派、左派に関わらずどうぞ。
<URL:http://lambda-the-ultimate.org/node/1395> で知ったのだが、そこでの議論はなんか微妙ものが多いな。
λ. Basic Spin Manual 日本語訳
Basic Spin Manual の Masateru Kawaguchi さんによる日本語訳。
4日で学ぶモデル検査 (初級編) (CVS教程 (1))(産業技術総合研究所システム検証研究センター)(読書記録)は「使い方」の説明がメインで、例題を解くために必要な部分以外についてはあまり解説されていなかった。 このマニュアルでは『4日で学ぶモデル検査』に欠けていた、SpinやPromelaの基礎について知ることが出来て良かった。 訳者のMasateruさんに感謝。
いつも読まさせていただいております。<br><br>取り上げていただけるとは光栄です。ありがとうございます。
Basic Spin Manual 日本語訳 は素晴らしい仕事だと思います。<br>こちらこそありがとうございます。