深山徹

ミヤマトオル | Miyama Tooru

所属機関・部署：
職名：教授

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 哲学、倫理学

研究キーワード (4件)：論理学 , 数学基礎論 , logic , foundation of mathematics

競争的資金等の研究課題 (4件)：

MISC (28件)：

Cut-Elimination の方法(9). 大阪府立工業高等専門学校紀要. 1995. 29. 83-93
深山徹, Miyama Toru. Cut Eliminationの方法-9-. 大阪府立工業高等専門学校研究紀要. 1995. 29. 29. 83-93
Cut-Elimination の方法(8). 大阪府立工業高等専門学校紀要. 1994. 28. 103-114
深山徹, Miyama Toru. Cut Eliminationの方法-8-. 大阪府立工業高等専門学校研究紀要. 1994. 28. 28. 103-114
Cut-Eliminationの方法(7). 大阪府立工業高等専門学校紀要. 1993. 27,119-128

Works (2件)：

学歴 (3件)：

学位 (1件)：

所属学会 (1件)：

日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

深山 徹