どのような「あみだくじ」でも、必ず別のゴールに着くことを数学的に証明してください。背理法を使って単射であることを示すのが一番簡単そうですし、真っ先に思い浮かびます。ただ、計算機屋としては数学的帰納法を使って証明してみたいもので、ちゃんと数…

午前中、白馬ジャンプ競技場の見学へ（つっても案内係みたいなもん）。小雨模様だったが、ちょうどサマージャンプシーズンで、ラージヒルを使って練習中の選手もいた。ここで練習に遭遇するのは10年ぶりぐらい。というわけで、ろくな準備をしていなかったけ…