量子アニーリングマシンのプログラミング