1976年ACMチューリング賞記念講演_論理学とプログラミング - 共立出版コンピュータサイエンス誌『bit』