1月7日(金) 15:30-- ロジックセミナー (合同棟1201) 木原 貴行 氏 (東北大学大学院理学研究科) Computability, mass problems, and basis theorems