Nagashima Takashi

ナガシマタカシ | Nagashima Takashi

Affiliation and department：
Homepage URL (1)： https://nrid.nii.ac.jp/nrid/1000000017526/

Research field (2)： Applied mathematics and statistics , Basic mathematics

Research keywords (24)： Craig's interpolation theorem , Craigの補間定理 , subformula property , cut elimination theorem , applications of logic , 論理学の応用 , classical logic , 古典論理 , 計算可能性 , computability , 再帰理論 , recursion theory , 記号論理学 , symbolic logic , nonclassical logic , 非古典論理 , proof theory , 証明論 , foundations of mathematics , 数学基礎論 , mathematical logic , 数理論理学 , mathematics , 数学

Research theme for competitive and other funds (19)：

1997 - 1998 Research on the Navier-Stokes equations by interpolation spaces and perturbation theory.
1997 - 1998 Vertex operator algebras with group action
1996 - 1996 無限記号列の変換理論研究
1995 - 1995 フラクタルと数の同時近似について
1995 - 1995 多値論理におけるクローン束の構造の解明

Show all

Papers (17)：

Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki, Yoshihito Tanaka. A map of common knowledge logics. Studia Logica. 2002. 71. 1. 57-86
Takashi Nagashima. Arithmetization of another formulation of a subsystem of Kaneko-Nagashima's GL. 数理解析研究所講究録. 1997. 1021. 156-162
Mamoru Kaneko, Takashi Nagashima. Game Logic and its Applications II. Studia Logica. 1997. 58. 2. 273-303
Mamoru Kaneko, Takashi Nagashima. Axiomatic Indefinability of Common Knowledge in Finitary Logics. Theory and Decision Library C. 1997. 20. 69-93
Mamoru Kaneko, Takashi Nagashima. Game logic and its applications I. Studia Logica. 1996. 57. 2/3. 325-354

ｍore...

MISC (17)：

Nagashima Takashi. Logic Systems for Game Theoretical Investigations. Hitotsubashi University research series. Science. 1999. 32. 3-30
Nagashima Takashi. Mathematics as Traditional Culture in Japan. The Hitotsubashi review. 1998. 119. 4. 494-501
Nagashima Takashi. A Brief Introduction to Mathematical Logic. The Hitotsubashi review. 1994. 111. 4. 769-787
Takashi Nagashima. A Proof of Skolem's Theorem. Hitotsubashi Journal of Arts and Sciences. 1991. 32. 71-77
Nagashima Takashi. Interpolation Theorems. The Hitotsubashi review. 1988. 100. 3. 353-366

ｍore...

Books (2)：

いちばんやさしいアルゴリズムの本
技術評論社 2013 ISBN:9784774160139
岩波数学辞典第2版
岩波書店 1968

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