Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logicのリリース