金井範夫

カナイノリオ | Kanai Norio

所属機関・部署：
職名：教授

研究分野 (3件)：数学基礎 , 科学教育 , 情報学基礎論

研究キーワード (4件)：超準解析 , 記号論理学,量子計算 , 科学哲学 , 数学教育,数学啓発

競争的資金等の研究課題 (10件)：

全件表示

論文 (33件)：

金井範夫. 集合とタブローの方法. 東京理科大学教養教育研究院紀要. 2023. 1. 164-167
金井範夫. Tableau Method for Boolean Algebra. 東京理科大学紀要(教養篇). 2022. 54. 305-312
金井範夫. Proofs by Transformation and Tableau Method. 東京理科大学紀要(教養篇). 2021. 53. 303-308
金井範夫. Qubit and Many-Valued Logic. 東京理科大学紀要(教養篇). 2020. 52. 371-376
金井範夫. Complex Numbers and Their Own Unitarity. 東京理科大学紀要(教養篇). 2019. 51. 375-379

MISC (5件)：

金井範夫. ゲーデル「一般連続体仮説の無矛盾性」についての注意. いわき紀要(いわき短期大学). 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

書籍 (137件)：

講演・口頭発表等 (30件)：

学位 (2件)：

経歴 (1件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

金井 範夫