■

• 終わらせてないのがある.
  • 1つはフーリエ変換がえぐいことになるので見たくない. 解析的数論とか知るかー.
  • しかも既存方式より効率が良くないっていう. なんか別のと組み合わせるべきか. ただ別のも帰着がうまくいかないのでどうしようもない. ぬぅ.
• 決定性にすると抜けられてしまうのが良くないんだよねー.
  • むしろ不可能性を証明する方向はどうだろう.

>