Tag: アルゴリズム

記事 (2)

• 正当性 (correctness) と停止性 (termination)の違いについて

  アルゴリズムの正当性と停止性の基本を、最大値探索や線形探索の例で解説。ループ不変式、部分正当性、完全正当性、止まる理由の考え方を学ぶ。

  2026-04-23 アルゴリズム 数学的帰納法 探索 線形探索 アルゴリズム

• 擬似コード (pseudocode) の基本:言語に縛られずアルゴリズムを書く

  擬似コードとは何か、よくある記法、読み方、書き方、自然言語から擬似コードへ落とす流れまで初学者向けに解説します。

  2026-04-23 アルゴリズム 配列 最大値 アルゴリズム 擬似コード 条件分岐 ループ 代入 変数