Rchr
J-GLOBAL ID:200901024076077716   Update date: Oct. 15, 2020

Tanabe Makoto

タナベ マコト | Tanabe Makoto
Affiliation and department:
Job title: Associate Professor
Research field  (1): Information theory
Research keywords  (4): モデル検査 ,  Petri Nets ,  Temporal Logic ,  Model Checking
Research theme for competitive and other funds  (5):
  • 2007 - 2009 信頼性の高いソフトウェア開発に向けた「モデル-プログラム協調環境」の構築
  • 2007 - 2009 Automatic Generation of Program Source Codes from Models of Model-checking Tools
  • モデル検査等の形式検証の、実際の開発への応用
  • 実時間システムの計算モデル
  • Computational Models for Real-time Computing
Papers (8):
more...
Books (3):
  • Digitai Cities II -- Computational and Socialogical Approaches
    Springer-Verlag社, Lecture Notes in Computer Science シリーズ第2362号 全404頁 2000
  • コンピュータサイエンス入門
    岩波書店 1999
  • コンピュータサイエンス入門〈2〉論理とプログラム意味論
    岩波書店 全191頁 1997
Works (1):
  • 科学技術振興事業団さきがけ研究21「情報と知」領域
    1997 - 2000
Education (4):
  • - 1997 Kyoto University
  • - 1997 Kyoto University
  • - 1992 Kyoto University
  • - 1992 Kyoto University
Professional career (1):
  • 博士(理学) (京都大学)
Work history (2):
  • 1997 - 2002 (財)京都高度技術研究所 研究員1997-2000 科学技術振興事業団さきがけ研究(PREST)21「情報と知」研究員2000-2001 科学技術振興事業団CREST「デジタルシティのユニバーサルデザイン」 プロジェクト研究員
  • 1997 - 2002 ASTEM-RI, Kyoto1997-2000 JST Sakigake21 (PREST) Project2000-2001 JST CREST Project (Universal Design of Digital City)
Association Membership(s) (2):
日本ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page