トップ «前の日記(2007-07-11) 最新 次の日記(2007-07-14)» 月表示 編集

日々の流転


2007-07-12 [長年日記]

λ. foldl.com と foldr.com

foldl.comfoldr.com というサイトがある。 fold好きの人は、右派、左派に関わらずどうぞ。

<URL:http://lambda-the-ultimate.org/node/1395> で知ったのだが、そこでの議論はなんか微妙ものが多いな。

Tags: haskell

λ. Basic Spin Manual 日本語訳

Basic Spin Manual の Masateru Kawaguchi さんによる日本語訳。

4日で学ぶモデル検査 (初級編) (CVS教程 (1))(産業技術総合研究所システム検証研究センター)(読書記録)は「使い方」の説明がメインで、例題を解くために必要な部分以外についてはあまり解説されていなかった。 このマニュアルでは『4日で学ぶモデル検査』に欠けていた、SpinやPromelaの基礎について知ることが出来て良かった。 訳者のMasateruさんに感謝。

本日のツッコミ(全2件) [ツッコミを入れる]
ψ masateru (2007-07-14 01:54)

いつも読まさせていただいております。<br><br>取り上げていただけるとは光栄です。ありがとうございます。

ψ さかい (2007-07-16 17:31)

Basic Spin Manual 日本語訳 は素晴らしい仕事だと思います。<br>こちらこそありがとうございます。