大和大学 · 情報学部 · 教授

研究キーワード物体検出・環論・直観主義数学・直観主義論理・情報学・計算機科学・Calculus・(dental)・Algebra

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Abstract WP266: Prediction of Stroke Incidence Using Machine Learning: The Suita Study
• Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology
• Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part I
• On humanization of mathematics: aesthetic mathematics

• Mizarの記号辞書...
• A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM, https://github.com/Takao-Inoue/A-self-made-tutorial-for-GitHub-Flavored-Markdown-GFM
• 日本・オランダ政府交換留学生

• 公式プロフィール
• ORCID