0681132人目の素数さん垢版 | 大砲2018/01/15(月) 00:05:16.35ID:jq3xvZvh 2月号 数学基礎論の特集 「今は昔の竹内物語」に 竹内外史先生(1926/01/25〜2017/05/10)の思い出話があって、 6.辻先生が「竹の内君」と云った話(p.20)がある。 竹内端三先生(東大、1887/06/〜1945/08/07)のことだったようですが… 今の人ならきっと 竹之内脩先生(阪大・基礎工、函数解析) と思うでしょうね。