記号論理学もっと深く勉強したいな
超数学とか型理論とかやってほしい