垣内 弘章 | 大阪大学 精密科学専攻 安武研究室
スポンサーリンク
概要
論文 | ランダム
- 127総トン型母船式鮭鱒流網・鮪延縄漁船"第105大勢丸"
- 心筋梗塞を伴った冠動静脈瘻の1例
- On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
- Infinite games and set existence axioms (Proof Theory and Computation Theory)
- 数学基礎論の伝統と新しい手法 : 逆数学