Rchr
J-GLOBAL ID：200901004541968222   Update date: Mar. 30, 2023

Kanai Norio

カナイ ノリオ | Kanai Norio
Affiliation and department：
Suwa University of Science Tokyo University of Science, Suwa, Center of General Education

About Suwa University of Science Tokyo University of Science, Suwa, Center of General Education


Job title： Professor
Research field  (3)： Basic mathematics ,  Science education ,  Information theory
Research keywords  (4)： Nonstandard Analysis ,  Symbolic Logic,Quantum Computation ,  Philosphy of Science ,  Mathematics Education, Mathematics Enlightenment
Research theme for competitive and other funds  (10)：
  • 2011 - 2022 数学啓発の研究
  • 2011 - 2022 Research on Mathematics Enlightenment
  • 2007 - 2022 数学教育の研究
  • 2007 - 2022 Research on Mathematics Education
  • 1994 - 2022 対称性の研究
Show all
Papers (33)：
  • Norio Kanai. Sets and Tableau Method. 2023. 1. 164-167
  • Norio KANAI. Tableau Method for Boolean Algebra. 2022. 54. 305-312
  • Norio KANAI. Proofs by Transformation and Tableau Method. 2021. 53. 303-308
  • Norio KANAI. Qubit and Many-Valued Logic. 2020. 52. 371-376
  • Norio KANAI. Complex Numbers and Their Own Unitarity. 2019. 51. 375-379
ｍore...
MISC (5)：
  • Kanai Norio. Remarks on Godel's ""Consistency of Generalized Continuum Hypothesis"". Memoirs of Iwaki Junior College. 1989. 14. 32-46
  • Norio Kanai. The Characterization of the Aristotelian Syllogistic by the Countable Models. Proceedings of VIII International Congress of Logic, Methodology and Philosophy of Science. 1987. VIII-1. 260-262
  • 金井範夫. アリストテレス式三段論法の完全性 --- 公理的拒否の方法の応用 ---. (株)富士通研究助成金研究報告書 自然言語処理のための言語学に関する研究II. 1986. 75-85
  • 金井範夫. 三段論法のゲンツェン式定式化とその周辺. (株)富士通研究助成金報告書 自然言語処理のための言語学に関する研究. 1984. 216-238
  • 金井範夫. 強い否定を含む構成的述語論理における消去定理. 文部省科学研究費(課題番号57115012)報告書 特定研究言語の標準化 石本班資料(III) 標準的日本語表現における論理構造解析. 1984. 94-105
Books (137)：
  • 諏訪東京理科大学 金井範夫先生の 腹立っつ~数学! (134) カーテン
    岡谷市民新聞社 2015
  • 諏訪東京理科大学 金井範夫先生の 腹立っつ~数学! (133) 小平邦彦先生・生誕100年
    岡谷市民新聞社 2015
  • 諏訪東京理科大学 金井範夫先生の 腹立っつ~数学! (132) 1光年
    岡谷市民新聞社 2014
  • 諏訪東京理科大学 金井範夫先生の 腹立っつ~数学! (131) 光の速さ
    岡谷市民新聞社 2014
  • 諏訪東京理科大学 金井範夫先生の 腹立っつ~数学! (130) 地球1周の長さ
    岡谷市民新聞社 2014
ｍore...
Lectures and oral presentations  (30)：
  • The Construction of Mental Models
    (2022)
  • 推定と測定
    (日本論理哲学会 2019)
  • 矛盾は矛盾か?
    (日本論理哲学会 2018)
  • Infinitesimals and Truth Values
    (日本論理哲学会 2017)
  • 不確実が生む確実
    (日本論理哲学会 2016)
ｍore...
Professional career (2)：
  • Doctor of Science (Tokyo University of Science)
  • Master of Science (Tokyo University of Science)
Work history (1)：
  • 2018 - 現在 Suwa University of Science
※ 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