折り紙公理に基づいた作業記述---ロボットアームによる折り紙作業実現に向けて---