画像情報と折り紙公理を用いたロボットアームによる三角折りの実現