Yamato University · Faculty of Informatics · 教授

Research keywords物体検出・環論・直観主義数学・直観主義論理・情報学・計算機科学・Calculus・(dental)・Algebra

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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
• 日本・オランダ政府交換留学生

• Official profile
• ORCID