{"created":"2023-06-19T07:17:33.100132+00:00","id":13,"links":{},"metadata":{"_buckets":{"deposit":"922d9914-a708-4cee-83fb-1c0fb9fc6074"},"_deposit":{"created_by":3,"id":"13","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"13"},"status":"published"},"_oai":{"id":"oai:tenshi.repo.nii.ac.jp:00000013","sets":[]},"author_link":["265"],"item_1_alternative_title_5":{"attribute_name":"論文名よみ","attribute_value_mlt":[{"subitem_alternative_title":"A Study of Computer-Based Problem Solving Based on Equivalent Transformations"}]},"item_1_biblio_info_14":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2001-03-31","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"102","bibliographicPageStart":"97","bibliographicVolumeNumber":"1","bibliographic_titles":[{"bibliographic_title":"天使大学紀要"},{"bibliographic_title":"Bulletin of Tenshi College","bibliographic_titleLang":"en"}]}]},"item_1_creator_7":{"attribute_name":"著者名よみ","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"カワグチ, ユウイチ","creatorNameLang":""},{"creatorName":"KAWAGUCHI, Yuuichi","creatorNameLang":"en"},{"creatorName":"川口, 雄一","creatorNameLang":"ja"},{"creatorName":"カワグチ, ユウイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"カワグチ","familyNameLang":""},{"familyName":"KAWAGUCHI","familyNameLang":"en"},{"familyName":"川口","familyNameLang":"ja"},{"familyName":"カワグチ","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"ユウイチ","givenNameLang":""},{"givenName":"Yuuichi","givenNameLang":"en"},{"givenName":"雄一","givenNameLang":"ja"},{"givenName":"ユウイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"265","nameIdentifierScheme":"WEKO"}]}]},"item_1_creator_8":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"カワグチ, ユウイチ","creatorNameLang":""},{"creatorName":"KAWAGUCHI, Yuuichi","creatorNameLang":"en"},{"creatorName":"川口, 雄一","creatorNameLang":"ja"},{"creatorName":"カワグチ, ユウイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{"familyName":"カワグチ","familyNameLang":""},{"familyName":"KAWAGUCHI","familyNameLang":"en"},{"familyName":"川口","familyNameLang":"ja"},{"familyName":"カワグチ","familyNameLang":"ja-Kana"}],"givenNames":[{"givenName":"ユウイチ","givenNameLang":""},{"givenName":"Yuuichi","givenNameLang":"en"},{"givenName":"雄一","givenNameLang":"ja"},{"givenName":"ユウイチ","givenNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"265","nameIdentifierScheme":"WEKO"}]}]},"item_1_description_1":{"attribute_name":"ページ属性","attribute_value_mlt":[{"subitem_description":"P(論文)","subitem_description_type":"Other"}]},"item_1_description_12":{"attribute_name":"抄録(英)","attribute_value_mlt":[{"subitem_description":"In order to solve a given problem by using a computer, we need an. algorithm. If an algorithm is produced with being based on human inspiration, then it is difficult to guarantee the corectness and efficiency of the algorithm. Correctness and efficiency are important sides of quality of algorithms. It is necessary that algorithms are produced with being based on theories. A given problem is expressed by using a formal language. Algorithms consists of means to operate such expressed problems and means to .control applications of operations. In this study, I only use equivalent transformations for such operations. Equivalent transformations guarantee the correctness of algorithms. Appropriate control of applying equivalent transformations makes algorithms efficient.","subitem_description_type":"Other"}]},"item_1_source_id_13":{"attribute_name":"雑誌書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AA11568183","subitem_source_identifier_type":"NCID"}]},"item_1_text_3":{"attribute_name":"記事種別(英)","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"Research Report"}]},"item_1_text_9":{"attribute_name":"著者所属(日)","attribute_value_mlt":[{"subitem_text_value":"天使大学看護栄養学部教養教育科"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2001-03-31"}],"displaytype":"detail","filename":"KJ00004183035.pdf","filesize":[{"value":"458.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"KJ00004183035","url":"https://tenshi.repo.nii.ac.jp/record/13/files/KJ00004183035.pdf"},"version_id":"8257d099-92b3-471a-b4a5-fb9c0b47f5e8"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Computer-Based Problem Solving","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Equivalent Transformation","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Correctness of Algorithm","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Efficiency of Algorithm","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"A Study of Computer-Based Problem Solving Based on Equivalent Transformations","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Study of Computer-Based Problem Solving Based on Equivalent Transformations","subitem_title_language":"en"}]},"item_type_id":"1","owner":"3","path":["12"],"pubdate":{"attribute_name":"公開日","attribute_value":"2001-03-31"},"publish_date":"2001-03-31","publish_status":"0","recid":"13","relation_version_is_last":true,"title":["A Study of Computer-Based Problem Solving Based on Equivalent Transformations"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-11-20T00:48:24.374138+00:00"}