新世代プログラミング⑨_理論(3)_論理とプログラム - 共立出版コンピュータサイエンス誌『bit』