_ 昨日の話。

えっと連日副業その１であります。整数問題を中心に、ほか式と証明とか。整式の扱い方を整理して、二次式の扱い方を整理して、整数問題の扱い方を整理する。長ったらしい解答や証明の議論の流れを読む練習。やって解けたら、その解き方で大事だったポイントに線を引いてみる練習。長ったらしい解答でも、だいたい大切なポイントは三つくらいのもんで、その一つひとつは既に慣れたこと(そのそれぞれにもまた三つずつくらいのポイントがあったりする)で構成されていることを見る。こういうことの積み重ねが大切なんね。

というわけで自分のここ数年の生活を見直す。とっちらかってる。懸案の紙類の整理を進めるべく近所の百均でバインダを大量に買いこむ。整理をはじめるにあたり、本棚の配置が気になったのでかえてみる。どーも違和感があって気に入らない。母を呼んであーでもないこーでもないと相談してみる。結局積んであった棚をひとつベッドのサイドテーブル的な配置にして、他二つの棚をもとの位置に戻す。これで机の両側に棚が二つずつ対称に積まれたことになって、なんか気持良い。これに満足して結局紙類の整理はあとまわしにしちゃいました。

_ どってことない証明

そういえば書き忘れていたけど、数日前に寝入りばなおもむろにオイラーの多面体定理の簡単な証明を思い付きました。もちろん既によく知られているであろう、どってことない証明だと思いますけど。でも自分の頭のなかで証明が結晶した感覚に違いはありません。他にも、いくつものくだらない問題をどっかで考え続けています。本に書いてあるような証明を読んでも、この結晶するような感覚が得られない限り、論理的に納得はしてもしっくりこないのです。そしてただひとつの問題であっても、結晶するような感覚が得られるまでには、問題と証明を理解してから何年もかかることがあるものです。オイラーの定理にせよ、何度もいろんな証明を見たことはありますが、しっくりきたのははじめての経験でした。模型造りが効を奏したのでしょうか。しかし既に読んだ他の証明などとの繋がりや、多面体に関する他のおもしろいトピックとの繋がりはまだまだ満足できるほど得られていないので、ずっとずっと気の長い話になるでしょう。

_ すずむし

そういえばそういえば、徳島の夜はすずむしの懐かしい声。

_ 拭き掃除

紙類の整理を目的とした掃除の一貫で昼からおもむろに拭き掃除をはじめたものの途中で今日も副業その１。いそがしですなあ。もうすぐひと段落するねんけど。しかしややこしい証明問題ばかり。しかも解答が分かりにくいときた。おかあさんと世間話して帰宅。拭き掃除は途中のまま。

_ mozilla 1.0

ノートPCの中身も整理ついでにブラウザをアップデートしようと思ったらディスクの空き容量が少ない。mozilla-embedded な云々よりもてっとりばやかったので結局mozilla 1.0 におちつく。それなりに軽快だし表示も良いので良とする。

# cvsup ports-supfile
# cd /usr/ports/www/mozilla/
# make all install clean

かなりの部分 C++ でかかれてるみたいで make にものすごい時間喰ってCPUフル稼働。発熱過多。