Rchr
J-GLOBAL ID:201101088075113995   Update date: May. 20, 2021

Nagashima Takashi

ナガシマ タカシ | Nagashima Takashi
Affiliation and department:
Homepage URL  (2): https://nrid.nii.ac.jp/nrid/1000000017526/http://www2s.biglobe.ne.jp/~hotori/
Research field  (2): Applied mathematics and statistics ,  Basic mathematics
Research keywords  (24): cut elimination theorem ,  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
Papers (17):
MISC (17):
more...
Books (1):
  • 映像で語るわたしたちの日本国憲法
    イメージユニオン (発売) 2004 ISBN:4990218000
Lectures and oral presentations  (1):
  • Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL
    (数理解析研究所講究録 1997)
Professional career (1):
  • Master of Science (Tokyo Kyoiku Univ.)
Work history (5):
  • 1997/04 - 1998/03 Hitotsubashi University Graduate School of Economics
  • 1978/12 - 1997/03 Hitotsubashi University Faculty of Economics
  • 1970/05 - 1978/11 Hitotsubashi University Faculty of Economics
  • 1967/04 - 1970/04 Hitotsubashi University Faculty of Economics
  • 1963/04 - 1967/03 東京教育大学 理学部 助手
Association Membership(s) (2):
科学基礎論学会 ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page