けいりう堂日記

_ というわけで横浜に帰ってきたらやっぱり暖かい。というか電車の中などは暑い。いよいよ夏に向かっていくんだなあなんて今からちょっと憂鬱。近所のしだれ桜は今年は少し開花が遅い。灯油があと一缶残ってるなあ。無理して使い切るか。

_ [漫画] 「侵略！イカ娘」２１巻、安部真弘、チャンピオンコミックス、２０１６．

新刊。あと１巻で終わり。長かった年中夏の物語が終わる。さみしいね。夏休みが終わるみたいだよ。

_ [数学]スミルノフ続き。

もうそろそろ寝るんだけどその前にちょっとおさらい。今実数の割り算が始まろうとしているのだが、和と積に対して、自然数、有理数、実数のそれぞれに対して交換則・結合則・分配則が成立することを確かめてなかった。自然数に対しては数学的帰納法で確かめられる。有理数は、互いに疎な自然数の分数で定義されるところから等式を自然数に対する式に帰着させればよい。実数に対しては…得意の（全然得意じゃない）切断を使って証明する。後日の宿題。