ここでformula_265は固有値に対応するの固有状態である。