16:50-17:50。講演の要旨とスライドはここより入手可能。 "Mas problem"とは、Medvedevによって始められた一般化された決定問題である。この問題を考えることで、最終的には決定不可能な問題を分類することを目的としている。 通常のTuring degreeでは、で、…

起床は10時、とても眠い。ホテルにYk君が迎えにきてくれ、Km先生と乗り込む。駅前でUs君も合流、利府のラーメン屋によってエビワンタンメンを食べる。13時に松島のホテルに到着。Km先生とKr先生とS氏の講演を聞く。26時に寝る。