TKSS等の日記

日常時々数学競馬ラノベetc

引き篭もり

たいして書くことはないけれども。


まぁ何がめんどくさいって、自分は既に慣れ親しみきって当たり前になってる
定義やら定理やらをいちいち列挙してその大部分にまたいちいち証明を
つけなきゃならんということだな。


まぁがさがさ削りつついこうかね。
明日はちょっと外出。朝って引き篭もりぐらいでいけるか?