{"created":"2021-03-01T06:44:13.414500+00:00","id":8758,"links":{},"metadata":{"_buckets":{"deposit":"8e295600-9c98-415f-8542-d6ac3b3d44fe"},"_deposit":{"id":"8758","owners":[],"pid":{"revision_id":0,"type":"depid","value":"8758"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00008758","sets":["3:233:244"]},"author_link":["35844"],"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1992","bibliographicIssueDateType":"Issued"}}]},"item_12_date_granted_46":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"1993-03-25"}]},"item_12_degree_grantor_44":{"attribute_name":"学位授与大学","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"筑波大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"University of Tsukuba"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"12102","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_12_degree_name_43":{"attribute_name":"取得学位","attribute_value_mlt":[{"subitem_degreename":"博士（工学） "},{"subitem_degreename":"Doctor of Philosophy in Engineering"}]},"item_12_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"v-定義可能行為[5](v-definable act 以下v行為v act)はプログラムの数学的表現である。v行為を用いて、プログラムを表現する事によりプログラムの性質の検証を形式的に厳密に行う事が出来る[11]。他の論理的手段 ...","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_12_description_45":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_description":"1992","subitem_description_type":"Other"}]},"item_12_dissertation_number_47":{"attribute_name":"報告番号","attribute_value_mlt":[{"subitem_dissertationnumber":"乙第881号"}]},"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":"池田, 靖雄","creatorNameLang":"ja"},{"creatorName":"Ikeda, Yasuo","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"35844","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"B0881.pdf","filesize":[{"value":"93.0 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"abstract","url":"https://tsukuba.repo.nii.ac.jp/record/8758/files/B0881.pdf"},"version_id":"895456bc-6666-4b84-b0a0-6f2e7220b4ea"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"1.pdf","filesize":[{"value":"1.5 MB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/8758/files/1.pdf"},"version_id":"d1381ade-1982-42d7-b846-4efd771e54c3"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"高階論理型プログラム言語NUの解釈系","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"高階論理型プログラム言語NUの解釈系","subitem_title_language":"ja"}]},"item_type_id":"12","owner":"1","path":["244"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2007-07-25"},"publish_date":"2007-07-25","publish_status":"0","recid":"8758","relation_version_is_last":true,"title":["高階論理型プログラム言語NUの解釈系"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-04-21T04:54:33.367526+00:00"}