Heine-Borel theorem(実数上の閉区間はcompact)とweak Koenig's lemma(無限個の頂点をもつtreeは無限の長さのpathを持つ)って，同値なんですね．言われてみればそうかと思いますが，Tikhonov's lemma と選択公理みたいな関係で面白い．

先日靴ひもが切れてしまい，もとの靴が使い物にならなくなったので，新しく2足の靴を買ってきました．買ったのはいいのですが，結局2足とも同じタイプの靴になってしまいました．もとの靴も，靴ひもを買えば使えるので，これで普段使いの靴3足＋革靴というこ…

院生室にフランスから来ている人がいるのですが，彼は年末年始を北海道で過ごすらしいです．こんな寒い時期なのに，なんでまた北海道に旅行しようと思ったのでしょうか．フランスより寒いぞ．東京の寒さで考えていては風邪をひきます．