{"created":"2023-05-15T11:57:48.448683+00:00","id":3571,"links":{},"metadata":{"_buckets":{"deposit":"31ee8d79-64ec-4e48-b3c8-a6adcbd78c03"},"_deposit":{"created_by":3,"id":"3571","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"3571"},"status":"published"},"_oai":{"id":"oai:kyutech.repo.nii.ac.jp:00003571","sets":["17:18"]},"author_link":["1145"],"item_22_alternative_title_18":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Study on Verifying Model Compiler"}]},"item_22_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-02-09","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_22_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"研究期間：2007～2009, 研究種目：基盤研究（C）, 科学研究費補助金研究成果報告書","subitem_description_type":"Other"}]},"item_22_publisher_7":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"九州工業大学"}]},"item_22_select_60":{"attribute_name":"査読の有無","attribute_value_mlt":[{"subitem_select_item":"no"}]},"item_22_text_37":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"九州工業大学情報工学研究院知能情報工学研究系"}]},"item_22_text_58":{"attribute_name":"科研課題番号","attribute_value_mlt":[{"subitem_text_value":"19500030"}]},"item_22_version_type_59":{"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":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"Ubayashi, Naoyasu","creatorNameLang":"en"},{"creatorName":"鵜林, 尚靖","creatorNameLang":"ja"},{"creatorName":"ウバヤシ, ナオヤス","creatorNameLang":"ja-Kana"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2010-11-11"}],"displaytype":"detail","filename":"19500030seika.pdf","filesize":[{"value":"51.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"19500030seika.pdf","url":"https://kyutech.repo.nii.ac.jp/record/3571/files/19500030seika.pdf"},"version_id":"b90d1c14-0c2d-4fe5-8bf8-642663f6405e"}]},"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"},{"subitem_subject":"モデルコンパイラ","subitem_subject_scheme":"Other"},{"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":"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":"検証可能なモデルコンパイラに関する研究"}]},"item_type_id":"22","owner":"3","path":["18"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-11-11"},"publish_date":"2010-11-11","publish_status":"0","recid":"3571","relation_version_is_last":true,"title":["検証可能なモデルコンパイラに関する研究"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-10-25T09:32:06.983772+00:00"}