ことさら−古都プログラマーの更級日記

京都でお寺を回りながら御朱印集めをしていたり、LoLをしたり試合を見に行ったりしているエンジニアのブログです。技術的なはなしとか日常的なはなし、カメラやLoLや競馬の話も書きます。右メニューに検索やらカテゴリーやらがあるので、見たい記事だけ見てね!

【ScalaMatsuri2018】Recursive Schemeを用いた量子アニーリングマシン専用言語(DSL)の開発

もくじ

Recursive Schemeを用いた量子アニーリングマシン専用言語(DSL)の開発

量子コンピューター

D-Wave Systemsは世界で初めて商用の量子コンピュータを開発した。

断熱量子コンピュータというやつ。冷やしてる。冷蔵庫みたいな。QUBOという問題を解くことができる。

QUBO?

殆どの離散最適化問題はQUBOで表現することができる。

量子コンピュータはどう使うか

  • 日常の問題を最適化問題に落とし込む
  • それをQUBOに変換
  • んでなんかハードウェアで扱えるようにする(ここの研究はさかん)

QUBOのコード

ネストがめっちゃ深いコードになる。

ので、ツリー構造みたいなDSLで書いて渡すとコードにしてくれるやつつくった。