招待有り 2017年7月 Caristi's fixed point theorem in reverse mathematic Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017) Keita Yokoyama 開催地 Mysore, India