研究者
J-GLOBAL ID:200901097526613947
更新日: 2007年11月13日
和手 正道
ワテ マサミチ | Wate Masamichi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
了德寺大学 教養教育センター
了德寺大学 教養教育センター について
「了德寺大学 教養教育センター」ですべてを検索
職名:
教授
ホームページURL (1件):
http://www.cssa.chs.nihon-u.ac.jp/~wate
研究分野 (3件):
応用数学、統計数学
, 数学基礎
, 情報学基礎論
研究キーワード (4件):
計算可能な集合
, 計算の複雑さ
, Computable set
, Turing complexity
競争的資金等の研究課題 (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
もっと見る
学歴 (4件):
- 1967 東京都立大学 理学研究科 数学基礎論
- 1967 東京都立大学
- 1962 東京都立大学 理学部 数学科
- 1962 東京都立大学
学位 (1件):
理学修士 (東京都立大学)
所属学会 (1件):
日本数学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM