Curriculum Vitae

Nagashima Takashi
Emeritus Professor, 1998,  Hitotsubashi University.

Research area:

Mathematical logic (especially proof theory and computability theory) and its applications to game theory.

Degrees:

• BS (mathematical logic), March 1960, Tokyo University of Education.
• MS (mathematical logic), March 1962, Tokyo University of Education.

Experience:

• Tokyo University of Education. Assistant in mathematical logic, April 1963--March 1966.
• Hitotsubashi University. Part-time Instructor in mathematics, April 1965--1966; Instructor in mathematics, 1967--April 1969; Associate Professor, May 1970--November 1978; Professor, December 1978--March 1998.
• Chuo University. Part-time Instructor in mathematics, October 1967--March 1972, April 1973--March 1977.
• Tokyo Woman's Christian University. Part-time Instructor in mathematics, April 1997--March 2005.
• Hitotsubashi University, Graduate School. Part-time Instructor, April 1998--March 1999, April 2000--March 2001.

Memberships:

• Mathematical Society of Japan;
  Member of editorial board of  "Sûgaku", 1984--1986. Member of comittee, 1992--1994.
• Japan Association for Philosophy of Sciences.
• Information Processing Society of Japan until November 1999.
• Japan Society for Software Science and Technology until March 2001.

Personal information:

• Born 1935 in Kanda Misakicho, Tokyo, Japan.
• Married March, 1967. No children.

Scholarly publications (in English):

• An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, 3 (1966), pp.12--18.
• A remark on a comprehension axiom without negation. Proceedings of the Japan Academy, 42 (1966), pp.425--426.
• On elementary functions of natural numbers. Hitotsubashi Journal of Arts and Sciences, 9 (1968), pp.50--58.
• A model of the comprehension axiom without negation. Hitotsubashi Journal of Arts and Sciences, 11 (1970), pp.50--52.
• An intermediate predicate logic. Hitotsubashi Journal of Arts and Sciences, 14 (1973), pp.53--58.
• On a certain class of recursive functions. Hitotsubashi Journal of Arts and Sciences, 16 (1975), pp.72--81.
• A theorem on an intermediate predicate logic. Hitotsubashi Journal of Arts and Sciences, 17 (1977), pp.73--76.
• A formal deductive system for CFG. Hitotsubashi Journal of Arts and Sciences, 28 (1987), pp.39--43.
• [M. Kaneko and T. Nagashima] Final decisions, the Nash equilibrium and solvability in games with common knowledge of logical abilities. Mathematical Social Sciences, 22 (1991), pp.229--255.
• A proof of Skolem's theorem. Hitotsubashi Journal of Arts and Sciences, 32 (1991), pp.71--77.
• Revised proof of Skolem's theorem. Hitotsubashi Journal of Arts and Sciences, 34 (1993), pp.75--82.
• Axiomatic indefinability of common knowledge in finitary logics, with M. Kaneko. In Epistemic logic and the theory of games and decisions (M. Bacharach, L. A. Gerard-Varet, P. Mongin, H. Shin, editors), Center for operations research and econometrics (CORE), 1997, pp.69--93.
• [M. Kaneko and T. Nagashima] Game logic and its applications I. Studia Logica, 57 (1996), pp.325--354.
• [M. Kaneko and T. Nagashima] Game logic and its applications II. Studia Logica, 58 (1997), pp.273--303.
• [M. Kaneko, T. Nagashima, N.-Y. Suzuki and Y. Tanaka] A Map of Common Knowledge Logics. Studia Logica, 71 (2002), pp.57--86.

Scholarly publications (in Japanese):

See Japanese page.