2005-11-22 計算モデル アルゴリズム Glossary Wikipediaではこう: 「アルゴリズム」の概念を定式化する為の数学モデルのこと。チューリングマシン、帰納的関数、λ計算などがある。