{"created":"2023-06-20T16:40:26.753071+00:00","id":10696,"links":{},"metadata":{"_buckets":{"deposit":"77e8cfb7-60a1-49f3-9522-4bfade192613"},"_deposit":{"created_by":3,"id":"10696","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"10696"},"status":"published"},"_oai":{"id":"oai:kindai.repo.nii.ac.jp:00010696","sets":["14:923:2327:2365","21:3039:3492:3506"]},"author_link":["20856"],"item_2_alternative_title_3":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"On Types (1): Types and Proofs"}]},"item_2_biblio_info_21":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1997-03-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"54","bibliographicPageStart":"39","bibliographicVolumeNumber":"29","bibliographic_titles":[{"bibliographic_title":"近畿大学短大論集"},{"bibliographic_title":"The Bulletin of The Junior College of Kinki University","bibliographic_titleLang":"en"}]}]},"item_2_publisher_14":{"attribute_name":"出版者 名前","attribute_value_mlt":[{"subitem_publisher":"近畿大学短期大学部"}]},"item_2_source_id_22":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"03867048","subitem_source_identifier_type":"ISSN"}]},"item_2_text_7":{"attribute_name":"著者(英)","attribute_value_mlt":[{"subitem_text_language":"en","subitem_text_value":"Suzuki, Yukimoto"}]},"item_2_text_8":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"近畿大学短期大学部; 助教授"}]},"item_2_version_type_12":{"attribute_name":"版","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_be7fb7dd8ff6fe43","subitem_version_type":"NA"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"metadata only access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_14cb"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鈴木,  志元"},{"creatorName":"スズキ, ユキモト","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"型について(1)--型と証明","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"型について(1)--型と証明"}]},"item_type_id":"2","owner":"3","path":["2365","3506"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-11-24"},"publish_date":"2010-11-24","publish_status":"0","recid":"10696","relation_version_is_last":true,"title":["型について(1)--型と証明"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-06-20T23:39:02.020179+00:00"}