横山 啓太 | 東北大学理学研究科

スポンサーリンク

概要

• 横山 啓太の詳細を見る
• 同名の論文著者
• 東北大学理学研究科の論文著者

関連著者

• 横山 啓太

  東北大学理学研究科

• 横山 啓太

  東北大学大学院理学研究科

• 吉川 紘史

  東京工業大学情報理工学研究科数理計算科学専攻

著作論文

• Rice の定理のアナロジーについて (形式体系と計算理論)
• Nonstandard arguments and recursive arguments (Formal Systems and Computality Theory)
• 2階算術における関数空間の扱いと超準解析的手法(算術体系の証明論)
• $\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)
• Differential Calculus in Second Order Arithmetic (短期共同研究 照明論と計算論)

スポンサーリンク