2021/02/03 更新

写真a

アオヤマ キワム
青山 究
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年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

▼全件表示