• 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
解析学 / Geometry / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Algebra / 代数学・幾何学
Keywords
Principal Investigator
型理論 / 帰納的関数 / 原始帰納法 / 証明論 / 項代数 / 計算可能性 / ラムダ計算 / computable tree functions / primitive recursive functions / recursive functions … More / binary tree / theory of computation / 木構造を扱うアルゴリズム / 二分木上の関数 / 数理論理学の歴史 / コンピュータの歴史 / 万能コンピュータ / 二分木上の計算可能関数 / 原始帰納的関数 / 二分木 / 計算論 / term algebra / λ-calculus / Curry-Howard isomorphism / intuitionistic higher-order logic / higher-order types / computability / マッチング問題 / 単一化問題 / 単純型理論 / 高階理論 / 語に対する帰納的関数 / 自由代数 / 単純型つきラムダ計算 / 項代数上の関数 / カリーハワード対応 / 直観主義高階理論 / 高階型理論 … More
Except Principal Investigator
プログラミング言語 / タイプ理論 / 線形論理 / 漸近理論 / 可視化 / 幾何構造 / 双曲多様体 / 低次元多様体 / 証明論 / Linear Logic / Type Theory / プログラム意味論 / 形式的仕様 / 直観主義論理 / Dehn手術 / 衝撃波解 / 離散ボルツマン方程式 / 古典力学的極限 / 相対論的Euler方程式 / 時系列解析 / universal algebra / logic functions / functional terms / multiple-valued logic / clones / optimal expansions / boolean functions / ブール代数 / 多値論理 / クローン理論 / プール代数 / 最適展開 / 論理関数 / algebraic combinatorics / spin models / distance-regular graphs / characters of finite groups / representations of finite groups / association schemes / T-代数 / 距離正則有向グラフ / スピンモデル / 距離正則グラフ / 有限群の表現 / アソシエーションスキーム / Real Time System / Formal Verification / Formal specification / Proof Theroy / Programming Language / Functional Language / 情報科学の論理 / 形式的プログラム検証 / 実時間システム / 形式検証 / 形式仕様 / プログラム言語理論 / 関数型言語 / lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 数学基礎論 / 算術のモデル / ロジック / ラムダ計算 / 限定算術 / 逆数学 / 2階算術 / 形式算術 / 型理論 / 計算論 / 論理構造 / Proof Theory / Intuitionistic Logic / Concurrency / Program Semantics / Program Verification / Programming Languages / Constructive Proof / プログラム言語 / 直観主義理論 / 線形理論 / 平行計算 / プログラム検証 / 構成的証明 / ソフトウェア開発 / 形式的検証 / 理論情報科学 / 可解性条件 / 半空間定常問題 / 境界層理論 / 離散速度ボルツマン方程式 / 多様体 / 双曲幾何学 / 画像処理 / 不動点定理 / 数理計画 / 非線形偏微分方程式 / 非線形エルゴード定理 / 非線形作用素 / 非線形関数解析学 / 実験数学 / 予測 / マルコフ過程 / 非定常過程 / 確率過程 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 link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi