■工学部_研究紹介_2017_英語版ファイル161220
5/80

Creations and Applications of Nanosize Magnetic Materials for theSpintronics DevicesYasunari ShidamaDevelopment of the User Friendly Computer InterfaceMasami Hashimoto28How can we eciently develop reliable software?29Kozo Okano34awazIijuYAGPFnometsySelbarugifnoceR35Hidetoshi Miyao36Hiroaki Yamamoto30Tetsuji Haeiwa(Mathematics Physics)Formalization of Mathematics and Computer Aided Verication31Development of the Measuring Device Using Light for the NaturalInformationTakayuki TomidaarawijuFihsoriHerutuFehtfoytniatrecnUehtgniganaMKoh Johguchi33Developing professional communication skills in engineeringstudentsFusion of Engineering and Medicine: Biomedical Engineering forHealthy LifeHiroyuki Okazaki36Information Processing for Pen and Touch Interfaces37Model-Driven Engineering for Enhancing Software UsabilityCreating Support Environment for Better Education and Learning3938Hisayoshi Kunimune38Shinpei Ogata★ VERIFICATION FIRST! ★ Foundations of Computer ScienceKatsumi WasakiNon-volatile Memory Based on Spin of ElectronXiaoxi LiuImage Processing for More Clear Image CreationMakoto AbeKeiichiro ShiraiFormal Verication of CryptosystemsTakuya Kawahara(Mathematics Physics)Research of the Earth upper atmosphere near SpaceVLSI technologies for the Innovation of New ApplicationsihsayaboKikuzaKstegdaG-irgAtramSdnangiseDnoitcaretnIikazamaYihsoriHgnidnatsrednUegamIlacitamehtaM40353933343732Create the Infrastructure of NarumiiNikaasaMecivreSkrowte3230Study on Secure and Ecient SearchesPauline NaomiKawamoto(ForeignLanguage Education)Optical, Image, and IT Sensing Technologies Creating a Safe andReliable EnvironmentYasunori Saito29Improving Image Understanding Performance by Learning fromExamplesMinoru Maruyama313

元のページ 

page 5

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