TAKESHI ODA

J-GLOBAL         Last updated: Jul 9, 2019 at 04:05
 
Avatar
Name
TAKESHI ODA
Affiliation
The University of Electro-Communications
Section
Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Informatics, Cluster I (Informatics and Computer Engineering)"
Job title
Assistant Professor
Research funding number
30260540

Research Areas

 
 

Academic & Professional Experience

 
Oct 1993
 - 
Mar 2007
Research Associate, The University of Electro-Communications
 
Apr 2007
   
 
助教, 電気通信大学
 

Education

 
 
 - 
Mar 1983
普通科, 東京都立富士高等学校
 
 
 - 
Mar 1988
情報工学科, Faculty of Engineering, Tokyo Institute of Technology
 
 
 - 
Mar 1990
Computer Science Course, Graduate School, Division of Science and Engineering, Tokyo Institute of Technology
 
 
 - 
Sep 1993
Computer Science Course, Graduate School, Division of Science and Engineering, Tokyo Institute of Technology
 

Published Papers

 
高信頼細粒度部品再利用による形式手法におけるソフトウェア合成
Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino
情報処理学会論文誌   54(8) 2012-2024   Aug 2013   [Refereed]
Denepndable Software Component Generation with B Method
Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino
情報処理学会論文誌   52(11) 2989-3007   Nov 2011   [Refereed]
Car-Steering Model Based on an Adaptive Neuro-Fuzzy Controller
Mohamed Anis Ben Amor, Takeshi Oda, Shigeyoshi Watanabe
IEEJ Transactions on Electronics   124(C) 2344-2352   2004   [Refereed]
Web-based Educational System:Monitoring and Assisting Learners
Shigeyoshi Watanabe, Toshifumi Nakabayashi, Hiroyuki Satoh, Tianfeng Jiang and Takeshi Oda
Advanced research in Computers and Communications in Education, IOS Press   1 693-700   Nov 1999   [Refereed]
Searching Deadlocked Web Learners by Measuring the Similarity of Learning Activities
Takeshi Oda, Hiroyuki Satoh and Shigeyoshi Watanabe
Workshop in the Fourth International Conference on Intellifent Tutoring Systems      Aug 1998   [Refereed]

Books etc

 
UNIXコンピュータリテラシー
渡辺成良、若月光夫、織田健 (Part:Joint Work)
共立出版、(1997.1初版、2001.4第2版(改訂))   Apr 2001   

Conference Activities & Talks

 
モジュール構造を考慮した形式的細分化実装
岡安 悠、織田 健
第81回情報処理学会全国大会   13 Mar 2019   
リファインメントを考慮した部品再利用による形式的ソフトウェア合成
叶野英俊、織田 健
第81回情報処理学会全国大会   13 Mar 2019   
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成
高橋宏夢、織田健
第17回情報科学技術フォーラム   19 Sep 2018   電子情報通信学会、情報処理学会
モジュール構造を考慮した形式的細粒度部品の提案
横山 仁、織田健
第17回情報科学技術フォーラム   19 Sep 2018   電子情報通信学会、情報処理学会
モジュール構造を考慮した形式的細粒度部品の提案
横山 仁、織田 健
第80回情報処理学会全国大会   14 Mar 2018   

Teaching Experience