WebエンジニアのLoL日記

LoLをプレイしたりLJLの試合を見たりするのが好きなエンジニア。LoLのイベントやパッチノートなど気になった点を記事にしたり、LJLについの記事をかいたりしています。某社でWeb系のエンジニアとして働いているので、技術系の記事もたまに書きます。コンタクトを取りたい場合はtwitterまで。

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

もくじ

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

量子コンピューター

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

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

QUBO?

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

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

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

QUBOのコード

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

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