日本語
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  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  項書き換え系を用いた文字列による検索のための形式仕様の正規化と暗黙の条件の抽出  第21回情報科学技術フォーラム  1  No  檜垣 廉, 織田 健  2022/09/14 
Oral presentation for an academic conference  抽象データ型に対応した不足部品の自動生成手法  第21回情報科学技術フォーラム  1  No  大久保稜, 織田 健  2022/09/14 
Oral presentation for an academic conference  モジュール構造と段階的詳細化に対処した形式的ソフトウェア合成手法  第21回情報科学技術フォーラム  1  No  松田 蓮, 織田 健  2022/09/14 
Oral presentation for an academic conference  文字列一致による等価性判定のための形式仕様の正規化  第84回情報処理学会全国大会  1  No  檜垣 廉、織田 健  2022/03/04 
Oral presentation for an academic conference  モジュール構造と段階的詳細化を考慮した形式的ソフトウェア合成手法  第84回情報処理学会全国大会  1  No  松田 蓮、織田 健  2022/03/04 
View details...