メニュー
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
解析学
/
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)
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:
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×