白山さんはこっちの方で元気してるのかなと思って見に来たらポスト全部消えてるやん

いつの間にかこちらのフォロワーが増えておった

基本群とかをもっとまともに扱えるようになる必要がある

明日論文が公開されてしまうことに正直ビビってる、今まで書いたのよりずっと大きな結果が出てるので

最終的に 50pg ぐらいのまぁまぁな大作になりそうだ。基礎から構成しているのでどこかに穴があると終わる。

しょぼい不等式しか出ないな〜

ぐちゃぐちゃな計算の末、欲しい関係が得られたのだが、なんかもう少しいかにも正しそうな理由が欲しい🙄

できたっぽいから書き下していこう

？
→ 片方はできた

あ、片方はて

せっかくだから連結和公式にも再チャレンジしてみよう

もういいや、最もコンサバな定義をしておこう。大事な概念になりそうだったら賢い人が適切に一般化してくれるだろう💡

適切な定義が何かで悩んでいる。ゴリゴリ強い仮定をおけばとりあえず話は通るんだけど。

恐らく修復できた🕳️

論文を清書していたらまた穴を見つけて肝を冷やしたが、頭の中では修復できたと思われる…🕳️

改めて明日から本腰を入れて論文を書いてく

巨大な穴があって絶望しかけたけど、なんとか気合いと根性で修復した✊（その過程で得られたものも一つの定理にして良さそう）

計算フェーズは一旦終了

確信が得られつつあるが、慎重を期してまた週明けから命題として確定させていこう

これは間違いがなければかなりいい結果といえそうだ

一気に無限個の非自明な例が得られてしまったかも知れない…！

うーむ、渋いな

例だと思っていたものが例になってなかった⤵️

パフォーマンスを改善したところで 20交点の例にチャレンジ💪

まーた計算量との戦いを始めないといけないのか

ドワー、9時間頑張ったところでメモリが足りなくて死んでら

大きな計算を走らせたまま寝る😪

既知の対象に対しては非自明性が検出できるのに、自分で試す例では検出できない😂 先行研究では上手い例が選ばれているのだと分かる…

むしろ特定の何かに反応して引っ掛かりが検出できてる感じがする

ボロボロと非自明な例が出るほどには強くないことが分かった