@techreport{oai:ipsj.ixsq.nii.ac.jp:00218776,
 author = {脇坂, 遼 and 鈴木, 泰成 and 徳永, 裕己},
 issue = {17},
 month = {Jun},
 note = {表面符号と格子手術はそれぞれ量子誤り訂正符号およびそれを用いた計算プロトコルであり，大規模な量子計算に必要となる誤り耐性量子計算を実現するものとして近年注目されている．符号化された論理量子ビットに対して各論理操作を施すためには複雑な低級操作が要求されるため，人間が直接記述することは困難である．したがってその活用にはユーザーが記述したプログラムを実行可能な低級操作列に翻訳するコンパイラが必要となる．また，より良いコンパイルアルゴリズムの探究のためには，コンパイル後のプログラムの性能や安全性を検証するためのソフトウェア基盤も必要である．本研究ではこうした解析を可能とするため，表面符号と格子手術のためのコンパイラバックエンドを開発した．本研究ではコンパイルアルゴリズムを開発しただけでなく，コンパイル後のプログラムを表現するための対象言語を形式的に与え，対象言語を用いたプログラム解析器を実装した．さらに既存のベンチマーク用量子プログラムに対してコンパイルを行い，様々な条件下で性能評価を行った．その結果，コンパイラの最適化の恩恵を最大限に利用するためには，プログラムを記述する段階で命令レベル並列性を高める必要があることが明らかとなった．},
 title = {表面符号と格子手術を用いた量子計算のためのコンパイラバックエンド開発},
 year = {2022}
}