研究者情報 | 神奈川大学

タケヤマ　マコト Takeyama Makoto 武山　誠所属神奈川大学理学部情報科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2010
形態種別	大学・研究所等紀要
標題	A note on 'D-Cases as proofs as programs'
執筆形態	単著
掲載誌名	算譜科学研究速報（Programming Science Technica Report),AIST-PS-2010-007
著者・共著者	Makoto Takeyama
概要	A D-Case, a structured argument for Open System Dependability, can be seen as a formal proof and further a program in a typed functional language. This brief note explains this "D-Cases as proofs as programs" view and how D-Case construction and verification can benefit, under this view, from theorem proving technologies and researches on programming.