Engineering-Research-Activity2015｜SHINSHU UNIV.

58/75

ShidamaLabIn the Yamazaki Laboratory, we study about understand and analizea image by computer.To understand and analizedigital image mathematically, we study mathematical morphology based on set theory, lattice theory, topology and probability theory.Imageprocessingisusedforflawdetectionandrecognitionprocessinginthemanufacturingprocess.Theprecisioninstrumentisverycomplicatedthenhumanbeingstillinspectstheproductinmanyprocess.Asforthehumanbeing,understandingacompleximageisearlierthanacomputer,especiallyitisdifficulttounderstandaimagebyacomputerwhenthesampleimagedoesnotexists.Inmanycase,itisimportantthatcomputerimageprocessingforflawdetectionandcontrolthequalityofaproduct.Weverifyimageprocessingmathematicallyandtomakeacomputerunderstandaimagelikeahumanbeing.Onverificationofmathematicalmorphologyandimageprocessiong,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 intthe Dept. of Computer Science nadEngineerintsince 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 FutureShidamaLabThehumansmakemistakes,soitisimportanttoverifythecorrectnessofmathematicaltheoremswithacomputer.InShidamaLaboratory,studentsworkonformalizationofmathematicsandcomputeraidedverification.Toverifyamathematicaltheoremwithacomputer,wewriteaproofofthetheorembytheformalizationlanguage.Thenwecanverifythecorrectnesswithacomputerlogicallyandmathematically.Thismethodcanbeappliedtotheinspectionofthedevelopmentoftheengineeringsystemanditsmovement.Acomputerprogramisadescriptionwithlogicaloperationsthatmakesoutputdatafrominputdatabyaformallanguage,thuswecanexpresstheoperationsasamathematicalproposition.Itisanincompletemethodforhumanstoinspectresultsusingdataandtoanalyzealloperations,aswemakemistakes.Weshouldverifythemathematicalcorrectnessofacomputerprogramwithacomputer.Thenwecanmakeacomputerprograminwhichnormaloperationsaremathematicallyguaranteed..Weparticipateinaninternationalinvestigationproject,thataimstomakethelibraryofformalizedtheoremsandproofsofallmathematics.Thepurposeistoapplyformalizedmathematicstocomputersoftwaredevelopment.Andwearedevelopingasystemthatcanmakeacomputerprogramthatnormaloperationsaremathematicalyguaranteed.YasunariShidamaProfessorHas been on the faculty intthe Dept. of Computer Science and Engineering since 1990.Are interested in Formalization of Mathematics and Computer Aided Verification.Formalization of Mathematics and Computer Aided VerificationOurgraduatesareworkingascomputerscienceengineersastheyhavelogicalandmathematicalthinkingskills.ComputerScience &EngineeringAfter GraduationIn the FutureVerify the correctnessof a specification sheetTheinteractiveteachingmaterialsoftheissueofproof56

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