Rchr
J-GLOBAL ID:200901069084443334
Update date: Sep. 12, 2022
Yasumoto Masahiro
Yasumoto Masahiro
Homepage URL (1):
http://www.is.nagoya-u.ac.jp/souran/body.html?p=7
Research keywords (4):
Computational complexity
, Bounded arithmetic
, Nonstandard arithmetic
, Mathematical Logic
MISC (14):
M Yasumoto. Separations of first and second order theories in bounded arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. 2005. 44. 6. 685-688
Gaisi Takeuti, Masahiro Yasumoto. *Forcing on Bounded Arithmetic II. Journal of Symbolic Logic. 1998. 63. 3. 860-868
Gaisi Takeuti, Masahiro Yasumoto. *Forcing on Bounded Arithmetic. Lecture Note in Logic. 1996. 6. 120-139
*Arithmetically independent integers and values of rational funcitons. Manuscripta Mathematica. 1994. 85. 1-10
*Nonstandard Arithmetic and Hilbert Subsets. Annals of Pure and Applied Logic. 1991. 52. 195-202
more...
Education (1):
- 1981 Nagoya University Graduate School, Division of Natural Science Department of Mathematics
Professional career (1):
理学博士 (名古屋大学)
Work history (10):
1999/10/01 - 現在 Nagoya University Graduate School of Information Science Department of Computer Science and Mathematical Informatics Professor
2003/04/01 - Prof. of The Information Science at Nagoya Univ.
1999/10/01 - 2003/03/31 Prof. of Human Informatics at Nagoya Univ.
1994/04/01 - 1999/09/30 Assoc. Prof. of Graduated School of Matimatics at Nagoya Univ.
1993/10/01 - 1994/03/31 Nagoya University School of Science
1991/01/01 - 1993/09/30 名古屋大学教養部助教授
1987/07/01 - 1990/12/31 名古屋大学教養部講師
1981/04/01 - 1987/06/30 Nagoya University School of Science
1984/08/01 - 1985/05/31 Visiting Associate Professor of University of Illinois at Urbana-Champaign
Nagoya University Graduate School of Information Science Department of Computer Science and Mathematical Informatics Professor
Show all
Association Membership(s) (2):
Association for Symbolic Logic
, Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM