名古屋産業大学 · 現代ビジネス学部 · 教授

研究キーワード自動推論・Artifical Intelligence・Automated Reasoning・Recognition of Drawings

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

• An Algorithm for Connected-Component Labeling, Hole Labeling and Euler Number Computing
• Bit-quad-based euler number computing
• A mutual-information-based image registration method for chest-radiograph temporal subtraction
• An efficient method for connected-component labeling in 3D binary images

• 高等教育の普及拡大が規定する東アジア域内の若年高度人材の国際移動に関する実証研究
• Study on Reasoning System for Reconstruction of Solids from Inconsistent Views
• Study on Theorem proving
• 定理証明に関する研究

• 公式プロフィール
• ORCID