プロプログラムの安定性