Rchr
J-GLOBAL ID：200901024882735219   Update date: Aug. 30, 2024

TAKESHI ODA

オダ タケシ | TAKESHI ODA
Affiliation and department：
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)"

About 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)"


Job title： Assistant Professor
Research field  (1)： Software
Research keywords  (6)： Reuse ,  Requirements Engineering ,  Formal Method ,  再利用 ,  要求工学 ,  形式手法
Research theme for competitive and other funds  (1)：
  • 2002 - 2004 e-Learning Implementation on IT-Supported Self-Study of Mathematics for Foreign Students
Papers (7)：
ｍore...
Books (1)：
  • UNIXコンピュータリテラシー
    共立出版、(1997.1初版、2001.4第2版(改訂)) 2001
Lectures and oral presentations  (75)：
  • Readability Metrics for Sliced Models Focused on Text Structure
    (2024)
  • A Proposal of Formal Software Synthesis System Considering Complex Models
    (2024)
  • 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
    (情報処理学会第86回全国大会 2024)
  • 小規模なモデルを対象とした形式的ソフトウェア合成システムの構築
    (情報処理学会第86回全国大会 2024)
  • 条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム
    (第22回情報科学技術フォーラム 2023)
ｍore...
Education (4)：
  • - 1993 Tokyo Institute of Technology Graduate School, Division of Science and Engineering Computer Science Course
  • - 1990 Tokyo Institute of Technology Graduate School, Division of Science and Engineering Computer Science Course
  • - 1988 Tokyo Institute of Technology Faculty of Engineering 情報工学科
  • - 1983 東京都立富士高等学校 普通科
Professional career (2)：
  • 工学修士 (東京工業大学)
  • 博士(工学) (東京工業大学)
Work history (2)：
  • 2007/04/01 - 電気通信大学 助教
  • 1993/10 - 2007/03/31 The University of Electro-Communications Research Associate
Association Membership(s) (2)：
Information Processing Society of Japan ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM