川上さんに率直に思うんだけど、変な賞金なんか出さずに京大と協力して
形式化をプロジェクトにすべきだよな
俺も基礎論分野の人間だけど、教祖があんな様子じゃ外野は近寄りたくもないわ