WEKO3
アイテム
{"_buckets": {"deposit": "b36e815a-6de0-410f-9468-b34678321f2e"}, "_deposit": {"id": "29985", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "29985"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00029985", "sets": ["766"]}, "author_link": ["98555", "100708"], "item_12_alternative_title_19": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "型理論の集合論的意味論を用いた等式変形証明法の形式化", "subitem_alternative_title_language": "ja"}]}, "item_12_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2020-04-30", "bibliographicIssueDateType": "Issued"}}]}, "item_12_date_granted_64": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2020-04-30"}]}, "item_12_degree_grantor_62": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_language": "ja", "subitem_degreegrantor_name": "名古屋大学"}, {"subitem_degreegrantor_language": "en", "subitem_degreegrantor_name": "Nagoya University"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "13901", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_12_degree_name_61": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(数理学)", "subitem_degreename_language": "ja"}]}, "item_12_dissertation_number_65": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第13249号"}]}, "item_12_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "ETD"}]}, "item_12_text_63": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_text_value": "2020"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Saikawa, Takafumi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "98555", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "才川, 隆文", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "100708", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-07-29"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "k13249_abstract.pdf", "filesize": [{"value": "91.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 91100.0, "url": {"label": "k13249_abstract", "objectType": "abstract", "url": "https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_abstract.pdf"}, "version_id": "dc9d2eac-e819-4539-916f-971f0be0c79b"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-07-29"}], "displaytype": "detail", "download_preview_message": "", "file_order": 1, "filename": "k13249_review.pdf", "filesize": [{"value": "185.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 185200.0, "url": {"label": "k13249_review", "objectType": "other", "url": "https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_review.pdf"}, "version_id": "921809f5-f483-4a90-be15-eeec7be9549a"}, {"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2020-07-29"}], "displaytype": "detail", "download_preview_message": "", "file_order": 2, "filename": "k13249_thesis.pdf", "filesize": [{"value": "602.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 602000.0, "url": {"label": "k13249_thesis", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_thesis.pdf"}, "version_id": "6b0420c5-6860-48fa-9229-01621e11699f"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory", "subitem_title_language": "en"}]}, "item_type_id": "12", "owner": "1", "path": ["766"], "permalink_uri": "http://hdl.handle.net/2237/00032171", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2020-05-14"}, "publish_date": "2020-05-14", "publish_status": "0", "recid": "29985", "relation": {}, "relation_version_is_last": true, "title": ["Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory"], "weko_shared_id": -1}
Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory
http://hdl.handle.net/2237/00032171
http://hdl.handle.net/2237/000321717bdf1b25-bb80-485c-8bf5-3d7b3acb31c0
名前 / ファイル | ライセンス | アクション |
---|---|---|
k13249_abstract (91.1 kB)
|
|
|
k13249_review (185.2 kB)
|
|
|
k13249_thesis (602.0 kB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2020-05-14 | |||||
タイトル | ||||||
タイトル | Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory | |||||
言語 | en | |||||
その他のタイトル | ||||||
その他のタイトル | 型理論の集合論的意味論を用いた等式変形証明法の形式化 | |||||
言語 | ja | |||||
著者 |
Saikawa, Takafumi
× Saikawa, Takafumi× 才川, 隆文 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
書誌情報 |
発行日 2020-04-30 |
|||||
学位名 | ||||||
言語 | ja | |||||
学位名 | 博士(数理学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 13901 | |||||
言語 | ja | |||||
学位授与機関名 | 名古屋大学 | |||||
言語 | en | |||||
学位授与機関名 | Nagoya University | |||||
学位授与年度 | ||||||
学位授与年度 | 2020 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2020-04-30 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第13249号 | |||||
著者版フラグ | ||||||
値 | ETD |