工学部_研究紹介_2019_英語版

42/84

YamazakiLabIn the Yamazaki Laboratory, we study about understand and analyze a image by computer.To understand and analyze digital image mathematically, we study mathematical morphology based on set theory, lattice theory, topology and probability theory.Imageprocessingisusedforflawdetectionandrecognitionprocessinginthemanufacturingprocess.Theprecisioninstrumentisverycomplicatedthenhumanbeingstillinspectstheproductinmanyprocess.Asforthehumanbeing,understandingacompleximageisearlierthanacomputer,especiallyitisdifficulttounderstandaimagebyacomputerwhenthesampleimagedoesnotexists.Inmanycase,itisimportantthatcomputerimageprocessingforflawdetectionandcontrolthequalityofaproduct.Weverifyimageprocessingmathematicallyandtomakeacomputerunderstandaimagelikeahumanbeing.Onverificationofmathematicalmorphologyandimageprocessing,weparticipateinaninternationalinvestigationproject,thataimistomakelibraryofformalizedtheoremsandtheproofofallmathematics.Andwesystematizingthisknowledgeonmathematics.The image processing is a technique to be required in many fields and very important.Hiroshi YamazakiResearch AssociateHas been on the faculty in the Dept. of Computer Science and Engineering since 1997.Are interested in Formalization of Mathematics, Computer Aided Verification and Mathematical Image Understanding.Mathematical Image UnderstandingAcomputerscienceengineertheyhavelogicalandmathematicalthinkingskills.Theycansolveanyproblemandcreatenewthings.After GraduationIn the FutureElectrical& Computer EngineeringHow many triangles is there?40