WEKO3
アイテム
{"_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": ["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": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "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_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": "ja"}, {"creatorName": "ナカニシ, ユウジ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Nakanishi, Yuji", "creatorNameLang": "en"}], "familyNames": [{"familyName": "中西", "familyNameLang": "ja"}, {"familyName": "ナカニシ", "familyNameLang": "ja-Kana"}, {"familyName": "Nakanishi", "familyNameLang": "en"}], "givenNames": [{"givenName": "佑二", "givenNameLang": "ja"}, {"givenName": "ユウジ", "givenNameLang": "ja-Kana"}, {"givenName": "Yuji", "givenNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "474", "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_value": "東京都立産業技術高等専門学校一般科"}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2009-03-01"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "KJ00006811439.pdf", "filesize": [{"value": "275.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 275100.0, "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"], "permalink_uri": "https://metro-cit.repo.nii.ac.jp/records/71", "pubdate": {"attribute_name": "公開日", "attribute_value": "2009-03-01"}, "publish_date": "2009-03-01", "publish_status": "0", "recid": "71", "relation": {}, "relation_version_is_last": true, "title": ["LKからNKへの証明の書き換えについて"], "weko_shared_id": 3}
LKからNKへの証明の書き換えについて
https://metro-cit.repo.nii.ac.jp/records/71
https://metro-cit.repo.nii.ac.jp/records/7170c21fcc-ef78-4066-8db2-9b9d4a2b6e7c
名前 / ファイル | ライセンス | アクション |
---|---|---|
KJ00006811439 (275.1 kB)
|
Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2009-03-01 | |||||
タイトル | ||||||
タイトル | LKからNKへの証明の書き換えについて | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | On a method to transform the proofs of LK into NK | |||||
言語 | ||||||
言語 | jpn | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | NK | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | LK | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Proof | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
ページ属性 | ||||||
内容記述タイプ | Other | |||||
内容記述 | P(論文) | |||||
著者名(日) |
中西, 泰雄
× 中西, 泰雄 |
|||||
著者所属(日) | ||||||
東京都立産業技術高等専門学校一般科 | ||||||
雑誌書誌ID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA12210629 | |||||
書誌情報 |
東京都立産業技術高等専門学校研究紀要 en : Research reports of Tokyo Metropolitan College of Industrial Technology 巻 3, p. 69-74, 発行日 2009-03 |