Engineering-Research-Activity2016｜SHINSHU UNIV.

61/80

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 UnderstandingHow many triangles is there?Acomputerscienceengineertheyhavelogicalandmathematicalthinkingskills.Theycansolveanyproblemandcreatenewthings.ComputerScience &EngineeringAfter GraduationIn the FutureHow many triangles is there?59

※このページを正しく表示するにはFlashPlayer10.2以上が必要です