徳尾健司トクオケンジ

Researcher Number	20455182
Other IDs	https://orcid.org/0000-0001-8878-9824
Affiliation (Current)	2026: 大分工業高等専門学校, 情報工学科, 教授
Affiliation (based on the past Project Information) *help	2024: 大分工業高等専門学校, 情報工学科, 教授
Review Section/Research Field	Principal Investigator Basic Section 01010:Philosophy and ethics-related
Keywords	Principal Investigator 含意演算 / オーソモジュラ―束 / 決定可能性 / 完全性 / 健全性 / 様相論理 / 量子論理

徳尾 健司 トクオ ケンジ