研究者情報 | 神奈川大学

ニシザワ　コウキ Nishizawa Koki 西澤　弘毅所属神奈川大学情報学部システム数理学科神奈川大学大学院工学研究科工学専攻（情報システム創成領域）職種教授
言語種別	日本語
発行・発表の年月	2007/09
形態種別	その他
標題	min-plus 代数 N∞ 上の様相μ計算とその応用
執筆形態	共著
掲載誌名	日本ソフトウェア科学会24回大会予稿集（CD-ROM）
掲載区分	国内
著者・共著者	五十嵐大, 田辺良則, 西澤弘毅, 萩谷昌己
概要	自然数全体の集合に無限大∞を加えたmin-plus 代数N∞ を用いて様相μ 計算の解釈を与える．選言はminによって解釈され，連言はplus によって解釈される．この解釈を用いることにより，クリプキ構造上の最短経路や，条件をみたす状態数などを簡潔に表現することができる．