老化しないためには成長しない必要があり、しかし老化したくない理由が成長したいからであることを考えればそれが矛盾していることに気づく。
January 14, 2026 at 6:06 PM
老化しないためには成長しない必要があり、しかし老化したくない理由が成長したいからであることを考えればそれが矛盾していることに気づく。
数学をやるために数学をやる必要があるが、その数学さえも道半ばなのである
January 14, 2026 at 6:03 PM
数学をやるために数学をやる必要があるが、その数学さえも道半ばなのである
マルチタスクとかできる人間は単に最大出力の70%を犠牲にしてコスパ最悪の大道芸をしているだけ
January 14, 2026 at 5:59 PM
マルチタスクとかできる人間は単に最大出力の70%を犠牲にしてコスパ最悪の大道芸をしているだけ
思考する人間は孤独である（孤独の中でしか人は思考できないので）
January 14, 2026 at 5:58 PM
思考する人間は孤独である（孤独の中でしか人は思考できないので）
人はそれを成長と言うんだぜ（画像略）
10年とか前に書いたこととか笑ってたもの見ると「ずいぶんひどいことで笑えたもんだ」なんて思って引いちゃうことが多いんだけど、そういうものが今や「当たり前」に「ありえない」ものになっていて、理性よりも先に感覚で拒否するようになって、かつてそれで自分が笑ってたことを完全に忘却していることも、同じかそれ以上に怖いことだなと思う。
January 14, 2026 at 5:54 PM
人はそれを成長と言うんだぜ（画像略）
結局学生時代にやり残したものを取り返すだけの人生。取り返したいからな
January 7, 2026 at 4:26 PM
結局学生時代にやり残したものを取り返すだけの人生。取り返したいからな
「完全系列と局所化」（コチェイン複体とやらの話）を読み終わったら流石に章末問題を解きたい
January 7, 2026 at 4:25 PM
「完全系列と局所化」（コチェイン複体とやらの話）を読み終わったら流石に章末問題を解きたい
PID上の有限生成加群の構造定理を読んだ。行間を埋めて理解はしたが、どうも納得しているかどうかというと煙に巻かれたような印象だ
January 7, 2026 at 4:22 PM
PID上の有限生成加群の構造定理を読んだ。行間を埋めて理解はしたが、どうも納得しているかどうかというと煙に巻かれたような印象だ
雪江先生、写像の合成が恒等写像なら後ろは全射、前は単射という性質をガンガン使いまくるな：
\mathbb{C} \rightarrow \mathbb{C}[X] \rightarrow \mathbb{C}は恒等写像，\mathbb{C} \rightarrow \mathbb{C}[X]は埋め込み，\mathbb{C}[X] \rightarrow \mathbb{C}は代入写像．
代入写像は全射で，これを使って準同型定理で同型といえる．
\mathbb{C} \rightarrow \mathbb{C}[X] \rightarrow \mathbb{C}は恒等写像，\mathbb{C} \rightarrow \mathbb{C}[X]は埋め込み，\mathbb{C}[X] \rightarrow \mathbb{C}は代入写像．
代入写像は全射で，これを使って準同型定理で同型といえる．
January 6, 2026 at 6:49 AM
雪江先生、写像の合成が恒等写像なら後ろは全射、前は単射という性質をガンガン使いまくるな：
\mathbb{C} \rightarrow \mathbb{C}[X] \rightarrow \mathbb{C}は恒等写像，\mathbb{C} \rightarrow \mathbb{C}[X]は埋め込み，\mathbb{C}[X] \rightarrow \mathbb{C}は代入写像．
代入写像は全射で，これを使って準同型定理で同型といえる．
\mathbb{C} \rightarrow \mathbb{C}[X] \rightarrow \mathbb{C}は恒等写像，\mathbb{C} \rightarrow \mathbb{C}[X]は埋め込み，\mathbb{C}[X] \rightarrow \mathbb{C}は代入写像．
代入写像は全射で，これを使って準同型定理で同型といえる．
それよりもやっぱり解析関数とかいう括りが圧倒的に重要だな
January 3, 2026 at 7:26 AM
それよりもやっぱり解析関数とかいう括りが圧倒的に重要だな
初等関数という枠組みは人間の感覚的な部分の話であって、あまり意味のある分類とは思えなくなった。不定積分によって初等関数ではなくなる関数は無数に作れると予想できるので
January 3, 2026 at 7:26 AM
初等関数という枠組みは人間の感覚的な部分の話であって、あまり意味のある分類とは思えなくなった。不定積分によって初等関数ではなくなる関数は無数に作れると予想できるので
Galois theoryへの理解が深まった。代数体だが
December 20, 2025 at 4:36 PM
Galois theoryへの理解が深まった。代数体だが
Mordell-Weilの定理証明読了。証明は大変だといわれていたが、思ったよりは大変ではなかった。分量が多いだけで理解できないということはない。これなら足踏みせず去年のうちに読んでおいてもよかったな
November 19, 2025 at 5:19 PM
Mordell-Weilの定理証明読了。証明は大変だといわれていたが、思ったよりは大変ではなかった。分量が多いだけで理解できないということはない。これなら足踏みせず去年のうちに読んでおいてもよかったな
「楕円曲線とはまったく関係ない次の定理を示せばよい」といわれて与えられた定理に対して「いうほど楕円曲線と関係ないか？」と思ったが、楕円曲線から得られる特別な仮定が必要ない一般論だという意味ではなるほど楕円曲線とは全く関係が無いのかもしれない
November 18, 2025 at 9:45 AM
「楕円曲線とはまったく関係ない次の定理を示せばよい」といわれて与えられた定理に対して「いうほど楕円曲線と関係ないか？」と思ったが、楕円曲線から得られる特別な仮定が必要ない一般論だという意味ではなるほど楕円曲線とは全く関係が無いのかもしれない
Mordell-Weilの定理の証明に感動しすぎて髪の毛全部抜けた。俺は代数幾何をやりたい
November 18, 2025 at 8:02 AM
Mordell-Weilの定理の証明に感動しすぎて髪の毛全部抜けた。俺は代数幾何をやりたい
このiphoneのキーボード、有理整数と-とか()がまとめてあるのに、^*+=\が別にしてあるの死ぬほど気持ち悪いんやが。1234567890のページの¥&@"要らねえよ。^*+=に置き換えろや。一々数式書くときにページ切り替えるのだるいんだよボケ
November 9, 2025 at 7:19 AM
このiphoneのキーボード、有理整数と-とか()がまとめてあるのに、^*+=\が別にしてあるの死ぬほど気持ち悪いんやが。1234567890のページの¥&@"要らねえよ。^*+=に置き換えろや。一々数式書くときにページ切り替えるのだるいんだよボケ
楕円曲線y^{2}=(x-a)(x-b)(x-c)の有理点とu^{2}+a=v^{2}+b=w^{2}+cなる有理点の間に一対一対応があるんだけど、対応の写像がなんでこんなもん思いつくんだよって感じ
November 9, 2025 at 7:14 AM
楕円曲線y^{2}=(x-a)(x-b)(x-c)の有理点とu^{2}+a=v^{2}+b=w^{2}+cなる有理点の間に一対一対応があるんだけど、対応の写像がなんでこんなもん思いつくんだよって感じ
イーロンマスクは早く一人で火星に帰れ。火星に追放しろあんな奴。ニコラテスラほんと可哀想
November 9, 2025 at 7:09 AM
イーロンマスクは早く一人で火星に帰れ。火星に追放しろあんな奴。ニコラテスラほんと可哀想
イーロンマスクくっそ嫌いで死ねばいいと思ってる。俺はあいつがAI開発で周りを出し抜きたいから「AI開発は危険」と吹聴しつつ裏で自分達は開発していたのを忘れてないからな。「Twitter（X）を万能アプリにしたい」とかまるで新しいことをしてるようなことを言ってたけど、実際は中国のSNS「weibo」の真似しかしてないことも俺は知ってるからな。（見りゃわかる）新規性はない。利己主義が悪いこととは言わんが、タチの悪い利己主義だ。死ねばいい。
November 9, 2025 at 7:07 AM
イーロンマスクくっそ嫌いで死ねばいいと思ってる。俺はあいつがAI開発で周りを出し抜きたいから「AI開発は危険」と吹聴しつつ裏で自分達は開発していたのを忘れてないからな。「Twitter（X）を万能アプリにしたい」とかまるで新しいことをしてるようなことを言ってたけど、実際は中国のSNS「weibo」の真似しかしてないことも俺は知ってるからな。（見りゃわかる）新規性はない。利己主義が悪いこととは言わんが、タチの悪い利己主義だ。死ねばいい。
類体論から平方剰余の相互法則が出るというのはなんとなく理解できるが、平方剰余の相互法則が類体論現象の一つの例というのは理解していない。二次体における素イデアル分解の様態が平方剰余記号によって支配されるのは平方剰余の相互法則によるものではないから。ただ平方剰余の相互法則を変形することでmod mでの半数の類に属するか否かで素イデアル分解を完全に決定できるけど、そこの計算に平方剰余の相互法則が利用されているだけで、心としては本質的な活用がなされたようには思えない。（もちろん代案を出すなんてことはできないのだが）
November 5, 2025 at 5:42 AM
類体論から平方剰余の相互法則が出るというのはなんとなく理解できるが、平方剰余の相互法則が類体論現象の一つの例というのは理解していない。二次体における素イデアル分解の様態が平方剰余記号によって支配されるのは平方剰余の相互法則によるものではないから。ただ平方剰余の相互法則を変形することでmod mでの半数の類に属するか否かで素イデアル分解を完全に決定できるけど、そこの計算に平方剰余の相互法則が利用されているだけで、心としては本質的な活用がなされたようには思えない。（もちろん代案を出すなんてことはできないのだが）
ほんとに素人意見で申し訳ないけど、代数的整数論の手法はもう数論に致命の一打を与えることは不可能な気がする。それよりも解析的整数論とか数論幾何のパワーで押し切るしかないような気がする
November 2, 2025 at 6:53 AM
ほんとに素人意見で申し訳ないけど、代数的整数論の手法はもう数論に致命の一打を与えることは不可能な気がする。それよりも解析的整数論とか数論幾何のパワーで押し切るしかないような気がする
自分のペースで勉強する必要があるが、それはダラダラと勉強してもよいという意味ではない。速読で文字だけを追って意味を頭で理解できていなければ意味がないので、理解できる速さで読むべき、というのが前者で、集中力なく無気力に文章を読んだり読まなかったりするのが後者という具体化。
October 31, 2025 at 5:16 PM
自分のペースで勉強する必要があるが、それはダラダラと勉強してもよいという意味ではない。速読で文字だけを追って意味を頭で理解できていなければ意味がないので、理解できる速さで読むべき、というのが前者で、集中力なく無気力に文章を読んだり読まなかったりするのが後者という具体化。