★ ★
 
ホーム    マイ・リポジトリ        English    新潟県大学図書館協議会    ご意見  

新潟県地域共同リポジトリ >
新潟国際情報大学 >
20 紀要 = Departmental Bulletin Paper >
01 新潟国際情報大学情報文化学部紀要 >

 

登録ファイル

ファイル 記述 サイズフォーマット
13_71-84.pdf1605KbAdobe PDF
タイトル :構成的型理論に基づいた定理証明プログラムの試作
別言語のタイトル :A Prototype Program of Theorem Prover based on the Constructive Type Theory
著者 :石井, 忠夫
公開者・出版者 :新潟国際情報大学
刊行年月 :2010-3
掲載誌名 :新潟国際情報大学情報文化学部紀要
巻 :13
開始ページ :71
終了ページ :84
ISSN :1343-490X
抄録 :情報化社会においてソフトウェアの迅速で妥当な開発技術が強く求められているが,その要求に答えるにはソフトウェア開発方法の見直しが必要である。その1つの方法として,構成的プログラミングの考えに基づいてソフトウェアの仕様からその妥当性の検証とプログラムの導出を同時に実現し,更に,順次に追加される仕様の要求に対して,ソフトウェアを内部で矛盾を解消しながら拡大・発展させる見方がある。本稿では,このような枠組みの中で必要となる仕様からプログラムを導出するための定理証明プログラムを構成的型理論に基づいてRuby言語を用いて試作した。
資料種別 :Departmental Bulletin Paper
言語 :jpn
URI :http://hdl.handle.net/10623/33008
出現コレクション:01 新潟国際情報大学情報文化学部紀要

引用の際は次の識別子を使用してください http://hdl.handle.net/10623/33008

・学術リポジトリに登録されている研究成果の著作権は,著者,出版社(学協会)などが有します。

・学術雑誌に掲載された論文等は,発行された誌面とはレイアウトの相違や文言の違いなどがあり得ます。

・表示・ダウンロードした研究成果は,著作権法に規定されている私的使用,引用等の範囲内で利用してください。