立体折紙の計算理論の展開と計算折紙ソフトウェアの開発

2016 年度 実績報告書

• 研究課題/領域番号: 25330007
• 研究機関: 筑波大学
• 研究代表者: 井田 哲雄 筑波大学, システム情報系(名誉教授), 名誉教授 (70100047)
• 研究期間 (年度): 2013-04-01 – 2017-03-31
• キーワード: 計算モデル論 / 計算折紙 / 立体折紙 / 折紙幾何定理の自動証明 / Geometric Algebra

研究実績の概要

今年度は研究のまとめのフェーズである．海外の協力研究者との交流が前年度と今年度にまたがるので，研究全体のまとめや評価の作業が今年度に実施することになり，１年間の研究の延長が認められた．延長期間には，（１）これまでの研究の評価と（２）研究成果を共著論文としてとりまとめるための作業をおこなった．（１）に関しては，研究成果の普及させるための努力について，コメントを得た．（２）に関しては，Geometric Algebraの実装部分を検証している定理証明支援系Isabelle/HOLの証明スクリプトを見直し，より簡潔な検証ができた．この結果を論文にまとめ，ADG 2016で発表した．

研究成果

• [国際共同研究] エディンバラ大学(英国)
  • 国名: 英国
  • 外国機関名: エディンバラ大学
• [国際共同研究] ティミショアラ西大学(ルーマニア)
  • 国名: ルーマニア
  • 外国機関名: ティミショアラ西大学
• [国際共同研究] ヨハネスケプラー大学(オーストリア)
  • 国名: オーストリア
  • 外国機関名: ヨハネスケプラー大学
• [雑誌論文] Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami (2016)
  • 著者名/発表者名: Tetsuo Ida
  • 雑誌名: Proc. SYNASC 2017 巻: - ページ: 23 -- 28
  • DOI: 10.1109/SYNASC.2016.017
  • 謝辞記載あり
• [雑誌論文] A New Formalization of Origami in Geometric Algebra (2016)
  • 著者名/発表者名: Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
  • 雑誌名: Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry, Strasbourg, France, June 27-29, 2016 巻: hal-01334334 ページ: 117--136
  • 査読あり / オープンアクセス / 国際共著 / 謝辞記載あり
• [学会発表] Reflection on Geometric Exercises in Origami (2016)
  • 著者名/発表者名: Tetsuo Ida
  • 学会等名: The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)
  • 発表場所: Timisoara, Rumania
  • 年月日: 2016-09-24 – 2016-09-27
  • 国際学会 / 招待講演
• [図書] Post-Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September (2016)
  • 著者名/発表者名: James H. Davenport, Viorel Negru, Tetsuo Ida,Tudor Jebelean, Dana Petcu,Stephen M. Watt,Daniela Zaharie
  • 総ページ数: 476
  • 出版者: IEEE, Computer Society
• [備考] Eos Project
  • URL: www.i-eos.org