赤間 陽二 | 東北大学理学研究科数学専攻

スポンサーリンク

概要

• 赤間 陽二の詳細を見る
• 同名の論文著者
• 東北大学理学研究科数学専攻の論文著者

関連著者

• 赤間 陽二

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

• 赤間 陽二

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

• 竹内 大輔

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

• 飯塚 新司

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

• 三上 清光

  東京大学理学部

• 赤間 陽二

  東京大学理学部

• 中村 公亮

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

• 赤間 陽二

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

• 坂野 雄大

  国際協力機構

著作論文

• $\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
• 合同な四角形による球面タイリングの分類 (アルゴリズムと計算理論の新展開)

スポンサーリンク