Towards 3D computational oeigami - theory and software development

2016 Fiscal Year Annual Research Report

• Project/Area Number: 25330007
• Research Institution: University of Tsukuba
• Principal Investigator: 井田 哲雄 筑波大学, システム情報系(名誉教授), 名誉教授 (70100047)
• Project Period (FY): 2013-04-01 – 2017-03-31
• Keywords: 計算モデル論 / 計算折紙 / 立体折紙 / 折紙幾何定理の自動証明 / Geometric Algebra

Outline of Annual Research Achievements

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

Research Products

• [Int'l Joint Research] エディンバラ大学(英国)
  • Country Name: UNITED KINGDOM
  • Counterpart Institution: エディンバラ大学
• [Int'l Joint Research] ティミショアラ西大学(ルーマニア)
  • Country Name: ROMANIA
  • Counterpart Institution: ティミショアラ西大学
• [Int'l Joint Research] ヨハネスケプラー大学(オーストリア)
  • Country Name: AUSTRIA
  • Counterpart Institution: ヨハネスケプラー大学
• [Journal Article] Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami (2016)
  • Author(s): Tetsuo Ida
  • Journal Title: Proc. SYNASC 2017 Volume: - Pages: 23 -- 28
  • DOI: 10.1109/SYNASC.2016.017
  • Acknowledgement Compliant
• [Journal Article] A New Formalization of Origami in Geometric Algebra (2016)
  • Author(s): Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
  • Journal Title: Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry, Strasbourg, France, June 27-29, 2016 Volume: hal-01334334 Pages: 117--136
  • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
• [Presentation] Reflection on Geometric Exercises in Origami (2016)
  • Author(s): Tetsuo Ida
  • Organizer: The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)
  • Place of Presentation: Timisoara, Rumania
  • Year and Date: 2016-09-24 – 2016-09-27
  • Int'l Joint Research / Invited
• [Book] Post-Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September (2016)
  • Author(s): James H. Davenport, Viorel Negru, Tetsuo Ida,Tudor Jebelean, Dana Petcu,Stephen M. Watt,Daniela Zaharie
  • Total Pages: 476
  • Publisher: IEEE, Computer Society
• [Remarks] Eos Project
  • URL: www.i-eos.org