名前を隠して楽しく日記。
ABC予想は、デビット=ヤリマッサーが昭和60年に提唱した、これがあるとフェルマー予想だけでなく、似たような未解決問題が一挙に解決するということだったが、フェルマー予想に対しては
証明をn≦5に限定させるという記載があるだけで、3,4,5の理想的な証明はどこにもあがっていない。ABC予想は、一読して、多くの専門的研究のすえにたどり着いた定理であり、
難解。 フェルマー予想が出来なかった歴史的経緯も誰一人として説明する者はいない。 何がしたいのか?意味が分からない。
ABC予想を証明しなくても、弱いモーデル予想や、カタラン予想は、個別に解決すればいい、しかも、フェルマー予想は既に解決されているので、ABC予想は要らない。それよりも・・・
フェルマー予想を研究するとすると、代数的サイクルとエタールコホモロジーという1つの教科書ができる。その教科書を読んだ方がいいのではないかという感じがする。
パスカルの定理は、ジョンブリリアンコットの定理と双対をなして、この定理は色々な技術に出て来るので証明は必要最小限となっている。メネラウスの定理と比を取ると出来るということになっている。
初等幾何学を縦にすると現代法令が理解できるとは思わないので、法学部で学ぶ現代法令の技術は、初等分野の問題の構成に比較して、もっと別種のものではないかと思う。
にわかにおそろしくむつかしくなるということを、我々はまだ知る由もなかったのである。
私が興味を持っているのは、 フェルマーの小定理であり、 a^(p-1) ≡ 1 mod p である。 ただしこの場合、a,p は互いに素であるという条件が必要であり、真理関係的卓越性
までは分からない。
これを読んで思い出したこと。
中学・高校の頃、男子じゃなくてよかったって思ったことがある。
私はまぁまぁ運動音痴で、よく転んで血だらけになったり、体力無くてへとへとになったりしていたけど、それで責められたことはなかった。
むしろ、ちょっとバスケのシュートを決めただけで過剰に褒められた。
○ご飯
朝:なし。昼:サラダ。夜:キノコ、人参、ピーマン、ウインナーのスープ。たまご焼き。ワサビスパゲッティ。バナナ。豆乳。間食:柿の種。チョコ。
○調子
むきゅーはややー。おしごとは、それなりー。
少しだけ残業。
大量アッパー調整にナーフ解除にで環境が大きく変わっているみたい。
Pythonは全くわからないのですべてを生成AIに丸投げすることにした。頼むぜ、Claude3
んで、出力されたコードをJupyter Notebook上にコピペして実行。
すげぇ・・・ 動いた。テキストファイルに増田の各エントリのURLがモリモリと列挙されていく。
飲食店には行列ができてるし、コンビニはたまになんかちょっとしたもの買いに外国人が寄ってる感じだぞ
「コンビニで済ませる」なんてないわ
そういう使い方じゃないの?
増田さん、この度は大変お疲れさまでした。
自分の場合は父側だけが育休復帰、母側は育休中の0歳時点に連れ去られてしまい、
育休復帰後の育児分担が3:7くらいだったので、残念ながら親権も取れないまま、婚姻費用を1年粘られた末に離婚となりました。
せめて保育園に通う年齢になっていれば育児分担を増やすことが出来たかという後悔や、
専業主婦という役割分担が生じている中で、客観的に半分以上の育児をやっていたことを示す難しさを感じつつ、
仮に次このような機会に自分・周囲が陥った時に、本内容を元に行動したいと思います。