研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2005
形態種別	大学・研究所等紀要
標題	Algebraic Structure for a Fixed Point Logic and Absract Interpretation
執筆形態	共著
掲載誌名	算譜科学研究速報（Programming science Technical Report),CVS/AIST,PS-2005-012
著者・共著者	koki Nishizawa, Makoto Takeyama
概要	様相μ計算に圏論的代数構造に基づく意味論を与えて抽象解釈の理論に適用し、抽象化の正当性証明を自由代数の構成によって得た。