アカウント名:
パスワード:
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
にわかな奴ほど語りたがる -- あるハッカー
宣伝だ宣伝だ! (スコア:2)
ホーアCSPモデルの理論 [amazon.co.jp]。
CSP とは何ぞや [wikipedia.org]
ホーア先生はプログラムの正しさを検証論的に証明するホーア論理 [wikipedia.org]でも有名ですが、その流れから来ている平行プロセスモデルの通信に関する書籍です。
# でも一番有名なのはクイックソートの考案者として、かな。