ＴＨＩＥＳＨＯＬＧＥＲ THIES HOLGER

… 別表記

THIES HOLGER ティースホルガー

研究者番号	50839107
その他のID
所属 (現在)	2025年度: 京都大学, 人間・環境学研究科, 特定講師
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2024年度: 京都大学, 人間・環境学研究科, 特定講師 2020年度: 九州大学, システム情報科学研究院, 助教
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連研究代表者以外合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連 / 小区分60020:数理情報学関連 / 小区分60010:情報学基礎論関連
キーワード	研究代表者計算機援用証明 / 計算可能解析学 / 精度保証付き数値計算 / 微分方程式 / Complexity Theory / Formal proofs / Verification / Differential equations / Computable analysis / 実数計算 … もっと見る / 計算量 / Proof Assistants / Spaces of subsets / Program Extraction / ODEs / Type Theory / Formal Proofs / Exact Real Computation / Computable Analysis … もっと見る研究代表者以外プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学隠す

Research on Computable Analysis and Verification of Efficient Exact Real Computation研究代表者
- 研究代表者
  
  THIES HOLGER
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
連続な空間上の計算とその複雑さの研究
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60010:情報学基礎論関連
   小区分60020:数理情報学関連
   合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連
- 研究機関
  京都大学
Computational complexity and practice of verified and efficient algorithms for dynamical systems研究代表者
- 研究代表者
  
  THIES HOLGER
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  京都大学
   九州大学

すべて 2024 2023 2022 2021 2020

すべて雑誌論文学会発表

[雑誌論文] Formalizing Hyperspaces for Extracting Efficient Exact Real Computation2023
- 著者名/発表者名
  Michal Konecny, Sewon Park, Holger Thies
- 雑誌名
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  巻: 272
- データソース
  KAKENHI-PROJECT-20K19744
[雑誌論文] Certified Computation of Nondeterministic Limits2022
- 著者名/発表者名
  Konecny Michal、Park Sewon、Thies Holger
- 雑誌名
  
  Lecture Notes in Computer Science book series (LNCS)
  
  巻: 13260 ページ: 771-789
- DOI
  10.1007/978-3-031-06773-0_41
- ISBN
  9783031067723, 9783031067730
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744, KAKENHI-PROJECT-18H03203
[雑誌論文] Computable analysis and notions of continuity in Coq2021
- 著者名/発表者名
  Florian Steinberg, Laurent Thery, Holger Thies
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: 17:2
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[雑誌論文] Axiomatic Reals and Certified Efficient Exact Real Computation2021
- 著者名/発表者名
  Konecny Michal、Park Sewon、Thies Holger
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 13038 ページ: 252-268
- DOI
  10.1007/978-3-030-88853-4_16
- ISBN
  9783030888527, 9783030888534
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[雑誌論文] Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations2021
- 著者名/発表者名
  Selivanova Svetlana、Steinberg Florian、Thies Holger、Ziegler Martin
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 12865 ページ: 370-390
- DOI
  10.1007/978-3-030-85165-1_21
- ISBN
  9783030851644, 9783030851651
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[雑誌論文] Continuous and Monotone Machines2020
- 著者名/発表者名
  Michal Konecny, Florian Steinberg, Holger Thies
- 雑誌名
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  巻: 170
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[雑誌論文] Computable Analysis for Verified Exact Real Computation2020
- 著者名/発表者名
  Michal Konecny, Florian Steinberg, Holger Thies
- 雑誌名
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  巻: 182
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Applications of Exact Real Computation in Particle Physics2024
- 著者名/発表者名
  Svetlana Selivanova, Holger Thies
- 学会等名
  17th International Conference on Computability, Complexity and Randomness
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Extending cAERN to spaces of subsets2023
- 著者名/発表者名
  Michal Konecny, Sewon Park, Holger Thies
- 学会等名
  29th International Conference on Types for Proofs and Programs
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Advances in verified set and function calculi in Coq2023
- 著者名/発表者名
  Pieter Collins, Sewon Park, Holger Thies
- 学会等名
  Continuity, Computability, Constructivity 2023
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] 計算可能解析学とCoq2023
- 著者名/発表者名
  Holger Thies
- 学会等名
  The 19th Theorem Proving and Provers meeting
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Towards verified implementation of iterative and interactive real-RAM2023
- 著者名/発表者名
  Sewon Park, Holger Thies
- 学会等名
  Twentieth International Conference on Computability and Complexity in Analysis
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Formal verification and program extraction for efficient computations over real numbers and hyperspaces2023
- 著者名/発表者名
  Holger Thies
- 学会等名
  Fifth Workshop on Digitalization and Computable Models
- 招待講演
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Certified exact real computation on hyperspaces2022
- 著者名/発表者名
  Michal Konecny, Sewon Park, Holger Thies
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithm (CCC2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] From Coq Proofs to Efficient Certified Exact Real Computation2022
- 著者名/発表者名
  Michal Konecny, Sewon Park, Holger Thies
- 学会等名
  Proof and Computation 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Nondeterministic limits and certified exact real computation2022
- 著者名/発表者名
  Michal Konecny, Sewon Park, Holger Thies
- 学会等名
  Nineteenth International Conference on Computability and Complexity in Analysis
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Extracting exact real computation programs from proofs in type theory2022
- 著者名/発表者名
  Holger Thies
- 学会等名
  The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Certified and efficient programs from proofs in computable analysis2022
- 著者名/発表者名
  Holger Thies
- 学会等名
  Computing in topological structures: Foundations and implementations
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] An application of constructive dependent type theory to certified computation over the reals2022
- 著者名/発表者名
  Holger Thies
- 学会等名
  The second Korea Logic Day
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Some steps toward program extraction in a type-theoretical interpretation of IFP2022
- 著者名/発表者名
  Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithm (CCC2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Toward an interpretation of Intutionistic Fixed Point Logic in Coq2021
- 著者名/発表者名
  Holger Thies
- 学会等名
  The 17th Theorem Proving and Provers meeting
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Axiomatic Reals and Certified Efficient Exact Real Computatio2021
- 著者名/発表者名
  Holger Thies
- 学会等名
  27th Workshop on Logic, Language, Information and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Complexity Theory in Analysis with Applications to Differential Equations2021
- 著者名/発表者名
  Holger Thies
- 学会等名
  Autumn school Proof and Computatio
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Uniform Complexity of Solving Partial Differential Equations and Exact Real Computation2021
- 著者名/発表者名
  Holger Thies
- 学会等名
  18th International Conference on Computability and Complexity in Analysis
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] IFP style proofs in the Coq proof assistant2021
- 著者名/発表者名
  Holger Thies
- 学会等名
  Continuity, Computability, Constructivity - From Logic to Algorithm
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Computable Analysis for Verified Exact Real Computation2020
- 著者名/発表者名
  Holger Thies
- 学会等名
  40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Continuous and Monotone Machines2020
- 著者名/発表者名
  Holger Thies
- 学会等名
  45th International Symposium on Mathematical Foundations of Computer Science
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744
[学会発表] Computable analysis and exact real computation in Coq2020
- 著者名/発表者名
  Holger Thies
- 学会等名
  Fourth Workshop on Mathematical Logic and Applications
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K19744

1. 立木秀樹 (10211377)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 河村彰星 (20600117)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 木原貴行 (80722701)

共同の研究課題数: 1件

共同の研究成果数: 0件

ＴＨＩＥＳ ＨＯＬＧＥＲ THIES HOLGER

THIES HOLGER ティース ホルガー

研究課題

研究成果

共同研究者

Research on Computable Analysis and Verification of Efficient Exact Real Computation研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

連続な空間上の計算とその複雑さの研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

Computational complexity and practice of verified and efficient algorithms for dynamical systems研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Formalizing Hyperspaces for Extracting Efficient Exact Real Computation2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Certified Computation of Nondeterministic Limits2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Computable analysis and notions of continuity in Coq2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] Axiomatic Reals and Certified Efficient Exact Real Computation2021

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations2021

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Continuous and Monotone Machines2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computable Analysis for Verified Exact Real Computation2020

著者名/発表者名

雑誌名

データソース

[学会発表] Applications of Exact Real Computation in Particle Physics2024

著者名/発表者名

学会等名

データソース

[学会発表] Extending cAERN to spaces of subsets2023

著者名/発表者名

学会等名

データソース

[学会発表] Advances in verified set and function calculi in Coq2023

著者名/発表者名

学会等名

データソース

[学会発表] 計算可能解析学とCoq2023

著者名/発表者名

学会等名

データソース

[学会発表] Towards verified implementation of iterative and interactive real-RAM2023

著者名/発表者名

学会等名

データソース

[学会発表] Formal verification and program extraction for efficient computations over real numbers and hyperspaces2023

著者名/発表者名

学会等名

ＴＨＩＥＳＨＯＬＧＥＲ THIES HOLGER

THIES HOLGER ティースホルガー