研究者情報 | 神奈川大学

ニシザワ　コウキ Nishizawa Koki 西澤　弘毅所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	2008/03
形態種別	その他
標題	二項多重関係の反射的推移的閉包について
執筆形態	共著
掲載誌名	情報処理学会火の国情報シンポジウム（CD-ROM）
著者・共著者	津曲紀宏, 西澤弘毅, 古澤仁
概要	二項多重関係は、非決定的なプログラムの意味領域として近年着目されている。プログラミング言語の構文で中心的な操作は反復であり、二項多重関係の反射的推移的閉包によって解釈するのが自然である。しかし、反射的推移的閉包に関する研究はこれまで十分なされているとは言えない。この研究は、上向きに閉じた二項多重関係の基本的な性質の中で特に反射的推移的閉包の構成法について論じる。