宣告通り、
さらになぜか、
ついでに
ということでSplrは進展なし。
6月はすごくAPL, BQNの理解が進みましたw。
7月も無理だな。 積み上げたBQN版SAT solverの実装, 非Python版深層学習の実装, それよりも何よりも「BQNの始め方」の完成度を上げなければ。