Rchr
J-GLOBAL ID:200901086602508048   Update date: Jul. 11, 2023

TAKUMI KASAI

カサイ タクミ | TAKUMI KASAI
Research keywords  (6): formal languages and automata ,  theory of computation ,  computitional complexity ,  形式言語とオートマトン ,  計算理論 ,  計算の複雑さ
Papers (28):
more...
Books (3):
  • 計算の理論
    共立出版 1993
  • 計算量の理論
    近代科学社 1987
  • 有限オートマトン入門
    森北出版 1986
Education (2):
  • - 1971 Waseda University Graduate School, Division of Science and Engineering 数学専攻
  • - 1969 Waseda University Faculty of Science and Engineering 数学科
Professional career (1):
  • Doctor of Sciece (Kyoto University)
Committee career (1):
  • 1996 - 1997 電子情報通信学会 コンピュテーション研究専門委員長
Association Membership(s) (3):
電子情報通信学会 ,  日本数学会 ,  EATCS
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page