$\beta$-expansionに関連したFine距離とWalsh関数系 (数学解析の計算機上での理論的展開とその遂行可能性)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 竹内 大輔

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

• 赤間 陽二

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

• 赤間 陽二

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

関連論文

• $\beta$-expansionに関連したFine距離とWalsh関数系 (数学解析の計算機上での理論的展開とその遂行可能性)
• 計算可能無理数を基数とする記数法と計算可能実数 (数学解析の理論的展開の計算機による支援・遂行可能性)
• 正規分布の母平均の逐次区間推定に対する2段階法による3次近似式 (推測における統計的情報とそれに関連する話題)
• 正規分布の母平均の逐次区間推定に対する2段階法による3次近似式 (推測における統計的情報とそれに関連する話題--RIMS共同研究報告集)
• 強正規化性とPER Model
• Limiting Partial Combinatory Algebras (Towards new interaction between category theory and proof theory)
• A Study of Abramsky's Linear Chemical Abstract Machine
• 合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)

スポンサーリンク