研究者
J-GLOBAL ID：200901024882735219   更新日: 2024年03月14日

織田 健

オダ タケシ | TAKESHI ODA
所属機関・部署：
電気通信大学 大学院情報理工学研究科、情報理工学域情報学専攻、I類 (情報系)

電気通信大学 大学院情報理工学研究科、情報理工学域情報学専攻、I類 (情報系) について


職名： 助教
研究分野 (1件)： ソフトウェア
研究キーワード (6件)： Reuse ,  Requirements Engineering ,  Formal Method ,  再利用 ,  要求工学 ,  形式手法
競争的資金等の研究課題 (1件)：
  • 2002 - 2004 国別差異に着目したIT活用の数学予備教育システム構築に関する調査研究富
論文 (7件)：
もっと見る
書籍 (1件)：
  • UNIXコンピュータリテラシー
    共立出版、(1997.1初版、2001.4第2版(改訂)) 2001
講演・口頭発表等 (73件)：
  • 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
    (情報処理学会第86回全国大会 2024)
  • 小規模なモデルを対象とした形式的ソフトウェア合成システムの構築
    (情報処理学会第86回全国大会 2024)
  • 条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム
    (第22回情報科学技術フォーラム 2023)
  • B Method の仕様記述言語における段階的詳細化を伴う仕様の細分化手法
    (第22回情報科学技術フォーラム 2023)
  • 形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法
    (第22回情報科学技術フォーラム 2023)
もっと見る
学歴 (4件)：
  • - 1993 東京工業大学 理工学研究科 情報工学専攻
  • - 1990 東京工業大学 理工学研究科 情報工学専攻
  • - 1988 東京工業大学 工学部 情報工学科
  • - 1983 東京都立富士高等学校 普通科
学位 (2件)：
  • 工学修士 (東京工業大学)
  • 博士(工学) (東京工業大学)
経歴 (2件)：
  • 2007/04/01 - 電気通信大学 助教
  • 1993/10 - 2007/03/31 電気通信大学 助手
所属学会 (2件)：
情報処理学会 ,  ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM