ステートマシンモデル (状態計算モデル)

計算とは変数の値を変更する事である
ステート : 変数の値の集合が、
計算 : ステートを変更する事
計算の終了 : ステートが望みの結果になっているという事
求める結果が、どこかの変数の値になっていればよい
画面への出力も「出力画面」という変数への「蓄積結果」と考える