Rchr
J-GLOBAL ID：200901073994946060
Update date: Jul. 11, 2010
Nakanishi Yasuo
ナカニシ ヤスオ | Nakanishi Yasuo
Affiliation and department：
Research field (4)：
Applied mathematics and statistics
, Basic mathematics
, Geometry
, Science education
Research keywords (6)：
微分幾何学
, 数学教育
, 論理学
, Differential Geometry
, Mathematical Education
, Logic
Research theme for competitive and other funds (4)：
- 証明の新しい表現法
- 様相論理における真理値について
- new method to express proofs
- On truth values for modal logics
MISC (20)：
-
証明の発見過程の表現法について. 日本数学教育学会高専・大学部会論文誌. 2001. 8. 55-62
-
a Method to Express the Neuristic Processes of Proofs. Transactions of Mathematical Education for College and University. 2001. 8. 55-62
-
形式的体系の集合モデルについて. 東京都立工業高等専門学校研究報告. 2000. 36. 99-104
-
NKに基づいた新しい証明表記法. 日本数学教育学会高専・大学部会論文誌. 2000. 7. 69-78
-
On a model of the formal system by means of sets. Reports of Tokyo Metropolitan College of Technology. 2000. 36. 99-104
ｍore...
Professional career (1)：
Association Membership(s) (1)：
Return to Previous Page
