Combinatorial and computational structures of approximations of spaces

空间近似的组合和计算结构

• 批准号: 15K00015
• 负责人: Tsuiki Hideki
• 金额: $ 3万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00015/
• 关键词: プログラム抽出; 非決定性; 実数計算; 並列計算; 実現可能性解釈; 余帰納法; グレイコード; IFP; CFP; Amb; シェルピンスキー四面体; Coq; Program Extraction; nondeterminism; totality; Fixed Point Logic; Adequacy; Gray code; Lattice Puzzle; コンパクト集合; T^omega; 計算可能解析学; 表現空間; ボトム入り文字列; コンパ

项目成果

Concurrent Gaussian Elimination

并发高斯消去法

• DOI: 10.1142/9789811245220_0009
• 发表时间: 2023
• 作者: Berger Ulrich;Seisenberger Monika;Spreen Dieter;Tsuiki Hideki
• 通讯作者: Tsuiki Hideki

Induction and coindution for computing exact overlaps of fractals

用于计算分形精确重叠的归纳和共归纳

• 发表时间: 2022
• 作者: Hideki Tsuiki

Prawf: An Interactive Proof System for Program Extraction

Prawf：用于程序提取的交互式证明系统

• 发表时间: 2020
• 作者: Ulrich Berger; Olga Petrovska; Hideki Tsuiki
• 通讯作者: Hideki Tsuiki

Partial program extractions in IFP

IFP 中的部分程序提取

• 发表时间: 2019
• 作者: Hideki Tsuiki

On the Complexity of Lattice Puzzles

论格子谜题的复杂性

• 发表时间: 2019
• 作者: Yasuaki Kobayashi; Koki Suetsugu; Hideki Tsuiki; Ryuhei Uehara
• 通讯作者: Ryuhei Uehara