公文公という数学教育者（大阪帝大理学部数学科1期生）には少し関心がある