Rchr
J-GLOBAL ID：200901097526613947
Update date: Nov. 13, 2007
Wate Masamichi
ワテ マサミチ | Wate Masamichi
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
了德寺大学 教養教育センター
About 了德寺大学 教養教育センター
Search "了德寺大学 教養教育センター"
Job title：
教授
Homepage URL (1)：
http://www.cssa.chs.nihon-u.ac.jp/~wate
Research field (3)：
Applied mathematics and statistics
, Basic mathematics
, Information theory
Research keywords (4)：
計算可能な集合
, 計算の複雑さ
, Computable set
, Turing complexity
Research theme for competitive and other funds (4)：
1996 - 1999 計算可能集合論
1996 - 1999 Computable set theory
1988 - 1994 CFL≠DCFLの簡単な証明法
1988 - 1994 Simple Proof of CFL≠DCFL
MISC (13)：
Axiom of Power Set in Lre. Proc. Inst., Nat. Sci. NIHON Univ. 1999. 34
Axiom of Power Set in L
re
. Proc. Inst. Nat. Sci. Nihon Univ. 1999. 34
集合論におけるrecursive enumerability. アルゴリズムと計算の理論. 1998
「Recursive enumerability in set theory」. 1998. 1041. 119-126
Axiom of separation of L
re
. Proceeding of the Institute of Natural Sciences Nihon University. 1998. 33. 165-166
ｍore...
Education (4)：
- 1967 Tokyo Metropolitan University Graduate School of Science
- 1967 Tokyo Metropolitan University Graduate School, Division of Natural Science
- 1962 Tokyo Metropolitan University Faculty of Science Department of Mathematics
- 1962 Tokyo Metropolitan University Faculty of Science
Professional career (1)：
Master (Science) (Tokyo Metropolitan University)
Association Membership(s) (1)：
日本数学会
※ 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
