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