計算可能モデル
【けいさんかのうもでる】
【keisankanoumoderu】
可算模型