最新版をダウンロード。ファイルは 2.8G あり，DVD に焼いて起動する。光にしたおかげで30分ほどでダウンロード完了。すぐに DVD にし，起動するところまで確認した。これが USB フラッシュメモリに移せれば，かなり便利になる。 これのもとになっている Kno…

久しぶりに近況を報告。先日見つけた証明のギャップはまだ埋まっていない。しかし集中して考えれば簡単にクリアできると確信している。次回は来週。新しいことを考えてくるようにという指示をもらった。