本ページはアフィリエイトプログラムによる収益を得ています
- Amazon.co.jp ・本
感想・レビュー・書評
-
読み始めてから気がついたのですが、大学の時に読んでいました。orz
でも、読んだと理解できたとは違うのである意味、新鮮に読めました。
といっても、最後の「第10章 算法表現(プログラム)の証明論」になると、あぁ、また、C. A. R. Hoareか……と(笑)。
むかし読んだ時も、木村泉先生のところは面白く読めて、米澤明憲先生のところはつっかえながらしぶしぶ読むという感じだったなぁと思い出しました。
といったように私にとって難しい本ですが、米澤明憲先生の"actor計算モデル"の解説のところは、読み返すことができてよかったなーと思います。詳細をみるコメント0件をすべて表示
全2件中 1 - 2件を表示