招待有り 2018年7月 Ramsey's theorem and sizes of proofs Workshop on Ramsey Theory and Computability Keita Yokoyama 開催地 Rome, Italy