どうやってそこまで高度な概念を数式に表せたのか