出張記録

2026年

• 2026年11月16日–17日
  TPP 2026 · Tokyo, Japan
• 2026年8月21日–9月4日
  University of Ljubljana（IMFM） · Ljubljana, Slovenia
• 2026年7月27日–31日
  CIE 2026 · Trier, Germany
• 2026年6月29日–7月3日
  Logic Colloquium 2026 · Swansea, UK
• 2026年6月1日–4日
  FormaSys Meeting · Tokyo, Japan
• 2026年1月14日–20日
  IRIF（Dominik Kirst） · Paris, France
• 2026年1月11日–13日
  CPP 2026 · Rennes, France

2025年

• 2025年12月3日–4日
  TPP 2025 · Sendai, Japan
• 2025年12月1日–2日
  AIST（Reynald Affeldt） · Tokyo, Japan
• 2025年7月14日–18日
  CIE 2025 · Lisbon, Portugal
• 2025年5月19日–23日
  École normale supérieure de Lyon（LIP Laboratory） · Lyon, France

2024年

• 2024年11月25日–26日
  TPP 2024 · Fukuoka, Japan
• 2024年9月23日
  Munich University of the German Armed Forces（Vasco Brattka） · Munich, Germany
• 2024年9月15日–21日
  Proof and Computation 2024 · Fischbachau, Germany
• 2024年9月9日–14日
  ITP 2024 · Tbilisi, Georgia
• 2024年8月2日–3日
  WAAC2024 · Seoul, Korea
• 2024年7月15日–18日
  CCA 2024 · Swansea, UK
• 2024年4月18日–20日
  KMS Spring Meeting · Daejeon, Korea
• 2024年3月11日–15日
  CCR 2024 · Nagoya, Japan

2023年

• 2023年12月16日
  12th Meeting of the JSPS Club · Nagoya, Japan
• 2023年10月30日–31日
  TPP2023 · Tokyo, Japan
• 2023年9月11日–15日
  Computable Analysis Summer School · Tokyo, Japan
• 2023年9月7日–9日
  CCA2023 · Dubrovnik, Croatia
• 2023年9月3日–6日
  École polytechnique（Olivier Bournez） · Palaiseau, France
• 2023年8月28日–9月1日
  MFCS2023 · Bordeaux, France
• 2023年6月12日–15日
  TYPES 2023 · Valencia, Spain

2022年

• 2022年9月19日–23日
  CCC2022 · Padova, Italy
• 2022年5月30日–6月2日
  Proof and Computation 2022 · Schlehdorf, Germany
• 2022年3月2日–5日
  Japan-Russia workshop on effective descriptive set theory, computable analysis and automata · Akita, Japan

2021年

• 2021年11月20日–22日
  TPP2021 · Kitami, Japan

2020年

• 2020年2月20日–21日
  Ludwig-Maximilians-Universität（Chuangjie Xu） · Munich, Germany
• 2020年2月17日–19日
  University of Trier（Norbert Müller） · Trier, Germany
• 2020年2月10日–16日
  Ludwig-Maximilians-Universität（Chuangjie Xu） · Munich, Germany
• 2020年2月5日–7日
  LA Symposium · Kyoto, Japan

2019年

• 2019年10月7日–10日
  NII Shonan Meeting · Shonan, Japan
• 2019年10月4日–5日
  WAAC · Daejeon, South Korea
• 2019年9月20日–26日
  Proof and Computation · Herrsching, Germany
• 2019年9月15日–19日
  Ludwig-Maximilians-Universität（Chuangjie Xu） · Munich, Germany
• 2019年9月8日–13日
  ITP2019 · Portland, OR, USA
• 2019年9月2日–6日
  CCC2019 · Ljubljana, Slovenia
• 2019年8月11日–21日
  Aston University（Michal Konečný） · Birmingham, United Kingdom
• 2019年7月8日–11日
  CCA2019 · Zagreb, Croatia
• 2019年3月15日–25日
  Ludwig-Maximilians-Universität（Chuangjie Xu） · Munich, Germany
• 2019年3月11日–14日
  MLA2019 · Nancy, France