コンピュータは計算をしたり、いろいろなデータを探しだすのが得意で、毎日の勉強に役に立っていますね。しかし、折紙や図形の問題を解くのに、とても役に立つことを知っていますか。何十年にもわたる基礎研究の結果、人間が行う推論の一部をコンピュータが高速に行うことができるようになってきました。この研究成果を折紙に適応して、コンピュータで折紙を折りながら、折紙を用いて難しい図形の問題を、いっしょに解いてみませんか。折紙の一つ一つの折り方をコンピュータに指示すると、コンピュータはその意味を理解して、指示されたことを数式に変換して計算し、その結果を図形にしてコンピュータの画面にきれいに表示してくれます。皆さんの知っている鶴や紙飛行機をコンピュータが、皆さんの指示によって折ってくれます。そして、アニメーションで動かすこともできます。それだけでなく、難しいと思われた図形の問題も、折紙を折る方法に翻訳して、解いてくれます。解くためには、コンピュータは定理の証明を行っているのです。このような、最先端のコンピュータの研究を日本の伝統工芸の折紙を楽しみながら学んでください。