blog.鶯梭庵/origami/「折り紙公理」の形式化・その１ http://ow.ly/9hOqR