猫でもわかるWebプログラミングと副業

本業Webエンジニア。副業でもWebエンジニア。Web開発のヒントや、副業、日常生活のことを書きます。

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

もくじ

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

量子コンピューター

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

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

QUBO?

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

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

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

QUBOのコード

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

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