研究者
J-GLOBAL ID:201101088075113995   更新日: 2021年02月11日

永島 孝

ナガシマ タカシ | Nagashima Takashi
所属機関・部署:
ホームページURL (2件): https://nrid.nii.ac.jp/nrid/1000000017526/http://www2s.biglobe.ne.jp/~hotori/
研究分野 (2件): 応用数学、統計数学 ,  数学基礎
研究キーワード (24件): カット除去定理 ,  Craig's interpolation theorem ,  Craigの補間定理 ,  再帰理論 ,  recursion theory ,  applications of logic ,  論理学の応用 ,  計算可能性 ,  computability ,  classical logic ,  古典論理 ,  記号論理学 ,  symbolic logic ,  nonclassical logic ,  非古典論理 ,  proof theory ,  証明論 ,  foundations of mathematics ,  数学基礎論 ,  mathematical logic ,  数理論理学 ,  mathematics ,  数学 ,  subformula property
論文 (17件):
MISC (17件):
もっと見る
書籍 (1件):
  • 映像で語るわたしたちの日本国憲法
    イメージユニオン (発売) 2004 ISBN:4990218000
講演・口頭発表等 (1件):
  • Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL
    (数理解析研究所講究録 1997)
学位 (1件):
  • 理学修士 (東京教育大学)
経歴 (5件):
  • 1997/04 - 1998/03 一橋大学 経済学研究科 大学院・教授
  • 1978/12 - 1997/03 一橋大学 経済学部 教授
  • 1970/05 - 1978/11 一橋大学 経済学部 助教授
  • 1967/04 - 1970/04 一橋大学 経済学部 専任講師
  • 1963/04 - 1967/03 東京教育大学 理学部 助手
所属学会 (2件):
科学基礎論学会 ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る