desivdo 楡 畑 雄二 ガリレオ 数式 一覧