{"created":"2023-05-15T11:44:20.084213+00:00","id":2596,"links":{},"metadata":{"_buckets":{"deposit":"b188297c-84e5-405e-b3da-13d57bfe80e5"},"_deposit":{"created_by":10,"id":"2596","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"2596"},"status":"published"},"_oai":{"id":"oai:nuis.repo.nii.ac.jp:00002596","sets":["8:63:77"]},"author_link":["3033","3032"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-04-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"84","bibliographicPageStart":"71","bibliographicVolumeNumber":"13","bibliographic_titles":[{"bibliographic_title":"新潟国際情報大学情報文化学部紀要"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"情報化社会においてソフトウェアの迅速で妥当な開発技術が強く求められているが,その要求に答えるにはソフトウェア開発方法の見直しが必要である。その1つの方法として,構成的プログラミングの考えに基づいてソフトウェアの仕様からその妥当性の検証とプログラムの導出を同時に実現し,更に,順次に追加される仕様の要求に対して,ソフトウェアを内部で矛盾を解消しながら拡大・発展させる見方がある。本稿では,このような枠組みの中で必要となる仕様からプログラムを導出するための定理証明プログラムを構成的型理論に基づいてRuby言語を用いて試作した。","subitem_description_type":"Abstract"}]},"item_10002_heading_23":{"attribute_name":"見出し","attribute_value_mlt":[{"subitem_heading_banner_headline":"【自然科学編】","subitem_heading_language":"ja"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"新潟国際情報大学情報文化学部"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AA11231962","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1343-490X","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"石井, 忠夫"},{"creatorName":"イシイ, タダオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"3032","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Ishii, Tadao","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3033","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-07-06"}],"displaytype":"detail","filename":"13_ishii.pdf","filesize":[{"value":"1.6 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"13_ishii.pdf","url":"https://nuis.repo.nii.ac.jp/record/2596/files/13_ishii.pdf"},"version_id":"5224c648-2691-46e5-9c71-e2ea71205536"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"構成的型理論に基づいた定理証明プログラムの試作","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"構成的型理論に基づいた定理証明プログラムの試作"},{"subitem_title":"A Prototype Program of Theorem Prover based on the Constructive Type Theory","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"10","path":["77"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-12-15"},"publish_date":"2010-12-15","publish_status":"0","recid":"2596","relation_version_is_last":true,"title":["構成的型理論に基づいた定理証明プログラムの試作"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2023-05-15T12:19:12.427303+00:00"}