masateruk https://blog.hatena.ne.jp/masateruk/ masateruk’s blog https://masateruk.hatenablog.com/ 形式手法 後輩に形式手法を学び始めたときに読んだ本を紹介すると約束したので、せっかくなのでブログに書くことにした。 形式手法を学び始めたのは2004年だから、今から始める場合はまた違ったラインナップになるだろうけど。 ※「2012年に形式手法を学び始めるならこの7冊 - masaterukの日記」を書きました。1冊目。プログラミングの科学 (情報処理シリーズ)作者: D.グリース,筧捷彦出版社/メーカー: 培風館発売日: 1991/01メディア: 単行本 クリック: 20回この商品を含むブログを見る出会いはこの本。僕の人生を変えてしまった本だ。この本に出会ったときの衝撃は今でも覚えている。命題と述語から… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmasateruk.hatenablog.com%2Fentry%2F20120925%2F1348575604" title="僕が形式手法を学び始めたときに読んだ10冊 - masateruk’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/51vyFnK1KRL._SL160_.jpg Hatena Blog https://hatena.blog 2012-09-25 21:20:04 rich https://masateruk.hatenablog.com/entry/20120925/1348575604 1.0 100%