>>269
数式に関してはシンボリック計算だからそこまでやな
今は亡きVoevodeskyがやってたホモトピー型理論で数学やるやつの方が有望やないか無限扱えるらしいし