Nagoya　Sangyo　University · Faculty of Contemporary Business · 教授

Research keywords自動推論・Artifical Intelligence・Automated Reasoning・Recognition of Drawings

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

• 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
• 定理証明に関する研究

• Official profile
• ORCID