不等式

今日も良く寝た。 午前は、成立するだろうと予想されているある不等式について考える。 朝の内は雨が降っていた。 昼食は御飯を炊いて、豚汁と、胡瓜、山芋の漬物。 新米はやはり美味しいなあ。 午後は衣笠文系講義日。バスで出勤。 車中でも午前の続きの計算。 「数理の世界」はいよいよ実数の定義。 雰囲気を伝えるために Dedekind の切断を使って定義しておいてから、 天下り式の公理的な定義を紹介して終わり。 「数」についての話は、 あとは複素数とか四元数について、もう少しだけ続けるかな。 続いて、「情報の数理」はハフマン・コードの説明。 帰りに四条堀川で降りて、近所のワイン屋でチーズを購入して帰宅。