2013-11-16 証明の図示 Mx 証明はmovieまたはanimationのことであって、スナップショット/スチル写真では証明の全体を記述できない。movieまたはanimationであるとは、(離散的)時間が流れることであって、時間の流れを完全に空間的・静的な絵図に表すことは難しい。スチルの連続として記述するのがふさわしい。スチルである証明図は通常は2次元なので、証明は時間方向を入れた3次元の絵図を持つ。