• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TAKAHASHI Masako  高橋 正子

ORCIDConnect your ORCID iD *help
… Alternative Names

宝来 正子(高橋 正子)  ホウライ マサコ(タカハシ マサコ)

HORAI Masako  寳来 正子

宝来 正子(高橋)  ホウライ マサコ(タカハシ)

TAKAHASHI-HORAI Masako  寶来 正子

寛来 正子

高橋 雅子

寶来 正子  ホウライ マサコ

實来 正子  ホウライ マサコ

賓来 正子  ホウライ マサコ

寳来 正子  ホウライ マサコ

Less
Researcher Number 00015588
Other IDs
Affiliation (based on the past Project Information) *help 2000 – 2004: 国際基督教大学, 教養学部, 教授
2000: 国際基督教大学, 教養学部・理学科, 教授
1997 – 1999: 東京工業大学, 理学部, 教授
1996 – 1999: 東京工業大学, 大学院・情報理工学研究科, 教授
1998: 東京工業大学, 大学院・情報処理工学研究科, 教授 … More
1995 – 1996: 東京工業大学, 理学部, 助教授
1994 – 1996: 東京工業大学, 大学院・情報理工学研究科, 助教授
1994: 東京工業大学, 大学院情報理工学研究科, 助教授
1993: 東京工業大学, 理学部, 助教授
1989 – 1990: 東京工業大学, 理学部, 助教授 Less
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
解析学 / General mathematics (including Probability theory/Statistical mathematics) / Geometry / 計算機科学 / 代数学・幾何学 / Algebra
Keywords
Principal Investigator
型理論 / ラムダ計算 / 計算可能性 / 項代数 / 証明論 / 原始帰納法 / 帰納的関数 / 高階型理論 / 直観主義高階理論 / カリーハワード対応 … More / 項代数上の関数 / 単純型つきラムダ計算 / 自由代数 / 語に対する帰納的関数 / 高階理論 / 単純型理論 / 単一化問題 / マッチング問題 / computability / higher-order types / intuitionistic higher-order logic / Curry-Howard isomorphism / λ-calculus / term algebra / 計算論 / 二分木 / 原始帰納的関数 / 二分木上の計算可能関数 / 万能コンピュータ / コンピュータの歴史 / 数理論理学の歴史 / 二分木上の関数 / 木構造を扱うアルゴリズム / theory of computation / binary tree / recursive functions / primitive recursive functions / computable tree functions … More
Except Principal Investigator
低次元多様体 / 双曲多様体 / 幾何構造 / 可視化 / 漸近理論 / 線形論理 / タイプ理論 / プログラミング言語 / 時系列解析 / 相対論的Euler方程式 / 古典力学的極限 / 離散ボルツマン方程式 / 衝撃波解 / Dehn手術 / 直観主義論理 / 形式的仕様 / プログラム意味論 / Type Theory / Linear Logic / 証明論 / 確率過程 / 非定常過程 / マルコフ過程 / 予測 / 実験数学 / 非線形関数解析学 / 非線形作用素 / 非線形エルゴード定理 / 非線形偏微分方程式 / 数理計画 / 不動点定理 / 画像処理 / 双曲幾何学 / 多様体 / 離散速度ボルツマン方程式 / 境界層理論 / 半空間定常問題 / 可解性条件 / 理論情報科学 / 形式的検証 / ソフトウェア開発 / 構成的証明 / プログラム検証 / 平行計算 / 線形理論 / 直観主義理論 / プログラム言語 / Constructive Proof / Programming Languages / Program Verification / Program Semantics / Concurrency / Intuitionistic Logic / Proof Theory / 論理構造 / 計算論 / 型理論 / 形式算術 / 2階算術 / 逆数学 / 限定算術 / ラムダ計算 / ロジック / 算術のモデル / 数学基礎論 / logical structures / theory of computation / type theory / formal arithmetic / second order arithmetic / reverse mathematics / bounded arithmetic / lambda calculus / 関数型言語 / プログラム言語理論 / 形式仕様 / 形式検証 / 実時間システム / 形式的プログラム検証 / 情報科学の論理 / Functional Language / Programming Language / Proof Theroy / Formal specification / Formal Verification / Real Time System / アソシエーションスキーム / 有限群の表現 / 距離正則グラフ / スピンモデル / 距離正則有向グラフ / T-代数 / association schemes / representations of finite groups / characters of finite groups / distance-regular graphs / spin models / algebraic combinatorics / 論理関数 / 最適展開 / プール代数 / クローン理論 / 多値論理 / ブール代数 / boolean functions / optimal expansions / clones / multiple-valued logic / functional terms / logic functions / universal algebra Less
  • Research Projects

    (18 results)
  • Research Products

    (1 results)
  • Co-Researchers

    (36 People)
  •  Optimal Expansion and Characterization of Logic Functions and Classes

    • Principal Investigator
      POGOSYAN Grant R.
    • Project Period (FY)
      2001 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      College of Liberal Arts, International Christian University
  •  Structures and Representations of Association Schemes

    • Principal Investigator
      SUZUKI Hiroshi
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      College of Liberal Arts, International Christian University
  •  A study of proof theory and theory of computation in a type-theoretical approachPrincipal Investigator

    • Principal Investigator
      TAKAHASHI Masako
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      College of Liberal Arts, International Christian University
  •  Applications of Type Theory and Linear Logic to Programming Language Theory

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Studies on logical structures of arithmetic and computation

    • Principal Investigator
      TANAKA Kazuyuki
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      TOHOKU UNIVERSITY
  •  Computation-Theoretic Approach to Types and ProofsPrincipal Investigator

    • Principal Investigator
      TAKAHASHI-HORAI Masako
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology
  •  多様体の幾何構造変形の可視化

    • Principal Investigator
      小島 定吉
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Tokyo Institute of Technology
  •  非線形ボルツマン方程式の境界値問題の研究

    • Principal Investigator
      鵜飼 正二
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Institute of Technology
  •  型理論とその周辺Principal Investigator

    • Principal Investigator
      寶来 正子
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology
  •  多粒子系の非線型微分方程式の研究

    • Principal Investigator
      鵜飼 正二
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      解析学
    • Research Institution
      Tokyo Institute of Technology
  •  低次元多様体の構造とその可視化

    • Principal Investigator
      小島 定吉
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Tokyo Institute of Technology
  •  Application of type theory and linear logic for Programming Languages

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for international Scientific Research
    • Research Institution
      Keio University
  •  低次元多様体の幾何構造とその可視化

    • Principal Investigator
      小島 定吉
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Tokyo Institute of Technology
  •  非線形偏微分方程式の漸近理論の研究

    • Principal Investigator
      鵜飼 正二
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Institute of Technology
  •  非線形関数解析学とその周辺

    • Principal Investigator
      高橋 渉
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      解析学
    • Research Institution
      Tokyo Institute of Technology
  •  低次元多様体の幾何学とその周辺

    • Principal Investigator
      小島 定吉
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      Tokyo Institute of Technology
  •  確率過程の推測理論の数学的研究

    • Principal Investigator
      藤井 光昭
    • Project Period (FY)
      1989
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology

All 2004

All Journal Article

  • [Journal Article] On General Recursive Functions2004

    • Author(s)
      Masako Takahashi
    • Journal Title

      Proceedings of the 38th MLG Meeting MLG-2004

      Pages: 14-16

    • Data Source
      KAKENHI-PROJECT-13640136
  • 1.  小島 定吉 (90117705)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 0 results
  • 2.  高橋 渉 (40016142)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 0 results
  • 3.  藤井 光昭 (70016343)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 0 results
  • 4.  鵜飼 正二 (30047170)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 5.  HAGIYA Masami (30156252)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  HAYASHI Susumu (40156443)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 8.  OHORI Atsushi (60252532)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  木内 博文 (00251611)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  柳田 英二 (80174548)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  POGOSYAN Grant (90234640)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 12.  TANAKA Kazuyuki (70188291)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  SATO Masahiko (20027387)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  大槻 知忠 (50223871)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  KASHIMA Ryo (10240756)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  AKAMA Yohji (30272454)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  HASEGAWA Ryu (20243107)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  TATSUTA Makoto (80216994)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  SUZUKI Hiroshi (10135767)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  SHIMIZU Yuji (80187468)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  MORIMOTO Mitsuo (80053677)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  OSAKI Kenji (60160834)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  茂野 洋志 (00215964)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  志賀 徳造 (60025418)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  塩路 直樹 (50215943)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  LOPEZ LUIS M (20211667)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  廣川 佐千男 (40126785)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  安本 雅洋 (10144114)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  菊池 誠 (60273801)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  中村 明 (00296790)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  PARIGOT Michel
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  HUET Gerard
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  JOUANNAUD Jean-Pierre
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  CURIEN Pierre-Luis
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  GIRARD Jan-Yves
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi