xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ Weblog JUnitでAssert(表明）という言葉を使う理由（検証の数理論理学的背景）っていうのを前に書いたけど、そこで書いたホーア論理について、くわしく、かつわかりやすく書いてある本が、「プログラム検証論」らしい。 ということで、Amazonで、その「プログラム検証論」を見たら、 現在在庫切れです。この商品の再入荷予定は立っておりません。 な、なんですとおー（＠＿＠！） 買えないんですかあ（－＿－；） しょーがない。。。 ってことで、昨日、お茶の水の本屋さん（古本屋さんを含めて）行ってみたんだけど・・・ ない、ないよーー（＞＿＜！） どこにあるのお・・・ あった！ 放送大学付属図書館！！ OPACシ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F9594a85238d9dd3202f0271fc307669c" title="「プログラム検証論」げっとおー - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-11-24 20:46:34 rich https://xmldtp.hatenadiary.org/entry/9594a85238d9dd3202f0271fc307669c 1.0 100%