Engineering-Research-Activity2016｜SHINSHU UNIV.

58/80

MiyaoLabNowadays,tabletPCsandsmartphonesareusedeverywhereandareequippedwithtouchscreenandpendevices.Inmylaboratory,wehavedevelopedapplicationsoftwarewhichfunctionsbyusingtheseinterfaces.Forexample,intheirapplications,objectshandwrittenwithapendevicecanbesequentiallyrecognized,arranged,andoutputtedbyacomputerautomatically.WecollaboratecloselywithProf.Maruyama’sgroupandDr.Shirai’sgroup,sopleaserefertotheirdescriptionofhislaboratories.Weareplanningtoconstructanenvironmenttoenhancehumancreativitybycomputer.Forexample,whenauserwritesanoteoramusicsymbol,thecomputercreatesitonthescreenwithoutinterruptingtheflowoftheuser’sthoughtsbyusingautomaticsymbolrecognitiontechniques.HidetoshiMiyaoAssociateProfessorHe received the Ph.D. from Shinshu University in 1997. His research interests are pattern recognition and human computer interaction.Handwritten flowchart recognition system and handwritten music score recognition system with a pen device.Information Processing for Pen and Touch InterfacesSimilar image search system by using a touch interface on a smartphone.Aboutthehalfofthealumniandalumnaegoontograduateschools,andtheotherhalfworkinindustriesassoftwaredevelopers,systemengineers,etc,usingtheirexperiencesinmylaboratory.ComputerScience &EngineeringAfter GraduationIn the Future地デジOkazaki LabWeconductresearchincryptology.ThecryptologyisoneoftheessentialinfrastructuresthatsupportstheICTsociety.However,itishardtounderstandthecryptologybecausetheitisbasedonvarioustechnicalfieldssuchastheinformationtheory,thecomputationtheoryandmathematics,etc.Ouraimistoprovethesecurityofthecryptosystemsusingthecomputer-aidedformalverificationsystem.Securityproofsforcryptographicsystemsareveryimportant.Theultimateobjectiveofourstudyistoprovethesecurityofcryptographicsystemsusingcomputer-aidedproofcheckingsystems.Wehopeourstudentswillbeengineerswhocanapplytheoriesandknowledgeaftertheygraduate.Hiroyuki OkazakiAssistant ProfessorHe received his Doctor of Engineering from Kyoto Institute of Technology. His research interests include, cryptology, formal verification Formal Verification of CryptosystemsComputerScience &EngineeringAfter GraduationIn the Future56

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