有限なのに Kleene 閉包（無限集合）を受理したりする計算理論って無限を有限に落とし込む話ばかり、いやもっというと数学って無限を有限に落とし込む話ばっかりだよな