中野 隆 ガリレオ 数式 一覧