Webエンジニアのライフハック日記

ゲームをしたりe-Sportsの試合を観に行くのが大好きなエンジニアのブログ。仕事の話から、日常をちょっと便利にする話、節約の話などをメインに書いていきます。たまに実際に買った商品レビューなども。

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

もくじ

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

量子コンピューター

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

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

QUBO?

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

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

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

QUBOのコード

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

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