抽象解釈にみられる圏論的構成について - 西澤, 弘毅; 木下, 佳樹 (日本ソフトウェア科学会大会講演論文集, 2003)