{"created":"2025-09-03T00:24:25.200795+00:00","id":2001794,"links":{},"metadata":{"_buckets":{"deposit":"ef91c83a-3c0c-484f-a8db-041babc53b31"},"_deposit":{"created_by":10,"id":"2001794","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"2001794"},"status":"published"},"_oai":{"id":"oai:kanagawa-u.repo.nii.ac.jp:02001794","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":"62","bibliographicPageStart":"55","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/0002001794","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":"04 On the methodology of informal rigour ： semantics and intuitionism.pdf","filesize":[{"value":"265 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"url":"https://kanagawa-u.repo.nii.ac.jp/record/2001794/files/04 On the methodology of informal rigour ： semantics and intuitionism.pdf"},"version_id":"b2ae33c3-851a-47ff-86af-51042e8af095"}]},"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":"On the methodology of informal rigour: semantics and intuitionism","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"On the methodology of informal rigour: semantics and intuitionism","subitem_title_language":"en"}]},"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":"2001794","relation_version_is_last":true,"title":["On the methodology of informal rigour: semantics and intuitionism"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2025-09-12T04:01:42.339898+00:00"}