{"created":"2023-06-20T15:13:59.765008+00:00","id":729,"links":{},"metadata":{"_buckets":{"deposit":"af9db5e2-16c0-4800-9453-35c0da8e073b"},"_deposit":{"created_by":18,"id":"729","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"729"},"status":"published"},"_oai":{"id":"oai:matsumoto-u.repo.nii.ac.jp:00000729","sets":["1:55"]},"author_link":["74"],"item_2_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014-03-18","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"49","bibliographicPageStart":"33","bibliographicVolumeNumber":"12","bibliographic_titles":[{"bibliographic_title":"松本大学研究紀要"},{"bibliographic_title":"The Journal of Matsumoto University","bibliographic_titleLang":"en"}]}]},"item_2_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_2_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"２値関数と集合の分割に関する述語論理について成り立つ定理を、述語論理の新しい数学的モデルとして提案し、その定理の厳格な証明を行った。ここでの述語論理とは「すべての～について」や「ある～について」に関する一階述語論理を指す。述語論理や命題論理は、「数学の証明」を行う場合に、誰もが必ず利用してきているものである。すなわち、数学の証明問題を解く場合には自然に使っているのが述語論理や命題論理である。このような「数学の証明」の基礎をなすものとしての述語論理に関して研究を行った。従来の述語論理では提案されていなかった新しい定理を提案し、その定理の正しさを、数学証明検証システムMizarを利用して検証を行った。","subitem_description_type":"Abstract"}]},"item_2_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"学校法人松商学園松本大学"}]},"item_2_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11824385","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1348-0618","subitem_source_identifier_type":"ISSN"}]},"item_2_version_type_20":{"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":"小林, 俊一"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-02-13"}],"displaytype":"detail","filename":"matsu_kiyo_12-05.pdf","filesize":[{"value":"1.5 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"matsu_kiyo_12-05.pdf","url":"https://matsumoto-u.repo.nii.ac.jp/record/729/files/matsu_kiyo_12-05.pdf"},"version_id":"9f0d44ea-eb83-423d-ad0a-f085a2d72eae"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"２値関数","subitem_subject_scheme":"Other"},{"subitem_subject":"述語論理","subitem_subject_scheme":"Other"},{"subitem_subject":"集合の分割","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"２値関数における述語論理（15）","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"２値関数における述語論理（15）"},{"subitem_title":"Predicate Calculus for Boolean Valued Functions (15)","subitem_title_language":"en"}]},"item_type_id":"2","owner":"18","path":["55"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-02-13"},"publish_date":"2015-02-13","publish_status":"0","recid":"729","relation_version_is_last":true,"title":["２値関数における述語論理（15）"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-06-20T15:37:31.202354+00:00"}