これって数学ではないの？＞＜
型理論 - Wikipediahttps://ja.wikipedia.org/wiki/%E5%9E%8B%E7%90%86%E8%AB%96
思考の /dev/null
