工学部 研究紹介_2018_英語版

5/84

Takuya Kawahara(Engineering Core)Research of the Earth upper atmosphere near SpaceVLSI technologies for the Innovation of New ApplicationsInteraction Design and Field InformaticsKazuki KobayashiMathematical Image UnderstandingHiroshi YamazakiMasaaki Niimura★ VERIFICATION FIRST! ★ Foundations of Computer ScienceKatsumi WasakiNon-volatile Memory Based on Spin of ElectronXiaoxi LiuImage Processing for More Clear Image CreationMakoto Abe(Biomedical Engineering)Keiichiro ShiraiFormal Verification of CryptosystemsYasunori　SaitoImproving Image Understanding Performance by Learning fromExamplesMinoru Maruyama37383934363935383332303233Fusion of Engineering and Medicine: Biomedical Engineering forHealthy LifeInformation Processing for Pen and Touch InterfacesModel-Driven Engineering for Enhancing Software UsabilityOptical, Image, and IT Sensing Technologies Creating a Safe andReliable EnvironmentCreate the Infrastructure of Network ServiceHiroyuki OkazakiShinpei OgataKoh Johguchi3440Takeo Umezaki31Study on Secure and Efficient SearchesTetsuji Haeiwa(Engineering Core)Formalization of Mathematics and Computer Aided VerificationDevelopment of the Measuring Device Using Light for the NaturalInformationTakayuki TomidaManaging the Uncertainty of the FutureHiroshi FujiwaraFrom Soil Mechanics to Ground Environments :Disaster prevention and environmental conservation37Hiroaki Yamamoto31Yasunari ShidamaDevelopment of the User Friendly Computer InterfaceCreations and Applications of Nanosize Magnetic Materials for theSpintronics DevicesMasami Hashimoto29How can we efficiently develop reliable software?30Kozo Okano3536Hidetoshi MiyaoContentsWater Environment & CivilEngineeringTakuya Kawahara(Engineering Core)Research of the Earth upper atmosphere near SpaceVLSI technologies for the Innovation of New ApplicationsInteraction Design and FieldihsayaboKikuzaKscitamrofnIikazamaYihsoriHgnidnatsrednUegamIlacitamehtaMMasaaki Niimura★ VERIFICATION FIRST! ★ Foundations of Computer ScienceKatsumi WasakiNon-volatile Memory Based on Spin of ElectronXiaoxi LiuImage Processing for More Clear Image CreationMakoto Abe(Biomedical Engineering)Keiichiro ShiraiFormal Verication of CryptosystemsYasunori　SaitoImproving Image Understanding Performance by Learning fromExamplesMinoru Maruyama37383934363935383332303233Fusion of Engineering and Medicine: Biomedical Engineering forHealthy LifeInformation Processing for Pen and Touch InterfacesModel-Driven Engineering for Enhancing Software UsabilityOptical, Image, and IT Sensing Technologies Creating a Safe andReliable EnvironmentCreate the Infrastructure of Network ServiceHiroyuki OkazakiShinpei OgataKoh Johguchi3440Takeo Umezaki31Study on Secure and Ecient SearchesTetsuji Haeiwa(Engineering Core)Formalization of Mathematics and Computer Aided VericationDevelopment of the Measuring Device Using Light for the NaturalInformationTakayuki TomidaarawijuFihsoriHerutuFehtfoytniatrecnUehtgniganaMFrom Soil Mechanics to Ground Environments :Disaster prevention and environmental conservation37Hiroaki Yamamoto31Yasunari ShidamaDevelopment of the User Friendly Computer InterfaceCreations and Applications of Nanosize Magnetic Materials for theSpintronics DevicesMasami Hashimoto29How can we eciently develop reliable software?30Kozo Okano3536Hidetoshi MiyaoContentsater Environment & CivilEngineering3