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