0185名無し象は鼻がウナギだ！
2017/03/20(月) 12:24:55.230すまん。それは正直に言うと知らなかった
昔数学の根本的な流派は直観主義と形式主義に分けられると聞いた
形式主義はフローチャート的に証明していくのに対して直観主義はそうじゃないんだと
算数オリンピックの問題集を分析している時にそれを思い出して、
数字は根本的に動きの問題だからフローチャート的に表せるんじゃないか
そして幾何学は形の問題だからそういう風に表すと不都合なんじゃないか
それぐらいの発想で書いたものだった
