Tag: アルゴリズム
記事 (2)
-
正当性 (correctness) と停止性 (termination)の違いについて
アルゴリズムの正当性と停止性の基本を、最大値探索や線形探索の例で解説。ループ不変式、部分正当性、完全正当性、止まる理由の考え方を学ぶ。
-
擬似コード (pseudocode) の基本:言語に縛られずアルゴリズムを書く
擬似コードとは何か、よくある記法、読み方、書き方、自然言語から擬似コードへ落とす流れまで初学者向けに解説します。
アルゴリズムの正当性と停止性の基本を、最大値探索や線形探索の例で解説。ループ不変式、部分正当性、完全正当性、止まる理由の考え方を学ぶ。
擬似コードとは何か、よくある記法、読み方、書き方、自然言語から擬似コードへ落とす流れまで初学者向けに解説します。