{"id":218776,"updated":"2025-01-19T15:02:20.389381+00:00","links":{},"created":"2025-01-19T01:19:07.432585+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00218776","sets":["1164:10193:10905:10966"]},"path":["10966"],"owner":"44499","recid":"218776","title":["表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-06-30"},"_buckets":{"deposit":"fa8a872b-bb60-4785-9ece-9a2d9fe75ab1"},"_deposit":{"id":"218776","pid":{"type":"depid","value":"218776","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発","author_link":["569670","569668","569669"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発"}]},"item_type_id":"4","publish_date":"2022-06-30","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"京都大学大学院情報学研究科／NTTコンピュータ&データサイエンス研究所"},{"subitem_text_value":"NTTコンピュータ&データサイエンス研究所／JSTさきがけ"},{"subitem_text_value":"NTTコンピュータ&データサイエンス研究所"}]},"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/218776/files/IPSJ-QS22006017.pdf","label":"IPSJ-QS22006017.pdf"},"date":[{"dateType":"Available","dateValue":"2024-06-30"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-QS22006017.pdf","filesize":[{"value":"855.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":"53"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"9a72f89b-2c17-4bea-95fa-28107f98c04a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"脇坂, 遼"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"鈴木, 泰成"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"徳永, 裕己"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12894105","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_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2435-6492","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"表面符号と格子手術はそれぞれ量子誤り訂正符号およびそれを用いた計算プロトコルであり，大規模な量子計算に必要となる誤り耐性量子計算を実現するものとして近年注目されている．符号化された論理量子ビットに対して各論理操作を施すためには複雑な低級操作が要求されるため，人間が直接記述することは困難である．したがってその活用にはユーザーが記述したプログラムを実行可能な低級操作列に翻訳するコンパイラが必要となる．また，より良いコンパイルアルゴリズムの探究のためには，コンパイル後のプログラムの性能や安全性を検証するためのソフトウェア基盤も必要である．本研究ではこうした解析を可能とするため，表面符号と格子手術のためのコンパイラバックエンドを開発した．本研究ではコンパイルアルゴリズムを開発しただけでなく，コンパイル後のプログラムを表現するための対象言語を形式的に与え，対象言語を用いたプログラム解析器を実装した．さらに既存のベンチマーク用量子プログラムに対してコンパイルを行い，様々な条件下で性能評価を行った．その結果，コンパイラの最適化の恩恵を最大限に利用するためには，プログラムを記述する段階で命令レベル並列性を高める必要があることが明らかとなった．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"7","bibliographic_titles":[{"bibliographic_title":"量子ソフトウェア（QS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2022-06-30","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"17","bibliographicVolumeNumber":"2022-QS-6"}]},"relation_version_is_last":true,"weko_creator_id":"44499"}}