所属
理工学域理学系 理工学研究科（理学系） 理学専攻 数理情報科学プログラム 講師
職名
講師
アオヤマ キワム
青山 究
AOYAMA Kiwamu
学位
-
理学修士 （ 1986年3月 静岡大学 ）
研究キーワード
-
計算量
-
証明可能性
-
表現可能性
-
数学的帰納法
-
自然数論
研究分野
-
自然科学一般 / 数学基礎
経歴
-
鹿児島大学 理工学域理学系 理工学研究科（理学系） 理学専攻 数理情報科学プログラム 情報数理 講師
2020年4月 - 現在
-
鹿児島大学
1988年4月 - 現在
-
鹿児島大学 理工学域理学系 理工学研究科（理学系） 数理情報科学専攻 情報数理 講師
1988年4月 - 2020年3月
所属学協会
-
日本数学会
1988年4月 - 現在
論文
-
青山究, 福崎賢治 . Equivalence of the induction schema and the least number principle for open formulas . SUT Journal of Mathematics33 ( 2 ) 149 - 162 1997年査読
-
青山究 . A note on definable subsets of N^k . Rep. Fac. Sci., Kagoshima Univ.26 23 - 32 1993年
-
青山究 . Several examples of system of fundamental sequences to show a connection among the built-up systems . Rep. Fac. Sci., Kagoshima Univ.22 1 - 6 1990年
-
角田法也, 青山究 . Some extensions of built-upness on systems of fundamental sequences . Zeit. fur Math. Logik.36 357 - 364 1990年査読
-
角田法也, 青山研究 . A note on Schmidt's built-up systems of fundamental sequences . RIMS. Kyoto Univ. 644 30 - 43 1988年1月査読
-
青山究, 角田法也 . A note on built-upness . Mem. Fac. Sci., Kyushu Univ. Ser. A, Math.42 ( 2 ) 159 - 165 1988年1月査読
-
青山究 . On definability of relations in standard models of fragments of first order arithmetic . Rep. Fac. Sci., Shizuoka Univ.21 1 - 8 1987年1月
-
青山究 . On the definability of binary relations in standard models of first order arithmetics without addition . Proceeding of the symposium on mathematical logic 1 - 5 1985年