『classical-computability-1.pdf』2026/8/1 9:15:00 https://www.math.mi.i.nagoya-u.ac.jp/~kihara/pdf/teach/classical-computability-1.pdf