講演

招待講演

• 2025年7月
  Computable Analysis for Extraction of Certified Programs and its Applications

  Computability in Europe 2025, Lisbon, Portugal
• 2023年10月
  Formal verification and program extraction for efficient computations over real numbers and hyperspaces

  Fifth Workshop on Digitalization and Computable Models, Astana, Kazakhstan (Online)
• 2021年9月
  Complexity Theory in Analysis with Applications to Differential Equations

  Autumn school Proof and Computation, Online
• 2021年7月
  Uniform Complexity of Solving Partial Differential Equations and Exact Real Computation

  18th International Conference on Computability and Complexity in Analysis, Online
• 2019年9月
  Analytic ordinary differential equations - from computational complexity to efficient and verified algorithms

  Computability, Continuity, Constructivity - from Logic to Algorithms 2019, Ljubljana, Slovenia

一般講演

• 2026年6月
  Extracting certified programs from type-theoretic proofs in analysis and topology

  Logic Colloquium 2026, Swansea, UK
• 2026年4月
  Spaces of Sequences in Computable Analysis and Applications to Differential Equations

  Differentiation in category theory and program semantics, Kyoto, Japan
• 2025年12月
  Verified Computation of ODE Trajectories in Rocq

  The 21st Theorem Proving and Provers Meeting, Sendai, Japan
• 2025年9月
  A Verified Power-Series Method for Multivariate IVPs

  Twenty-Second International Conference on Computability and Complexity in Analysis, Kyoto, Japan
• 2024年9月
  Extracting efficient programs from proofs in analysis

  Autumn school Proof and Computation, Fischbachau, Germany
• 2024年8月
  Solving differential equations in exact real arithmetic and applications to high-precision computation

  The 24th Korea–Japan Joint Workshop on Algorithms and Computation, Seoul, South Korea
• 2024年7月
  Extracting solution operators for polynomial ODEs from proofs

  Twenty-First International Conference on Computability and Complexity in Analysis, Swansea, UK
• 2024年4月
  Advances in certified exact real computation and its formalization

  Korean Mathematical Society Spring Meeting, Daejeon, Korea
• 2024年3月
  Applications of Exact Real Computation in Particle Physics

  17th International Conference on Computability, Complexity and Randomness, Nagoya, Japan
• 2023年10月
  計算可能解析学とCoq / Computable Analysis and Coq

  The 19th Theorem Proving and Provers meeting, Tokyo, Japan
• 2023年9月
  Advances in verified set and function calculi in Coq

  Continuity, Computability, Constructivity - From Logic to Algorithms 2023, Kyoto, Japan
• 2023年8月
  Formalizing Hyperspaces for Extracting Efficient Exact Real Computation

  48TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Bordeaux, France
• 2023年6月
  Extracting sound computation over hyperspaces

  The 23rd Japan-Korea Joint Workshop on Algorithms and Computation, Nagoya, Japan
• 2023年6月
  Extending cAERN to spaces of subsets

  29th International Conference on Types for Proofs and Programs, Valencia, Spain
• 2022年9月
  Certified Exact Real Computation on Hyperspaces

  Continuity, Computability, Constructivity - From Logic to Algorithms 2022, Padova, Italy
• 2022年6月
  From Coq Proofs to Efficient Certified Exact Real Computation

  Proof and Computation 2022, Schlehdorf, Germany
• 2022年3月
  Extracting exact real computation programs from proofs in type theory

  The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata, Akita, Japan
• 2022年1月
  An application of constructive dependent type theory to certified computation over the reals

  The second Korea Logic Day, Online
• 2021年11月
  Toward an interpretation of Intutionistic Fixed Point Logic in Coq

  The 17th Theorem Proving and Provers meeting, Kitami, Japan
• 2021年10月
  Axiomatic Reals and Certified Efficient Exact Real Computation

  27th Workshop on Logic, Language, Information and Computation, Online
• 2021年9月
  IFP style proofs in the Coq proof assistant

  Continuity, Computability, Constructivity - From Logic to Algorithms, Online
• 2021年3月
  Computable analysis and exact real computation in Coq

  Fourth Workshop on Mathematical Logic and Applications, Online
• 2020年12月
  Computable Analysis for Verified Exact Real Computation

  40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Online
• 2020年8月
  Continuous and Monotone Machines

  45th International Symposium on Mathematical Foundations of Computer Science, Online
• 2020年2月
  Computable analysis and verified exact real computation in Coq

  LA Symposium, Kyoto, Japan
• 2019年10月
  Computable analysis and verified exact real computation in Coq

  The 22nd Japan-Korea Joint Workshop on Algorithms and Computation, Daejeon, Korea
• 2019年9月
  Computable analysis, exact real arithmetic and analytic functions in Coq

  The Coq Workshop 2019, Portland, OR, USA
• 2019年7月
  Formal proofs about metric spaces and continuity in Coq

  Sixteenth International Conference on Computability and Complexity in Analysis, Zagreb, Croatia
• 2019年4月
  Second-order linear-time complexity and applications to computable analysis

  15th Annual Conference on Theory and Applications of Models of Computation, Kitakyushu, Japan
• 2019年3月
  Some formal proofs of isomorphy and discontinuity

  Third Workshop on Mathematical Logic and its Applications, Nancy, France
• 2018年9月
  Second-order linear-time computability

  Continuity, Computability, Constructivity, Faro, Portugal
• 2018年9月
  Computable analysis and computability in linear time

  Workshop on Computability Theory and Foundations of Mathematics 2018, Tokyo, Japan
• 2018年8月
  Average-case polynomial-time computability of Hamiltonian dynamics

  43rd International Symposium on Mathematical Foundations of Computer Science, Liverpool, United Kingdom
• 2018年7月
  Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving

  25th Workshop on Logic, Language, Information and Computation, Bogotá, Colombia
• 2018年7月
  Applications of average-case complexity in analysis

  LA Symposium, Chiba, Japan
• 2018年3月
  Average Case Complexity for Hamiltonian systems

  IEICE General Conference - Student Symposium, Tokyo, Japan
• 2018年3月
  Some results on the computational complexity of noisy dynamical systems

  Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan
• 2017年11月
  Average Case Complexity for Hamiltonian systems

  Dagstuhl Seminar on Reliable Computation and Complexity on the Reals, Dagstuhl, Germany
• 2017年7月
  Average Case Complexity for the N-body problem

  The 15th Asian Logic Conference, Daejeon, Korea
• 2017年6月
  Average Case Complexity and Hamiltonian dynamical systems

  Continuity, Computability, Constructivity 2017, Nancy, France
• 2017年6月
  Average Case Complexity for the N-body problem

  Computability in Europe 2017, Turku, Finland · スライド
• 2016年9月
  Analytic Functions and Small Complexity Classes

  Workshop on Mathematical Logic and its Applications, Kyoto, Japan
• 2016年8月
  Data-types for Multidimensional Functions in Reliable Numerics - Implementations Inspired by Real Complexity Theory

  The 19th Japan-Korea Joint Workshop on Algorithms and Computation, Hakodate, Japan · スライド
• 2016年6月
  Analytic Functions and Small Complexity Classes

  Thirteenth International Conference on Computability and Complexity in Analysis, Faro, Portugal · スライド
• 2016年5月
  Analytic Functions and Ordinary Differential Equations in Exact Real Arithmetic

  Mathematics for Computation, Lower Bavaria, Germany · スライド
• 2016年5月
  On data-types for multidimensional functions in Exact Real Arithmetic

  PhDs in Logic VIII, Darmstadt, Germany
• 2015年5月
  Analytic continuation in iRRAM

  69. Workshop über Algorithmen und Komplexität (Theorietag), Ilmenau, Germany
• 2014年9月
  Analytic functions in iRRAM

  Continuity, Computability, Constructivity 2014, Ljubljana, Slovenia
• 2014年7月
  Analytic functions in iRRAM

  Eleventh International Conference on Computability and Complexity in Analysis, Darmstadt, Germany