* These papers are "flash report".
RIMS Kôkyûroku
No.2293
証明論と計算論の最前線
New frontiers of proof and computation
RIMS 共同研究(公開型)
2023/12/11〜2023/12/14
横山 啓太
Keita Yokoyama
目 次
University of Warsaw Ko{\l}odziejczyk,Leszek Aleksander
CNRS \& Universit$00E9 de Bordeaux / Drake University Bienvenu,Laurent / Porter,Christopher P.
神戸大学大学院システム情報学研究科 / 神戸大学大学院システム情報学研究科 小暮 晏佳 / 倉橋 太志 (Kogure,Haruka / Kurahashi,Taishi)
群馬大学理工学府 / 群馬大学理工学府 / 名古屋大学大学院情報学研究科 女屋 優貴 / 藤田 憲悦 / 中澤 巧爾 (Onaya,Yuki / Fujita,Ken-etsu / Nakazawa,Koji)
静岡大学理学部数学教室 鈴木 信行 (Suzuki,Nobu-Yuki)
INSTITUTE OF DISCRETE MATHEMATICS AND GEOMETRY, TU WIEN Pacheco,Leonardo
Beijing Institute of Mathematical Sciences and Applications / Beijing Institute of Mathematical Sciences and Applications Li,Wenjuan / Tanaka,Kazuyuki
8.
実数の計算可能性 (証明論と計算論の最前線)------------------------------------------------------------------------------------------
明治大学理工学部数学科 宮部 賢志 (Miyabe,Kenshi)
群馬県立女子大学・文学部・文化情報学科 黒田 覚 (Kuroda,Satoru)
名古屋大学 橋本 航気 (Hashimoto,Koki)
新潟大学経営戦略本部評価センター 関 隆宏 (Seki,Takahiro)
東京工業大学情報理工学院 鹿島 亮 (Kashima,Ryo)
沖縄工業高等専門学校 鈴木 悠大 (Suzuki,Yudai)
法政大学 / 群馬大学 倉田 俊彦 / 藤田 憲悦 (Kurata,Toshihiko / Fujita,Ken-etsu)
・沖縄工業高等専門学校 / Beijing Institute of Mathematical Sciences and Applications 吉居 啓輔 / Tanaka Kazuyuki (Yoshii,Keisuke / Tanaka,Kazuyuki)
東北大学理学系研究科数学専攻 / 東北大学理学系研究科数学専攻 五十里 大将 / 横山 啓太 (Ikari,Hiroyuki / Yokoyama,Keita)