陽子はまだコードを書いてもいいですが、複数人によるキーワード入力は面白そう
ですが、複雑な推論は書いても使われないんじゃないかと思って、また一旦一区切り
ついたと判断することにします。どういうことかというと、またＰ＝ＮＰ解きたい
と思ってるんですよ。僕の意思で判断してるんじゃなく、医学的妄想の名古屋の
宇宙人が宗教トラブル解決したからやってくれ、と話しかけてくるんです。前と
同じように忌み名の生成で解こうと思っているんですが、一発では答えは出ない
ので、証明の細かい部分の忌み名を生成しまくります。前回が上手くいかなかった
ので、今回もあんまり上手くいくと思っていないのですが、テレパシーで解くよう
指令されてるんです。「Ｔ」の陽子もできたら使いたいです。総当たりの計算に
使う予定です。また短期接近戦だと思ってます。解けないと判断したら、またすぐ
他のことをする予定です。