計算可能無理数を基数とする記数法と計算可能実数 (数学解析の理論的展開の計算機による支援・遂行可能性)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 飯塚 新司

  東北大学理学研究科数学専攻

• 赤間 陽二

  東北大学理学研究科数学専攻

• 赤間 陽二

  東京大学大学院理学系研究科情報科学専攻

関連論文

• $\beta$-expansionに関連したFine距離とWalsh関数系 (数学解析の計算機上での理論的展開とその遂行可能性)
• 計算可能無理数を基数とする記数法と計算可能実数 (数学解析の理論的展開の計算機による支援・遂行可能性)
• 強正規化性とPER Model
• Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)
• A Study of Abramsky's Linear Chemical Abstract Machine
• 合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)

スポンサーリンク