日本語
The University of Electro-Communications 
Graduate School of Informatics and Engineering, School of Informatics and Engineering 
Department of Informatics, Cluster I (Informatics and Computer Engineering) 

Assistant Professor 
TAKESHI ODA 

Year of birth:1964  
Tel.042-443-5251  
 

Career
The University of Electro-Communications  Research Associate  1993/10-2007/03/31 
電気通信大学  助教  2007/04/01-Present 

Academic background
東京都立富士高等学校  普通科  1983/03/31  Graduated 
Tokyo Institute of Technology  Faculty of Engineering  情報工学科  1988/03  Graduated 
Tokyo Institute of Technology  Graduate School, Division of Science and Engineering  Computer Science Course  Master's program  1990/03  Completed 
Tokyo Institute of Technology  Graduate School, Division of Science and Engineering  Computer Science Course  Doctoral program  1993/09  Completed 

Academic degrees
工学修士  Tokyo Institute of Technology  1990/03 
博士(工学)  Tokyo Institute of Technology  1993/09 

Current research areas
Software 

Current research subjects
Automatic Code Synthesis based on Reuse of Formalized Modules  Formal method, Slicing, Software parts, Software ripository  2008-Present 
Validity Verification Method on Formal Specifications  Formal method Specfication language Validation  2003-Present 

Published books
Book  UNIXコンピュータリテラシー  渡辺成良、若月光夫、織田健  共立出版、(1997.1初版、2001.4第2版(改訂))  2001/04 
View details...

Published papers
Paper  Yes  高信頼細粒度部品再利用による形式手法におけるソフトウェア合成  Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino  情報処理学会論文誌  54/ 8, 2012-2024  2013/08 
Paper  Yes  Denepndable Software Component Generation with B Method  Takehiro Nakamura, Takeshi Oda, Tetsuro Nishino  情報処理学会論文誌  52/ 11, 2989-3007  2011/11 
Paper  Yes  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 
Paper  Yes  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  1999/11 
Paper  Yes  出力指向の段階的詳細化による設計法  織田健、片山卓也  情報処理学会論文誌  34/ 11, 2251-2264  1993/11 
View details...

Research presentations
Oral presentation for an academic conference  状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出  第79回情報処理学会全国大会  1  No  岡野純平、織田 健  2017/03/17 
Oral presentation for an academic conference  形式仕様に基づくソフトウェア部品の結合手法  第79回情報処理学会全国大会  1  No  高橋宏夢、織田 健  2017/03/17 
Oral presentation for an academic conference  モジュール構造に対応したソフトウェア合成手法  第79回情報処理学会全国大会  1  No  横山 仁、織田 健  2017/03/17 
Oral presentation for an academic conference  B-Method におけるリファインメントの集約化手法  第15回情報科学技術フォーラム  1  No  福泉真隆、織田健  2016/09/07 
Oral presentation for an academic conference  形式的ソフトウェア合成手法 MSSS の妥当性評価実験  第78回情報処理学会全国大会講演論文集  1  No  岡野純平、織田健  2016/03/10 
View details...