山の上のロジック学園……青葉レオ
数学セミナー 　2016年4月号
これ、東北大 田中 一之先生のところの記事だったか
青葉＝Aoba （Scientia） だったのかね（＾＾

https://www.sci.tohoku.ac.jp/about/pdf/no-24.pdf
東北大学大学院理学研究科・理学部 ニュースレター Aoba Scientia No.24 2016.3
P4
研究室訪問
応用数理講座 田中研究室 数学専攻 教授　田中 一之
(抜粋)
　私たちの研究室の業績として、海外でも一応認知されているのが
「逆数学」という研究プログラムにおけるいくつかの成果です。このプロ
グラムは、数学の定理を証明するのにどれだけの公理が必要かを調べ

るものです。数学は、学ぶ立場では公理から定理を導く証明の集積に
見えますが、研究する立場では、ある命題を導くのにどんな仮定や道具
が必要かなどと考えていることが多いと思います。例えば、解析学の授
業では、自然数、実数、連続関数、微積分．．．というように概念が組み
立てられているのに対し、それらの厳密な概念が発見された歴史は真
逆なのです。「逆数学」といっても、何か奇抜なことをやっているわけで
はなく、体系化が進むと忘れられてしまうような発見の歴史や、異なる
理論間の感覚的な類似性などを何とか捉えようとしているわけです。
　しかし、ロジックの専門家は日本にまだ一握りしかいないため、私
は年に数回一般向けの講演会をボランティアで行っています。そん
な私の活動をモデルにしたらしい（かなりコミカルに作り変えられて
います）物語が、月刊誌『数学セミナー』（日本評論社）に４月から連
載されることになりました。「山の上のロジック学園」（青葉レオ文、バラマツヒトミ絵）という題名
です。興味のある方は是非ご覧ください。
（日本評論社とバラマツさんのご厚意で、イラストを転載します。）

https://www.nippyo.co.jp/shop/magazine/7059.html
数学セミナー 　2016年4月号
［新連載］山の上のロジック学園……青葉レオ　56
　　　　　特別授業1日目　等式のロジック
［新連載］数の世界の散歩道──整数論に導かれて……落合 理　63
　　　　　広がっていく数の世界(1)