{"created":"2025-01-19T00:59:00.057717+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00193863","sets":["6164:6165:7019:9662"]},"path":["9662"],"owner":"44499","recid":"193863","title":["DeepSaucer: Verification Environment for Deep Neural Networks"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-01-17"},"_buckets":{"deposit":"201a432e-0ef6-4a10-812d-d418a7b5581d"},"_deposit":{"id":"193863","pid":{"type":"depid","value":"193863","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"DeepSaucer: Verification Environment for Deep Neural Networks","author_link":["455082","455084","455085","455091","455087","455089","455086","455094","455088","455093","455081","455092","455090","455083"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"DeepSaucer: Verification Environment for Deep Neural Networks"},{"subitem_title":"DeepSaucer: Verification Environment for Deep Neural Networks","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"深層学習システムのテスト・検証","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2019-01-17","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"株式会社日立製作所研究開発グループ"},{"subitem_text_value":"株式会社日立製作所研究開発グループ"},{"subitem_text_value":"株式会社日立製作所研究開発グループ"},{"subitem_text_value":"株式会社日立製作所研究開発グループ"},{"subitem_text_value":"株式会社日立製作所研究開発グループ"},{"subitem_text_value":"サザンプトン大学エレクトロニクスアンドコンピュータサイエンス学部"},{"subitem_text_value":"サザンプトン大学エレクトロニクスアンドコンピュータサイエンス学部"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Research & Development Group, Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Research & Development Group, Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Research & Development Group, Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Research & Development Group, Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Research & Development Group, Hitachi, Ltd.","subitem_text_language":"en"},{"subitem_text_value":"School of Electronics and Computer Science, University of Southampton","subitem_text_language":"en"},{"subitem_text_value":"School of Electronics and Computer Science, University of Southampton","subitem_text_language":"en"}]},"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/193863/files/IPSJ-WWS2019004.pdf","label":"IPSJ-WWS2019004.pdf"},"date":[{"dateType":"Available","dateValue":"2021-01-17"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2019004.pdf","filesize":[{"value":"230.1 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"379c1f54-d868-4139-a19e-1929b3a8e23c","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2019 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"佐藤, 直人"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"來間, 啓伸"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"金子, 昌永"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中川, 雄一郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"小川, 秀人"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"ホン, タイソン"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"バトラー, マイケル"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Naoto, Sato","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kuruma, Hironobu","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kaneko, Masanori","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Nakagawa, Yuichiroh","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Ogawa, Hideto","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Thai, Son Hoang","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Michael, Butler","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their environments, is proposed. In DeepSaucer, code snippets for loading DNNs, running verification methods, and creating their environments are retained and reused as software assets in order to reduce the cost of verifying DNNs. The feasibility of DeepSaucer is confirmed by implementing it on the basis of Anaconda, which provides a virtual environment for loading a DNN and running a verification method. In addition, the effectiveness of DeepSaucer is demonstrated by an use case example.","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their environments, is proposed. In DeepSaucer, code snippets for loading DNNs, running verification methods, and creating their environments are retained and reused as software assets in order to reduce the cost of verifying DNNs. The feasibility of DeepSaucer is confirmed by implementing it on the basis of Anaconda, which provides a virtual environment for loading a DNN and running a verification method. In addition, the effectiveness of DeepSaucer is demonstrated by an use case example.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2019・イン・福島飯坂 論文集"}],"bibliographicPageStart":"7","bibliographicIssueDates":{"bibliographicIssueDate":"2019-01-17","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2019"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":193863,"updated":"2025-01-19T23:47:46.013138+00:00","links":{}}