思考実験
食卓の哲学者 (計算機科学)
停止問題 (計算機科学、計算理論、計算複雑性理論)
チューリングマシン (計算機科学、計算理論)