小神野 和貴 | GPS Division, DX Antenna Co., Ltd.
スポンサーリンク
概要
論文 | ランダム
- 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)
- 数学基礎論の伝統と新しい手法 : 逆数学