{"created":"2023-05-15T11:18:42.963269+00:00","id":71,"links":{},"metadata":{"_buckets":{"deposit":"e01cf6fb-025b-4c24-a612-e9ca1b728dfe"},"_deposit":{"created_by":3,"id":"71","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"71"},"status":"published"},"_oai":{"id":"oai:metro-cit.repo.nii.ac.jp:00000071","sets":["1:14:17"]},"author_link":["657"],"control_number":"71","item_1715319057697":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"東京都立産業技術高等専門学校","subitem_publisher_language":"ja"}]},"item_1715319682015":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"18831990","subitem_source_identifier_type":"PISSN"}]},"item_1_biblio_info_14":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009-03","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"74","bibliographicPageStart":"69","bibliographicVolumeNumber":"3","bibliographic_titles":[{"bibliographic_title":"東京都立産業技術高等専門学校研究紀要","bibliographic_titleLang":"ja"},{"bibliographic_title":"Research reports of Tokyo Metropolitan College of Industrial Technology","bibliographic_titleLang":"en"}]}]},"item_1_creator_6":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中西, 泰雄","creatorNameLang":"ja"},{"creatorName":"ナカニシ, ヤスオ","creatorNameLang":"ja-Kana"},{"creatorName":"nakanishi, Yasuo","creatorNameLang":"en"}],"familyNames":[{"familyName":"中西","familyNameLang":"ja"},{"familyName":"ナカニシ","familyNameLang":"ja-Kana"},{"familyName":"nakanishi","familyNameLang":"en"}],"givenNames":[{"givenName":"泰雄","givenNameLang":"ja"},{"givenName":"ヤスオ","givenNameLang":"ja-Kana"},{"givenName":"Yasuo","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"657","nameIdentifierScheme":"WEKO"}]}]},"item_1_description_1":{"attribute_name":"ページ属性","attribute_value_mlt":[{"subitem_description":"P(論文)","subitem_description_type":"Other"}]},"item_1_source_id_13":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12210629","subitem_source_identifier_type":"NCID"}]},"item_1_text_9":{"attribute_name":"著者所属(日)","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"東京都立産業技術高等専門学校一般科"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2009-03-01"}],"displaytype":"detail","filename":"KJ00006811439.pdf","filesize":[{"value":"275.1 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"KJ00006811439","url":"https://metro-cit.repo.nii.ac.jp/record/71/files/KJ00006811439.pdf"},"version_id":"479b093b-2615-4a7c-b741-cd002e5088b8"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"NK","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"LK","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Proof","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"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":"LKからNKへの証明の書き換えについて","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"LKからNKへの証明の書き換えについて","subitem_title_language":"ja"},{"subitem_title":"On a method to transform the proofs of LK into NK","subitem_title_language":"en"}]},"item_type_id":"1","owner":"3","path":["17"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2009-03-01"},"publish_date":"2009-03-01","publish_status":"0","recid":"71","relation_version_is_last":true,"title":["LKからNKへの証明の書き換えについて"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2024-06-19T05:45:10.499579+00:00"}