メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
TAKAHASHI Masako
高橋 正子
Connect 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
型理論 / 計算可能性 / 帰納的関数 / 原始帰納法 / ラムダ計算 / 項代数 / 証明論 / primitive recursive functions / 単純型理論 / コンピュータの歴史
…
More
/ term algebra / 原始帰納的関数 / 二分木上の計算可能関数 / 語に対する帰納的関数 / 二分木上の関数 / computability / 直観主義高階理論 / 単一化問題 / 木構造を扱うアルゴリズム / higher-order types / 高階型理論 / マッチング問題 / Curry-Howard isomorphism / 計算論 / binary tree / computable tree functions / 項代数上の関数 / 二分木 / 単純型つきラムダ計算 / 数理論理学の歴史 / intuitionistic higher-order logic / λ-calculus / recursive functions / 自由代数 / 万能コンピュータ / カリーハワード対応 / 高階理論 / theory of computation
…
More
Except Principal Investigator
低次元多様体 / 線形論理 / 可視化 / 漸近理論 / タイプ理論 / プログラミング言語 / 双曲多様体 / 幾何構造 / Linear Logic / プログラム意味論 / 相対論的Euler方程式 / 古典力学的極限 / 衝撃波解 / 証明論 / 離散ボルツマン方程式 / 時系列解析 / 形式的仕様 / 直観主義論理 / Type Theory / Dehn手術 / lambda calculus / Proof Theory / Formal specification / reverse mathematics / 確率過程 / logic functions / プール代数 / 直観主義理論 / Formal Verification / 算術のモデル / 半空間定常問題 / association schemes / 予測 / distance-regular graphs / プログラム言語 / 形式算術 / boolean functions / 多値論理 / ロジック / Real Time System / 非線形偏微分方程式 / 平行計算 / 双曲幾何学 / 数学基礎論 / 距離正則有向グラフ / 2階算術 / 形式的プログラム検証 / spin models / 有限群の表現 / プログラム検証 / universal algebra / 計算論 / functional terms / 可解性条件 / 実時間システム / 不動点定理 / Functional Language / 形式的検証 / characters of finite groups / type theory / アソシエーションスキーム / Proof Theroy / 離散速度ボルツマン方程式 / クローン理論 / 形式検証 / 情報科学の論理 / T-代数 / 最適展開 / 数理計画 / 論理構造 / Constructive Proof / プログラム言語理論 / 非定常過程 / 逆数学 / ブール代数 / second order arithmetic / 非線形関数解析学 / clones / bounded arithmetic / 実験数学 / 理論情報科学 / スピンモデル / Program Verification / theory of computation / Intuitionistic Logic / 形式仕様 / representations of finite groups / 関数型言語 / 多様体 / 線形理論 / 画像処理 / 構成的証明 / 距離正則グラフ / optimal expansions / 非線形作用素 / Program Semantics / 型理論 / multiple-valued logic / 境界層理論 / algebraic combinatorics / ソフトウェア開発 / formal arithmetic / logical structures / 非線形エルゴード定理 / ラムダ計算 / Programming Languages / 限定算術 / 論理関数 / Concurrency / Programming Language / マルコフ過程
Less
Research Projects
(
18
results)
Research Products
(
1
results)
Co-Researchers
(
36
People)
Project Start Year(Newest)
Project Start Year(Oldest)
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 approach
Principal 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 Proofs
Principal 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 Functions
2004
Author(s)
Masako Takahashi
Journal Title
Proceedings of the 38th MLG Meeting MLG-2004
Pages
: 14-16
Data Source
KAKENHI-PROJECT-13640136
# of Projects (Dsc)
# of Projects (Asc)
1.
小島 定吉
(90117705)
# of Collaborated Projects :
10results
# of Collaborated Products :
0results
2.
高橋 渉
(40016142)
# of Collaborated Projects :
10results
# of Collaborated Products :
0results
3.
藤井 光昭
(70016343)
# of Collaborated Projects :
9results
# of Collaborated Products :
0results
4.
鵜飼 正二
(30047170)
# of Collaborated Projects :
8results
# of Collaborated Products :
0results
5.
HAGIYA Masami
(30156252)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
6.
OKADA Mitsuhiro
(30224025)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
7.
HAYASHI Susumu
(40156443)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
8.
OHORI Atsushi
(60252532)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
9.
木内 博文
(00251611)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
10.
柳田 英二
(80174548)
# of Collaborated Projects :
3results
# of Collaborated Products :
0results
11.
POGOSYAN Grant
(90234640)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
12.
TANAKA Kazuyuki
(70188291)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
13.
SATO Masahiko
(20027387)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
14.
大槻 知忠
(50223871)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
15.
KASHIMA Ryo
(10240756)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
16.
AKAMA Yohji
(30272454)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
17.
HASEGAWA Ryu
(20243107)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
18.
TATSUTA Makoto
(80216994)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
19.
YONEZAWA Akinori
(00133116)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
20.
SUZUKI Hiroshi
(10135767)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
21.
SHIMIZU Yuji
(80187468)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
22.
MORIMOTO Mitsuo
(80053677)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
23.
OSAKI Kenji
(60160834)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
24.
茂野 洋志
(00215964)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
25.
志賀 徳造
(60025418)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
26.
塩路 直樹
(50215943)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
27.
LOPEZ LUIS M
(20211667)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
28.
廣川 佐千男
(40126785)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
29.
安本 雅洋
(10144114)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
30.
菊池 誠
(60273801)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
31.
中村 明
(00296790)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
32.
PARIGOT Michel
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
33.
HUET Gerard
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
34.
JOUANNAUD Jean-Pierre
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
35.
CURIEN Pierre-Luis
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
36.
GIRARD Jan-Yves
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
