㊺数式 数学公式 プログラミング SF 不思議 天才　ひらめき ガリレオ/Formula Mathematics Formula Programming SF Mysterious Genius Inspiration