lyra crow leak ガリレオ 数式 一覧 ジェット ストリーム 分解