数学の本に数式があったり、定理と証明があったりして、読み通すのにエネルギーが要る、という話になった 数式(を順番に並べたもの)とは、「数式の表記法」がわかっている人の間でごく簡潔にされたプログラムのコードのようなもの 公理は初期値や読み込み関…