{"created":"2023-07-27T06:56:46.231797+00:00","id":53696,"links":{},"metadata":{"_buckets":{"deposit":"4ff01ea9-95c8-42d2-871e-8a1053ad35c9"},"_deposit":{"created_by":18,"id":"53696","owners":[18],"pid":{"revision_id":0,"type":"depid","value":"53696"},"status":"published"},"_oai":{"id":"oai:kanazawa-u.repo.nii.ac.jp:00053696","sets":["2812:2813:2825"]},"author_link":["94695"],"item_9_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2009-04-23","bibliographicIssueDateType":"Issued"},"bibliographicPageStart":"5p.","bibliographicVolumeNumber":"2006 – 2008","bibliographic_titles":[{"bibliographic_title":"平成20(2008)年度 科学研究費補助金 若手研究(B) 研究成果報告書"},{"bibliographic_title":"2008 Fiscal Year Final Research Report","bibliographic_titleLang":"en"}]}]},"item_9_creator_33":{"attribute_name":"著者別表示","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{}],"nameIdentifiers":[{},{}]}]},"item_9_description_21":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"本研究では, モジュラーな項書換えシステムに基づく仕様検証システムの開発を行った. これにより, 特に仕様作成, 実行, 検証時におけるデータ仕様の扱いが容易となり, 形式仕様言語の幅広い利用を促す研究成果が得られた. また, 仕様から実装を得るためのツールの開発, 異なる検証技術の融合技術, 検証エンジンの基礎理論など, ソフトウェア開発工程全体を取り扱うことが可能な形式仕様言語の構築へとつながる研究成果が得られた.","subitem_description_type":"Abstract"}]},"item_9_description_22":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究課題/領域番号:18700024, 研究期間(年度):2006 – 2008","subitem_description_type":"Other"},{"subitem_description":"出典：「モジュラーな項書き換えシステムに基づく仕様検証システムの開発」研究成果報告書　課題番号18700024\n（KAKEN：科学研究費助成事業データベース（国立情報学研究所））\n（https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/)を加工して作成","subitem_description_type":"Other"}]},"item_9_description_5":{"attribute_name":"提供者所属","attribute_value_mlt":[{"subitem_description":"金沢大学理工研究域電子情報通信学系 / 北陸先端科学技術大学院大学","subitem_description_type":"Other"}]},"item_9_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24517/00059978","subitem_identifier_reg_type":"JaLC"}]},"item_9_relation_28":{"attribute_name":"関連URI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/ja/search/?kw=40345658"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/ja/search/?kw=40345658","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18700024/","subitem_relation_type_select":"URI"}},{"subitem_relation_name":[{"subitem_relation_name_text":"https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-18700024/18700024seika/","subitem_relation_type_select":"URI"}}]},"item_9_version_type_25":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-11-30"}],"displaytype":"detail","filename":"TE-PR-NAKAMURA-M-kaken 2009-5p.pdf","filesize":[{"value":"366.2 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"TE-PR-NAKAMURA-M-kaken 2009-5p.pdf","url":"https://kanazawa-u.repo.nii.ac.jp/record/53696/files/TE-PR-NAKAMURA-M-kaken 2009-5p.pdf"},"version_id":"49c07500-184d-4d46-ab16-bc5d8ecb7920"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"research report","resourceuri":"http://purl.org/coar/resource_type/c_18ws"}]},"item_title":"モジュラーな項書き換えシステムに基づく仕様検証システムの開発","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"モジュラーな項書き換えシステムに基づく仕様検証システムの開発"},{"subitem_title":"On a formal verification system based on modular term rewriting","subitem_title_language":"en"}]},"item_type_id":"9","owner":"18","path":["2825"],"pubdate":{"attribute_name":"公開日","attribute_value":"2020-11-30"},"publish_date":"2020-11-30","publish_status":"0","recid":"53696","relation_version_is_last":true,"title":["モジュラーな項書き換えシステムに基づく仕様検証システムの開発"],"weko_creator_id":"18","weko_shared_id":-1},"updated":"2023-07-27T14:12:00.032678+00:00"}