{"created":"2023-05-15T11:18:42.963269+00:00","id":71,"links":{},"metadata":{"_buckets":{"deposit":"cd45195a-df33-43f3-9e2d-5fd5890ff0b2"},"_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","474"],"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_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":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":""}],"affiliationNames":[{"affiliationName":""}]}],"creatorNames":[{"creatorName":"中西, 泰雄","creatorNameLang":"ja"},{"creatorName":"ナカニシ, ヤスオ","creatorNameLang":"ja-Kana"},{"creatorName":"nakanishi, Yasuo","creatorNameLang":"en"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{}]}]},"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_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":"f3f640b5-bf54-46ec-a930-19e4468f289b"}]},"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":"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":"公開日","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":3},"updated":"2024-04-26T00:50:33.056343+00:00"}