Rchr
J-GLOBAL ID：200901042749989770   Update date: Aug. 31, 2020

Takahashi Masako

タカハシ マサコ | Takahashi Masako
Affiliation and department：
旧所属 国際基督教大学 教養学部 理学科

About 旧所属 国際基督教大学 教養学部 理学科


Job title： 教授,名誉教授
Homepage URL  (1)： http://seience.icn.ac.jp/~mth/
Research field  (3)： Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (6)： 証明論 ,  計算論 ,  型理論 ,  proof theory ,  theory of computation ,  type theory
Research theme for competitive and other funds  (8)：
  • 情報教育の在り方
  • 実践的証明論
  • 木構造に対する計算可能な関数について
  • 型理論的アプローチによる証明論および計算論の研究
  • What do we teach in Informative
Show all
MISC (21)：
ｍore...
Books (9)：
  • Lambda-representable functions over free structures revisited
    Proc. of 3rd Int. Symp. on Functional and Logic Programming 1998
  • Theories of Types and Proofs
    Mathematical Society of Japan, MSJ-Memoirs 1998
  • A primer on proofs and types
    Theories of Types and Proofs 1998
  • 計算論--計算可能性とラムダ計算--
    近代科学社 1991
  • Theory of Computation --Computability and Lambda-Calculus--
    1991
ｍore...
Professional career (2)：
  • Ph. D (University of Pennsylvania)
  • MS (University of Pennsylvania)
Committee career (1)：
  • 1982 - 1985 欧州理論計算機科学会(European Association for Theoretical Computer Science) 評議員
Association Membership(s) (3)：
日本ソフトウェア科学会 ,  日本数学会 ,  欧州理論計算機科学会(European Association for Theoretical Computer Science)
※ 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