座談会_D.スコット博士を囲んで_スコットのプログラム意味論 - 共立出版コンピュータサイエンス誌『bit』