西澤弘毅

ニシザワコウキ | Nishizawa Kouki

所属機関・部署：
職名：助教

研究キーワード (8件)：圏論 , 代数構造 , 抽象化 , システム検証 , category , algebraic structure , abstraction , system verification

競争的資金等の研究課題 (3件)：

MISC (29件)：

An algebraic semantics of predicate abstraction for PML. Proceedings of the 24th Conference of Japan Society for Software Science and Technology. 2007
min-plus 代数 N∞ 上の様相μ計算とその応用. 日本ソフトウェア科学会24回大会予稿集. 2007
Lawvere Theories Enriched Over a General Base. Journal of Pure and Applied Algebra. 2007
Simulations of Multi-Valued Models for Modal mu-Calculus. Programming Science Technical Report AIST-PS-2007-005, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST). 2007
Algebraic Structure for a Modal Fixed Point Logic and Abstract Interpretation. Programming Science Technical Report AIST-PS-2007-009, Research Center of Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST). 2007

学位 (1件)：

受賞 (1件)：

所属学会 (1件)：

日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

西澤 弘毅