• 晴天。
  • 昨日試みてうまくいかなかった、ある条件に合ったデータを抽出して差し込み印刷を行うことに成功。ちゃんとしたマニュアルがあれば苦労しなかったのに。
  • 弁当を家で食べる。
  • 大学へ行けば怒濤の事務仕事が待っていることがわかっているので、できるだけ家にいる攻撃。水泳して生誕記念祭関連で増えた体重を戻したいが、ここはぐっと我慢する。
  • 11月末〆切の某原稿を進める。ええ。やってますよ。
  • 夕方大学院の授業。地道に認識論の読書。
  • 封筒に61円分の切手を貼って送ってきた人がいる。「中身を読んでもいいけどあとで19円払ってね」という郵便局の文書が付属している。ううむ面妖な。
  • 振込用紙や出欠葉書の通信欄に書いているいろんなことを整理して各方面へ振り分ける作業。
  • 使いにくいが慣れるために先日購入した第一鞄を使っている。しかし、小物収納ばっちりのカメラバッグから乗り換えるのは容易ではない。何かいいものないかなーと思ってブラウズしていると、こういうものに行き当たる。ふーむ。使えるような使えないような。実物を見てみたいものだな。
  • バックハウスのピアノソナタ。清らかである。
  • 某ブログで見かけた「任意の点から直線への距離を求める公式」というものが気にかかる。高校までで習った記憶はない。しかし、簡単に求められるはずなので、やってみる。

    直線Lの式を ax+by+c=0、任意の点Pを (x_1, y_1)とする。PからLへ垂線を下ろし、交わった点をMとする。PMの長さが求める距離。
    さて、Lの傾きは-a/bなので、直線PMの傾きはb/a。Pを通り傾きb/aの直線の方程式は y-y_1=b/a(x-x_1)。これとLの式から交点Mの座標を求められる。ここに書けないがそれほど複雑でもない。それを(x_M, y_M)、P, M間の距離をdとすると、d^2=(x_M-x_1)^2+(y_M-y_1)^2。これを計算するとどんどん整理されて(ぜひ自分でやってみよう)、結局、d^2=(ax_1+by_1+c)^2/a^2+b^2という感動の美に到達する。つまり、求める公式は、

    |ax_1+by_1+c|/√(a^2+b^2)

    あーすっきりした。久々にいい気分。

  • はっ、もうこんな時間。やるべき原稿が。
  • ○