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
more...
Professional career (1):
  • (BLANK)
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