逆 格子 ベクトル. 空間 群 一覧. 常套 手段 と は. メイン ルーチン.