そういや、スレ主は東京近郊に在住なのかな

11月23〜25日に駒場祭という東大の祭があって、
調べた限りでは数学科の出し物が毎年ある
たぶん今年もあるだろう

たまには外に顔出して東大生に時枝の話でもしてみては？
スレ主の見解を完膚なきまでに論破してくれると思うぞ