有限水平,線形時変系に対するノルムを計算するための効率的なアルゴリズム【jst・京大機械翻訳】