このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

証明の図示

証明はmovieまたはanimationのことであって、スナップショット/スチル写真では証明の全体を記述できない

movieまたはanimationであるとは、(離散的)時間が流れることであって、時間の流れを完全に空間的・静的な絵図に表すことは難しい。スチルの連続として記述するのがふさわしい。

スチルである証明図は通常は2次元なので、証明は時間方向を入れた3次元の絵図を持つ。