問題をそのまま記述してそれを整理していくだけだとたどり着かない一歩引いた発明ってあるよなぁ、とかそういう雑談。