2009年 Reasoning Tool for Mathematical Origami Construction ISSAC09 Software Presentation. ACM エクスポート BibTeX RIS