けいりう堂日記

_ [ヨガ]クラス終了。

ほとんど毎週通ってた、ジムの日曜夕刻のヨガクラスが４月からなくなってしまう。週初めに向かって調子を整えるのに有用だっただけにこれからどうしようかと。やるメニューを自分なりに用意してやってくことにするかな。自習こそ学習だ。放送大学のテキスト、『ラテン語の世界』のはじめにのとこだけ読んだ。

_ [特撮] 動物戦隊ジュウオウジャー／仮面ライダーゴースト

春休みなのでスペシャルで２番組が合体。ジュウオウジャーのエンディングのダンス見てて思うこと二点。１）ダンスの振り付け、ゴーバスターズのと似てるとこある→振付師は違う人っぽい。ジュウオウジャーはパパイヤ鈴木。ゴーバスターズは彩木エリと言う方らしく。　２）ダンスしてるエレファントが無表情。→ゴーバスターズの時はヒロムがめっちゃ無表情。戦隊ヒーローのエンディングのダンスは外せない。来週も視る。

_ 下記に関連してこんなページ見つけました。なんか新鮮。おれももっともっと変態にならないとな！鱗とれたよ。

_ [数学] 交換則・結合則・分配則。

英語ではexchange lawとかじゃなくて、それぞれcommutative law, associative law, distributive lawという。-tiveをつけると数学用語っぽくなるんだろうか？ともかくそれで、交換則と結合則はまず自然数に対して数学的帰納法を使えば簡単に説明できるんだと思い込んでたら、そうじゃなかったようだ。交換則を証明するのには結合則が成り立つことを仮定すれば簡単で、逆もまた正しいがそれでは証明にはならないのだ。で、サイエンス社から出ている笠原章郎著『自然数から実数まで』という本を借りてきた（この本絶版で、古書で買うとだいぶ高いようだ）。この本には、ペアノ・システムということが書いてあって、準備として写像に関する知識を必要とするようだ。文面は平易に見えるが、結構面倒くさいことを考えないといけないみたいだ。世界というものは当たり前でないことばかりでできているようだ。つまり、息の仕方を知っていることさえ奇跡なのだ。