研究者
J-GLOBAL ID：201101088075113995   更新日: 2024年11月28日

永島 孝

ナガシマ タカシ | Nagashima Takashi
所属機関・部署：
一橋大学

一橋大学 について


ホームページURL (1件)： https://nrid.nii.ac.jp/nrid/1000000017526/
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (24件)： Craig's interpolation theorem ,  Craigの補間定理 ,  subformula property ,  カット除去定理 ,  applications of logic ,  論理学の応用 ,  classical logic ,  古典論理 ,  計算可能性 ,  computability ,  再帰理論 ,  recursion theory ,  記号論理学 ,  symbolic logic ,  nonclassical logic ,  非古典論理 ,  proof theory ,  証明論 ,  foundations of mathematics ,  数学基礎論 ,  mathematical logic ,  数理論理学 ,  mathematics ,  数学
競争的資金等の研究課題 (19件)：
  • 1997 - 1998 補間空間と摂動論を用いるNavier-Stokes方程式の研究
  • 1997 - 1998 群の作用する頂点作用素代数の研究
  • 1996 - 1996 無限記号列の変換理論研究
  • 1995 - 1995 フラクタルと数の同時近似について
  • 1995 - 1995 多値論理におけるクローン束の構造の解明
全件表示
論文 (17件)：
もっと見る
MISC (17件)：
もっと見る
書籍 (2件)：
  • いちばんやさしいアルゴリズムの本
    技術評論社 2013 ISBN:9784774160139
  • 岩波数学辞典 第2版
    岩波書店 1968
講演・口頭発表等 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM