program-checkout theory program program programmed プログラム検査用条件 プログラム証明論 プログラムテスティング プログラムのテスト プログラムチェック