研究者情報 | 神奈川大学

ニシザワ　コウキ Nishizawa Koki 西澤　弘毅所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	2004/02
形態種別	その他
標題	抽象解釈にみられる圏論的構成について
執筆形態	単著
掲載誌名	第一回システム検証の科学技術シンポジウム予稿集, 産業技術総合研究所システム検証研究ラボ
掲載区分	国内
巻・号・頁	47-56頁
概要	Cousot らによる抽象解釈の理論において、暗黙のうちに用いられている圏論的な構成をいくつか明示し、より広い応用を与えることを試みる。