[2]
[[変数]]の記憶場所 ([[主記憶]]上の[[番地]])
からその[[値]]への[[写像]]を、[DFN[[RUBY[状態][じょうたい]@en[state]]]]といいます。