• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：200901024882735219   Update date: Mar. 12, 2025

TAKESHI ODA

オダ タケシ | TAKESHI ODA
Clips
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  (77)：
  • 形式的ソフトウェア合成手法における部品検証を兼ねた不足部品の自動生成
    (情報処理学会第87回全国大会 2025)
  • B Method におけるモジュール構造に対応したソフトウェア合成システムの構築
    (情報処理学会第87回全国大会 2025)
  • Readability Metrics for Sliced Models Focused on Text Structure
    (2024)
  • A Proposal of Formal Software Synthesis System Considering Complex Models
    (2024)
  • 形式的ソフトウェア合成手法における細分化モデルの可読性向上手法の改善
    (情報処理学会第86回全国大会 2024)
ｍ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