形式手法入門 ロジックによるソフトウェア設計

中島震

• オーム社 (2012年4月25日発売)

感想・レビュー・書評

[ryokucha334さんの感想 · 2020年11月2日]

本分野の第一人者による入門書ということで期待していた。しかしながら、消化しながら理解して入門するのには不向きで、どちらかというと紹介というタイトルの方が適切に思えた。

[makai.numaさんの感想 · 2015年10月18日]

題名は「入門」だが形式手法って何ですかという人には全く役に立たない。
数学的にこう表現できる問題は、このツールではこう工夫することでこう書ける、ということがひたすら続く。もちろん各ツールの文法の説明みたいなものはない。それを使って何を確認できるのかとか、何の問題をその数学表現に落とし込んだのかといった視点はそもそもない。この、形而下的なところに触れたら負けみたいな姿勢は、著者は数学の方の出身ではなかろうか。
細々と、各ツールの出自についての歴史が紹介されているので、論文を書くときの参考文献に使ってもらうことを目的としているのかもしれない。

[bugyoさんの感想 · 2014年11月23日]

入門書というよりサーベイ論文。あとAlloyを知らないと読めない。始めの方でちょろっと解説してるけど構文ごとの意味などはない。

[豊橋技術科学大学図書館さんの感想 · 2014年2月25日]

図書館HP→電子ブックを読む　
Maruzen eBook Library から利用

【リンク先】
https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000004979

著者プロフィール

中島震（国立情報学研究所 教授）

「2019年 『デジタル・プラットフォーム 解体新書』 で使われていた紹介文から引用しています。」