{"created":"2025-01-18T23:02:39.321938+00:00","updated":"2025-01-22T15:27:05.584908+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00033945","sets":["1164:2822:2833:2834"]},"path":["2834"],"owner":"1","recid":"33945","title":["パネルディスカッション  組込みソフトウェアにおける形式的手法の実用化に向けて"],"pubdate":{"attribute_name":"公開日","attribute_value":"2006-09-27"},"_buckets":{"deposit":"dc751f80-8fe7-4091-b5fa-cbdc6ee94f97"},"_deposit":{"id":"33945","pid":{"type":"depid","value":"33945","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"パネルディスカッション  組込みソフトウェアにおける形式的手法の実用化に向けて","author_link":["0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"パネルディスカッション  組込みソフトウェアにおける形式的手法の実用化に向けて"}]},"item_type_id":"4","publish_date":"2006-09-27","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"北陸先端科学技術大学院大学"},{"subitem_text_value":"(株)豊田中央研究所"},{"subitem_text_value":"三菱電機マイコン機器ソフトウエア(株）"},{"subitem_text_value":"産業技術総合研究所"},{"subitem_text_value":"兵庫県立大学 名古屋大学"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/33945/files/IPSJ-EMB06002005.pdf"},"date":[{"dateType":"Available","dateValue":"2008-09-27"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB06002005.pdf","filesize":[{"value":"26.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"ddd397b6-bfb3-4328-8871-db7a136ab625","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2006 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"パネリスト：青木利晃"},{"creatorName":"パネリスト：佐野範佳"},{"creatorName":"パネリスト：宿ロ正弘"},{"creatorName":"パネリスト：高橋孝一"},{"creatorName":"コーディネータ：中本幸一"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"21","bibliographicIssueDates":{"bibliographicIssueDate":"2006-09-27","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"101(2006-EMB-002)","bibliographicVolumeNumber":"2006"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":33945,"links":{}}