Apple のソフト紹介ページに Google Earth が載っていた。ベータ版らしいが、バージョン 4.0.1694.0 って何やねん。

朝から目が痛い。たぶん画面の見過ぎだろう。目薬をさしたら大分おさまった。

今日は 29 日ということで。合ってるかどうかは知らない。 [補題 1] 任意の正整数 n について、J(2n) = 2J(n) - 1 かつ J(2n+1) = 2J(n) + 1 [証明] 前者を示す。人数が偶数 2n の場合、1 巡目で偶数番目の人が除かれ、n 人だけ残る。2 巡目以降で最後まで生…