・参考記事 IBMQで3-SAT問題 - Qiita Groverのアルゴリズムを用いた充足可能性問題の解法 ・前回 最初はローカルで Python やろうと思っていたけど、環境構築するのがたるいので、web上でやる。 お題は 3-sat 。 IBM Quantum Lab https://quantum-computing.…