{"created":"2025-09-03T00:24:20.341077+00:00","id":2001791,"links":{},"metadata":{"_buckets":{"deposit":"b477fc75-ed0a-4a27-b7d8-c2ed09de39f5"},"_deposit":{"created_by":10,"id":"2001791","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"2001791"},"status":"published"},"_oai":{"id":"oai:kanagawa-u.repo.nii.ac.jp:02001791","sets":["1713326495588:1713231544431:1713231618408:908"]},"author_link":[],"item_3_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"第2回若手による数理論理学研究集会予稿集","subitem_alternative_title_language":"ja"}]},"item_3_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2025-06-30","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"13","bibliographicPageStart":"3","bibliographicVolumeNumber":"2025-0003","bibliographic_titles":[{"bibliographic_title":"神奈川大学情報学研究所彙報","bibliographic_titleLang":"ja"}]}]},"item_3_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"チュートリアル講演","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_3_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24792/0002001791","subitem_identifier_reg_type":"JaLC"}]},"item_3_publisher_33":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"神奈川大学情報学研究所","subitem_publisher_language":"ja"}]},"item_3_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2759-3908","subitem_source_identifier_type":"EISSN"}]},"item_3_version_type_16":{"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":"岩田, 荘平","creatorNameLang":"ja"},{"creatorName":"イワタ, ソウヘイ","creatorNameLang":"ja-Kana"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2025-09-03"}],"filename":"01 証明可能性論理と算術的完全性定理.pdf","filesize":[{"value":"191 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"url":"https://kanagawa-u.repo.nii.ac.jp/record/2001791/files/01 証明可能性論理と算術的完全性定理.pdf"},"version_id":"72467847-50d0-4f4c-b6e5-361bc684e7a5"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式的算術","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"証明可能性論理","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"様相論理","subitem_subject_language":"ja","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":"証明可能性論理と算術的完全性定理","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"証明可能性論理と算術的完全性定理","subitem_title_language":"ja"}]},"item_type_id":"3","owner":"10","path":["908"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2025-09-01"},"publish_date":"2025-09-01","publish_status":"0","recid":"2001791","relation_version_is_last":true,"title":["証明可能性論理と算術的完全性定理"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2025-09-12T04:01:41.685112+00:00"}