計算とはなんだろう,という問いは,抽象度が高いわりにはそれなりの精度で答えやすい問いで,今日もそんな問いに答えていた.要するにチューリングマシンとラムダ計算についてそれぞれ理解し,それらの等価性を証明すればいい.もちろん,オラクルの概念や…
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.