解析開発アルゴリズムや検証などの実行可能なコンピュータプログラムへの計算問題