English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報学専攻、Ⅰ類 (情報系) 

助教 
織田 健 
オダ タケシ 
TAKESHI ODA 

1964年生まれ  
Tel.042-443-5251  
 

経歴
電気通信大学  助手  1993/10-2007/03/31 
電気通信大学  助教  2007/04/01-現在 

学歴
東京都立富士高等学校  普通科  1983/03/31  卒業 
東京工業大学  工学部  情報工学科  1988/03  卒業 
東京工業大学  理工学研究科  情報工学専攻  修士  1990/03  修了 
東京工業大学  理工学研究科  情報工学専攻  博士  1993/09  修了 

学位
工学修士  東京工業大学  1990/03 
博士(工学)  東京工業大学  1993/09 

現在の専門分野
ソフトウェア 

現在の研究課題
形式的部品の再利用に基づくコード自動合成  形式手法、スライシング、ソフトウェア部品、ソフトウェアリポジトリ  2008-現在 
形式的要求定義における妥当性検証  形式手法 仕様記述言語 検証  2003-現在 

著書
著書  UNIXコンピュータリテラシー  渡辺成良、若月光夫、織田健  共立出版、(1997.1初版、2001.4第2版(改訂))  2001/04 
詳細表示...

論文
一般論文  有  高信頼細粒度部品再利用による形式手法におけるソフトウェア合成  中村丈洋、織田健、西野哲朗  情報処理学会論文誌  54/ 8, 2012-2024  2013/08 
一般論文  有  B Method における高信頼ソフトウェア部品自動生成  中村丈洋、織田健、西野哲朗  情報処理学会論文誌  52/ 11, 2989-3007  2011/11 
一般論文  有  Car-Steering Model Based on an Adaptive Neuro-Fuzzy Controller  Mohamed Anis Ben Amor, Takeshi Oda, Shigeyoshi Watanabe  電気学会論文誌  124/ C, 2344-2352  2004 
一般論文  有  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 
一般論文  有  出力指向の段階的詳細化による設計法  織田健、片山卓也  情報処理学会論文誌  34/ 11, 2251-2264  1993/11 
詳細表示...

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