WEKO3
アイテム
{"_buckets": {"deposit": "ca3f1083-9010-4ac8-b627-fa0c732b95d0"}, "_deposit": {"id": "2983", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "2983"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:00002983", "sets": ["280", "292"]}, "item_7_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1991-02-14", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "item_7_date_granted_25": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "1991-02-14"}]}, "item_7_degree_grantor_23": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "University of Tokyo (東京大学)"}]}]}, "item_7_degree_name_20": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "工学博士"}]}, "item_7_dissertation_number_26": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "乙第10041号"}]}, "item_7_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.11501/3087339", "subitem_identifier_reg_type": "JaLC"}]}, "item_7_select_21": {"attribute_name": "学位", "attribute_value_mlt": [{"subitem_select_item": "doctoral"}]}, "item_7_text_22": {"attribute_name": "学位分野", "attribute_value_mlt": [{"subitem_text_value": "Engineering (工学)"}]}, "item_7_text_24": {"attribute_name": "研究科・専攻", "attribute_value_mlt": [{"subitem_text_value": "Department of Information Engineering, Graduate School of Engineering (工学系研究科情報工学専攻)"}]}, "item_7_text_27": {"attribute_name": "学位記番号", "attribute_value_mlt": [{"subitem_text_value": "第10041号"}]}, "item_7_text_36": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_text_value": "Thesis"}]}, "item_7_text_4": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "工学系研究科情報工学専攻"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "後藤, 滋樹"}], "nameIdentifiers": [{"nameIdentifier": "7719", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-05-31"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "247682.pdf", "filesize": [{"value": "12.2 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 12200000.0, "url": {"label": "247682.pdf", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/2983/files/247682.pdf"}, "version_id": "b732c8bd-d185-4ae3-9408-242869adf7a5"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "thesis", "resourceuri": "http://purl.org/coar/resource_type/c_46ec"}]}, "item_title": "構成的論理に基づくプログラムの合成と解析の研究", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "構成的論理に基づくプログラムの合成と解析の研究"}]}, "item_type_id": "7", "owner": "1", "path": ["280", "292"], "permalink_uri": "https://doi.org/10.11501/3087339", "pubdate": {"attribute_name": "公開日", "attribute_value": "2012-03-01"}, "publish_date": "2012-03-01", "publish_status": "0", "recid": "2983", "relation": {}, "relation_version_is_last": true, "title": ["構成的論理に基づくプログラムの合成と解析の研究"], "weko_shared_id": 2}
構成的論理に基づくプログラムの合成と解析の研究
https://doi.org/10.11501/3087339
https://doi.org/10.11501/30873398f08aa3c-59ff-43c7-9e91-b1903c2b9a5a
名前 / ファイル | ライセンス | アクション |
---|---|---|
247682.pdf (12.2 MB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2012-03-01 | |||||
タイトル | ||||||
タイトル | 構成的論理に基づくプログラムの合成と解析の研究 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
ID登録 | ||||||
ID登録 | 10.11501/3087339 | |||||
ID登録タイプ | JaLC | |||||
著者 |
後藤, 滋樹
× 後藤, 滋樹 |
|||||
著者所属 | ||||||
著者所属 | 工学系研究科情報工学専攻 | |||||
書誌情報 | 発行日 1991-02-14 | |||||
学位名 | ||||||
学位名 | 工学博士 | |||||
学位 | ||||||
値 | doctoral | |||||
学位分野 | ||||||
Engineering (工学) | ||||||
学位授与機関 | ||||||
学位授与機関名 | University of Tokyo (東京大学) | |||||
研究科・専攻 | ||||||
Department of Information Engineering, Graduate School of Engineering (工学系研究科情報工学専攻) | ||||||
学位授与年月日 | ||||||
学位授与年月日 | 1991-02-14 | |||||
学位授与番号 | ||||||
学位授与番号 | 乙第10041号 | |||||
学位記番号 | ||||||
第10041号 |