研究者
J-GLOBAL ID：200901042749989770   更新日: 2020年08月31日

高橋 正子

タカハシ マサコ | Takahashi Masako
所属機関・部署：
旧所属 国際基督教大学 教養学部 理学科

旧所属 国際基督教大学 教養学部 理学科 について


職名： 教授,名誉教授
ホームページURL (1件)： http://seience.icn.ac.jp/~mth/
研究分野 (3件)： 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (6件)： 証明論 ,  計算論 ,  型理論 ,  proof theory ,  theory of computation ,  type theory
競争的資金等の研究課題 (8件)：
  • 情報教育の在り方
  • 実践的証明論
  • 木構造に対する計算可能な関数について
  • 型理論的アプローチによる証明論および計算論の研究
  • What do we teach in Informative
全件表示
MISC (21件)：
もっと見る
書籍 (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
もっと見る
学位 (2件)：
  • その他 (ペンシルヴァニア大学)
  • 理学修士 (ペンシルヴァニア大学)
委員歴 (1件)：
  • 1982 - 1985 欧州理論計算機科学会(European Association for Theoretical Computer Science) 評議員
所属学会 (3件)：
日本ソフトウェア科学会 ,  日本数学会 ,  欧州理論計算機科学会(European Association for Theoretical Computer Science)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM