プログラム意味論の基礎 の商品レビュー

小林直樹(著者),住井英二郎(著者)

2024/04/18

【理学部情報科学科】ベストリーダー2024
第8位
東京大学にある本はこちら
https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_details/?bibid=2003524427

2022/12/22

図書館で借りた。
プログラムを論理式に変換し、正当性すなわち意味解析の概要を学ぶことができる本。
プログラム意味論って言葉がイマイチピンと来てなかったので、借りた。たった100頁の非常に薄い本だが、知識としては非常に濃い。目的ピッタリに学ぶことができた。満足。