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

5/84

Takashi KawamuraMasami HashimotoHidetoshi MiyaoTakuya HayashiHow Can We Efficiently Develop Reliable Software?Kozo Okano35Creations and Applications of Nanosize Magnetic Materials for theSpintronics Devices36Development of the User Friendly Computer Interface34333233Dating & Visualization of Ground Water － using chemical tracers －373243Analysis of Structural Mechanics and Investigation of DisasterMitigationToshiyuki Ohkami42New-generation Energy Devices from Nano-carbonsKoh Johguchi34414241Takeo UmezakiShinji Nakaya44Tetsuji Haeiwa(Engineering Core)Development 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 conservationHiroyuki OkazakiShinpei OgataFrom Construction of a Gigantic Earth: structure to deepsubterranean development43Create the Infrastructure of Network Service3639Information Processing for Pen and Touch InterfacesModel-Driven Engineering for Enhancing Software Usability383839353740★ 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 CryptosystemsAssist Policy-making and Practices in Integrated Water ResourcesManagementSeparation Technology using Polymer MembranesRyotaro KiyonoTakuya 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 NiimuraFusion of Engineering and Medicine: Biomedical Engineering forHealthy LifeJunichi YoshitaniContentsWater Environment & CivilEngineering3Takashi KawamuraMasami HashimotoHidetoshi MiyaoTakuya HayashiHow Can We Eciently Develop Reliable Software?Kozo Okano35Creations and Applications of Nanosize Magnetic Materials for theSpintronics Devices36Development of the User Friendly Computer Interface34333233Dating & Visualization of Ground Water － using chemical tracers －373243Analysis of Structural Mechanics and Investigation of DisasterMitigationToshiyuki Ohkami42New-generation Energy Devices from Nano-carbonsKoh Johguchi34414241Takeo UmezakiShinji Nakaya44Tetsuji Haeiwa(Engineering Core)Development of the Measuring Device Using Light for the NaturalInformationTakayuki TomidaarawijuF ihsoriHerutuF eht fo ytniatrecnU eht gniganaMFrom Soil Mechanics to Ground Environments :Disaster prevention and environmental conservationHiroyuki OkazakiShinpei OgataFrom Construction of a Gigantic Earth: structure to deepsubterranean development43Create the Infrastructure of Network Service3639Information Processing for Pen and Touch InterfacesModel-Driven Engineering for Enhancing Software Usability383839353740★ 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 CryptosystemsAssist Policy-making and Practices in Integrated Water ResourcesManagementSeparation Technology using Polymer MembranesRyotaro KiyonoTakuya Kawahara(Engineering Core)Research of the Earth upper atmosphere near SpaceVLSI technologies for the Innovation of New ApplicationsInteraction Design and FieldihsayaboK ikuzaKscitamrofnI ikazamaY ihsoriHgnidnatsrednU egamI lacitamehtaMMasaaki NiimuraFusion of Engineering and Medicine: Biomedical Engineering forHealthy LifeJunichi Yoshitani3