バーチャル 折紙 

具体的には

  1. 任意の角の3等分
  2. Morleyの定理
  3. 折り鶴の作成を取り上げます.

      理論をぬきにして,例を用いて説明しますが,要点は

      1. 折紙プログラミング
      2. 折紙幾何学と定理自動証明
      3. 多層平面構造を持つ伝統的折紙の精巧な実現です.