{"created":"2023-05-15T14:21:38.297188+00:00","id":3363,"links":{},"metadata":{"_buckets":{"deposit":"f447c6f6-ad81-48a6-914e-61a2f74e70f8"},"_deposit":{"created_by":3,"id":"3363","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3363"},"status":"published"},"_oai":{"id":"oai:bunkyo.repo.nii.ac.jp:00003363","sets":["1:26:194"]},"author_link":["4335","4336"],"item_5_alternative_title_1":{"attribute_name":"タイトル カナ","attribute_value_mlt":[{"subitem_alternative_title":"サイハン アトム オ モチイナイ セイミツカ ホウホウ ニ ヨル Prolog プログラム ノ キノウテキ ジドウ ゴウセイ システム ノ Cゲンゴ ニ ヨル ジツゲン ジョウホウガク キョウドウ ケンキュウ"}]},"item_5_biblio_info_13":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1989-01-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"167","bibliographicPageStart":"151","bibliographicVolumeNumber":"10","bibliographic_titles":[{"bibliographic_title":"情報研究"},{"bibliographic_title":"Information and Communication Studies","bibliographic_titleLang":"en"}]}]},"item_5_description_12":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"　E.Y. Shapiro proved that any Prolog-program is constructed by means of an iteration of the following four operations:\n(1) An addition of an atom to a head of a Horn clause\n(2) A unification of two variables (3) A unification of a variable and a function (4) An addition of the most general agom to a body.\nIt is indeterminate to obtain the most general atom needed in the operation (4). Therefore in this investigation the inductive model-inference algorithm proposed by Shapiro has been implemented with C-language without using the most general atom. It is easy to control the program-synthesis in this method, but a space of hypotheses increases explosively in the size. We shall show that the contradiction-backtracing is reduced to the inverse application?order of the resolution principle.","subitem_description_type":"Abstract"}]},"item_5_publisher_16":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"文教大学"}]},"item_5_source_id_19":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"03893367","subitem_source_identifier_type":"ISSN"}]},"item_5_text_39":{"attribute_name":"本文言語","attribute_value_mlt":[{"subitem_text_value":"日本語"}]},"item_5_text_42":{"attribute_name":"ID","attribute_value_mlt":[{"subitem_text_value":"BKSJ100013"}]},"item_5_text_7":{"attribute_name":"Author","attribute_value_mlt":[{"subitem_text_value":"Suzuki, Shoichi"},{"subitem_text_value":"Nakamura, Saburo"}]},"item_5_text_8":{"attribute_name":"所属機関","attribute_value_mlt":[{"subitem_text_value":"文教大学情報学部"},{"subitem_text_value":"株式会社インターナショナルソフトウェア"}]},"item_5_version_type_35":{"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":"鈴木, 昇一"}],"nameIdentifiers":[{"nameIdentifier":"4335","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"中村, 三郎"}],"nameIdentifiers":[{"nameIdentifier":"4336","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-03-24"}],"displaytype":"detail","filename":"BKSJ100013.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"BKSJ100013.pdf","url":"https://bunkyo.repo.nii.ac.jp/record/3363/files/BKSJ100013.pdf"},"version_id":"e7e9717f-ba0c-4c62-9fe4-08106f7df2d4"}]},"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":"最汎アトムを用いない精密化方法によるPrologプログラムの帰納的自動合成システムの,C言語による実現(情報学共同研究)","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"最汎アトムを用いない精密化方法によるPrologプログラムの帰納的自動合成システムの,C言語による実現(情報学共同研究)"},{"subitem_title":"A Technique for Prolog Program Synthesis by Doing without Most General Atoms","subitem_title_language":"en"}]},"item_type_id":"5","owner":"3","path":["194"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-01-17"},"publish_date":"2012-01-17","publish_status":"0","recid":"3363","relation_version_is_last":true,"title":["最汎アトムを用いない精密化方法によるPrologプログラムの帰納的自動合成システムの,C言語による実現(情報学共同研究)"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2024-08-08T01:03:30.472924+00:00"}