プログラム検証入門(3)_スコットの表示的意味論瞥見 - 共立出版コンピュータサイエンス誌『bit』