1206 夕方まで寝て、それから数学をしています。p進整数Zpの性質をいくつか。稠密とか閉包とかの言葉にあまり馴染みがないのでちょっと証明に手こずっています。 またちょっと風邪っぽい。お酒飲みたかったんだけどな。はー。今夜はアニメを観つつ数学。そういえば「楽園追放」が家でもiTunesのレンタル機能で観られるらしいので、今夜観ると思います。