本日をもって一人暮らしを始めることになった。と言っても、私が実家から出ていくわけではなく、親が出ていくのだが。すっかり物がなくなった家を見ると、その広さに驚く。1人では大きすぎる。 一番気ががりなのは、やはり食事である。最近は昔に比べて運動…

去年、一つ変わったことがあって、それは朝型人間になったということである。元々朝は苦手だったのだが、メザミーというアプリを使ってから、起床時刻こそ一定ではないものの、朝4~6時に起きることが通常になった。 mezamee.com このアプリは、アラームをセ…

環の中には、アルティン環とネーター環というイデアルの列で定義される環がある。以下に記す命題3は、この二つの環を繋げる役割を持つ命題だが、アティマクの証明*1 が直感的でなく、個人的にわかりにくかったので、別証明を考えた。以下 $A$ を単位的可換環…