{"created":"2023-06-20T13:43:09.286337+00:00","id":829,"links":{},"metadata":{"_buckets":{"deposit":"eee5411c-2660-4704-94a1-7d2aa9c423d1"},"_deposit":{"created_by":2,"id":"829","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"829"},"status":"published"},"_oai":{"id":"oai:fut.repo.nii.ac.jp:00000829","sets":["1"]},"author_link":["11337","11336"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1999-03-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"29","bibliographicPageEnd":"296","bibliographicPageStart":"289","bibliographic_titles":[{"bibliographic_title":"福井工業大学研究紀要. 第一部"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Since the 1980's, object oriented programming and structured programming have become hot topics for increasing software productivity. Usually, software has been handmade while other products are machine made. But demand for software has been increasing due to the influence of factory and office automation, so software crisis has begun. MAPP (Module Aided Programming system by Prolog) which we insist on, shows one way to increase software productivity. MAPP generates source code program from general specifications, which are written with natural language and which include function types and data types. During program generation, MAPP checks input and output conditions of linking modules using Prolog list processing, and also adds modules satisfy all the conditions needed to generate bug less program as MAPP can do, which we have reported in this paper.","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.57375/00000823","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"福井工業大学"}]},"item_10002_relation_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"TF00009282","subitem_relation_type_select":"NCID"}}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2868571","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":"恐神, 正博"}],"nameIdentifiers":[{"nameIdentifier":"11336","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Osogami, Masahiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"11337","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-04-12"}],"displaytype":"detail","filename":"KJ00000201928.pdf","filesize":[{"value":"413.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"KJ00000201928.pdf","url":"https://fut.repo.nii.ac.jp/record/829/files/KJ00000201928.pdf"},"version_id":"2e06b50b-348f-4c00-9d66-3bb7637efd07"}]},"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":"Input and Output Conditions Check using List Processing in Program Generation","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"2","path":["1"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-04-10"},"publish_date":"2009-04-10","publish_status":"0","recid":"829","relation_version_is_last":true,"title":["プログラム生成におけるリスト処理を用いた入出力条件のチェック"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-06-20T14:24:25.320544+00:00"}