★ ★
HOME    mypage        Japanese    Academic Library Association of Niigata    Feedback  

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


Files in This Item:

File Description SizeFormat
13_71-84.pdf1605KbAdobe PDF
Title :構成的型理論に基づいた定理証明プログラムの試作
Title alternative :A Prototype Program of Theorem Prover based on the Constructive Type Theory
Authors :石井, 忠夫
Publisher :新潟国際情報大学
Issue Date :Mar-2010
Journal Title :新潟国際情報大学情報文化学部紀要
Volume :13
Start Page :71
End Page :84
ISSN :1343-490X
Abstract :情報化社会においてソフトウェアの迅速で妥当な開発技術が強く求められているが,その要求に答えるにはソフトウェア開発方法の見直しが必要である。その1つの方法として,構成的プログラミングの考えに基づいてソフトウェアの仕様からその妥当性の検証とプログラムの導出を同時に実現し,更に,順次に追加される仕様の要求に対して,ソフトウェアを内部で矛盾を解消しながら拡大・発展させる見方がある。本稿では,このような枠組みの中で必要となる仕様からプログラムを導出するための定理証明プログラムを構成的型理論に基づいてRuby言語を用いて試作した。
Type Local :Departmental Bulletin Paper
Language :jpn
URI :http://hdl.handle.net/10623/33008
Appears in Collections:01 新潟国際情報大学情報文化学部紀要

Please use this identifier to cite or link to this item: http://hdl.handle.net/10623/33008

・The copyright of the materials in this repository belongs to the authors or the publishers (academic societies).

・In the case of journal articles, this repository's version might be slightly different in layout and words from the published version.

・Displayed or downloaded materials can only be used for personal use, quotation, etc. as is prescribed in Copyright Act.