もくじ
Recursive Schemeを用いた量子アニーリングマシン専用言語(DSL)の開発
量子コンピューター
D-Wave Systemsは世界で初めて商用の量子コンピュータを開発した。
断熱量子コンピュータというやつ。冷やしてる。冷蔵庫みたいな。QUBOという問題を解くことができる。
QUBO？
殆どの離散最適化問題はQUBOで表現することができる。
量子コンピュータはどう使うか
- 日常の問題を最適化問題に落とし込む
- それをQUBOに変換
- んでなんかハードウェアで扱えるようにする（ここの研究はさかん）
QUBOのコード
ネストがめっちゃ深いコードになる。
ので、ツリー構造みたいなDSLで書いて渡すとコードにしてくれるやつつくった。
