ラプノフ関数の構成と安定性基準