証明がいっぱい

今日もまた良い天気だ。気温も高い。 9 時半にキャンパスに到着して、購買部で朝食と昼食を買う。 とろサーモン巻き一つを食べながら、卒研ゼミＳ。 算術幾何平均不等式の三通りの証明。 このうちの一つ(コーシーによるもの)しか知らなかったので、 なかなか興味深かった。 紹介されていた文献によると 50 通りを越える証明が知られているそうだ。 不等式界でのピタゴラスの定理みたいなものだろうか。 30 分間の隙間の昼休憩に、部屋で朝に買ったお弁当の昼食。 12:30 から「シミュレーション技法」の講義。 準モンテカルロ法のアイデア、discrepancy の定義、 簡単な例など。 1コマ分の空き時間を挟んで、 次は「情報理論」の講義。 最適コードの定義、Huffman コードの構成方法。 講義の後に三つほど質問に答えて、部屋に戻る。 事務のポストを見に行くと、 今日までに届くかちょっと心配していた、 本の校正が来ていたので一安心。 もう来週くらいには返さなくてはならないのだが、 全体で 250 ページくらいなので、 チェスのトーナメントの合間に一日50ページずつくらい校正すれば、 間にあうだろう。18 時過ぎに撤収。

明日の夜から東京に移動して、 明後日土曜日から三日間続くチェスのトーナメント。 時間は不確定ですが、出来れば毎日、更新するつもりです。