>>273-274
>>>261
>俺の発想とは720°違う。

スレ主です
そこ結構同意です （　>>261は、私の発想とは -180°違うｗ　（＾＾；）

”述語論理のタブロー法”なんて
だれも 論点にしないところを見ると
プロとアマの数学者で 「タブロー法が役に立った！」
という経験は、殆どしていないと思われます

一方、小平先生とか 「ユークリッド幾何学 大事だよ」といったそうですが
（下記の”座談会: 数学教育の現代化を振り返って”ご参照）

余談ですが
数学AIや数学ソフトの影響を どう考えるか？
（例えば 下記「OpenAI o1が2025年東大文系入試を余裕で突破、理三合格レベルにも到達」2025.04.07）
これからの、大きな課題でしょうねぇ〜

(参考)

https://xtech.nikkei.com/atcl/nxt/column/18/03078/012800006/
大学入試 vs. 生成AI　共通テスト・東大入試に挑戦
第4回
OpenAI o1が2025年東大文系入試を余裕で突破、理三合格レベルにも到達
永田 雄大
日経クロステック／日経コンピュータ
2025.04.07

https://www.jstage.jst.go.jp/browse/jjsme/92/7/_contents/-char/ja
日本数学教育学会誌
92 巻, 7 号 2010年
数学教育 64-4
https://www.jstage.jst.go.jp/article/jjsme/92/7/92_39/_article/-char/ja/
J-STAGEトップ/日本数学教育学会誌/92 巻 (2010) 7 号 書誌 p. 39-
座談会: 数学教育の現代化を振り返って
清水 静海, 横地 清, 小高 俊夫, 磯脇 一男, 礒田 正美
被引用数: 1 — 会議で, フランスの学者がEuclidの綜合幾何学に代. えて, ベクトルで幾何学を展開 ... 載りました(例えば,小平邦彦先生) 川口廷先生. と広中平祐先生のNHKの対談 ...