メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
ITO Takayasu
伊藤 貴康
Connect your ORCID iD
*help
Researcher Number
80124551
Other IDs
External Links
Affiliation (based on the past Project Information)
*help
2003: Ishinomaki Senshu University, Faculty of Science and Technology, Professor, 理工学部, 教授
2002: 東京大学, 大学院・情報科学研究科, 教授
1996 – 2002: 東北大学, 大学院・情報科学研究科, 教授
2000: 東北大学, 大学院・理学系研究科, 教授
2000: 東北大学, 情報科学研究科, 教授
…
More
1986 – 1992: 東北大学, 工学部, 教授
1988: 東北工学, 工学部情報工学科, 教授
1987 – 1988: 東北大学, 工学部情報工学科, 教授
1986: 東北大, 工学部, 教授
1985: 東北大学, 工, 教授
Less
Review Section/Research Field
Principal Investigator
計算機工学
/
計算機科学
Except Principal Investigator
計算機科学
/
General mathematics (including Probability theory/Statistical mathematics)
/
情報システム学(含情報図書館学)
/
Science and Engineering
Keywords
Principal Investigator
PaiLisp / PaiLisp-Kernel / 例による証明 / 並列LISP言語 / 並列Lisp / 検証 / 項書き換え系 / verification / stealable / プログラムの論理と証明
…
More
/ 実行の論理 / 構成的数学体系 / 例によるプログラミング / 高階ユニフィケ-ション / 並列アルゴリズム / 分散アルゴリズム / プログラム・モデル / 論理と証明 / 型理論ATTT / 並列プログラミング / 並列プロセス計算σー計算 / 構成的数学体系RPT / アルゴリズム・アニメ-ション / 高機能高品質ソフトウエア / 構造化ネット / ATMSを用いた項書換え系 / 構成的プログラミング / 型理論とプログラム抽出 / 証明チェッカ / 項書き換系とナローイング / ソフトウエアプロセスの記述 / P-コンティニュエーション / 並列インタプリタ / 並列コンパイラ / 並列Prologの実現 / 構造化ネット操作システム / PaiLisp-Kenel / 並列定理証明プログラム / ペトリネット操作システム / 並列プロダクションシステム / σー計算 / 並列プロセス計算 / PaiLispーKernel / 並列構文 / PaiObject / 並列オブジェクト指向 / 実時間GC / 並列GC / 並列LISP / 拡張call@cc / exlambda / ガ-ベ-ジコレクション / Parallel Lisp / Pail,isp / Parallel Symbolic Computing / PaiLisp interpreter / PaiLisp compiler / P-continuation / P-continuation passing style / 発展的プログラミング機構 / 健全並列化 / リアクティブシステム / 時相論理 / 関数論理型プログラミング / 線形論理 / 発展的ソフトウェア / ソフトウェア仕様記述 / 論理・関数型プログラミング / 書換え型メタ計算モデル / 実時間論理 / 検証系 / 検証情報 / 発展的計算モデル / 適応的発展機構 / evolutionary programming mechanism / sound parallelization / reactive system / temporal logic / functional logic programming / term rewriting system / linear logic / 並列関数型言語 / スティール評価法 / タスク遅延生成 / SSTマシン / 遅延評価法 / 共有メモリ型並列計算機 / 仮想並列マシン / 並列Scheme / 関数遅延評価 / parallel functional language / Steal-Help Evaluation / lazy evaluation / lazy creation of tasks / PaiLisp-kernel / SST machine / 相補性 / 相補的プログラミング / 仕様 / プログラム / 意味論ベース / 並列性 / 合成 / 改良 / 構成的論理 / 並列プロセス / 次世代コンピュータ / 高品質ソフトウェア / 並列マシン / 共有メモリ型 / 分散メモリ型 / ChanneL-Lisp / 核言語 / 自然推論 / 対話型プログラム検証システム / 簡約化規則 / デッドロックからの回復 / 強制法 / 非決定的プログラミング / バックトラックの削減法 / 推論ソフトウェア / Lispプログラム検証システム / 拡張ユニフィケーション / バックトラック自動消去 / 論理型言語 / 直観主義論理 / 日本語プログラミング / 高機能エディタ / complementarity / complementary programming / specification / program / proof / constructive logic / semantically-based programming / parallelism / improvement / parallel process
…
More
Except Principal Investigator
1 / ソフトウェア発展 / ソフトウェア進化 / ソフトウェア構築方法論 / 情報学の基本理念 / 情報学の理論体系 / 情報システム学 / ソフトウェア科学・工学 / 知能情報学 / マルチメディア情報処理 / 知能 / 知識 / 高次推論 / 類推 / 定性的推論 / 自然言語 / 自動プログラミング / 問題解決 / 計算機の基礎数理 / 計算機応用数理 / プログラミング / プログラムの仕様記述 / ソフトウェア発展構成原理 / ソフトウェア発展基本機構 / ソフトウェア発展方法論 / ソフトウェア方式 / ソフトウェア適応的再構成 / 発展的ソフトウェア検証証明法 / ソフトウェア構築再構成方法論 / ソフトウエア構築再構成方法論 / principles for evolution / mechanisms of evolution / methodologies for evolution / environment for evolution / adaptive reconstruction / fゆらぎ / 計算機ネットワーク / 神経回路網 / 脳 / 広域情報システム / 階層性 / 制御原理 / 生体システム / ニューラルネットワーク / 多自由度系 / f fluctuations / computer network / neural network / brain / wide-spread information system / hierarchy / control strategy / biosystem / ソフトウェアセキュリテイ / プログラミング・プロトコル検証 / 安全なプログラミング言語 / 安全なオペレーティング / ウィルス / 成りすまし / 安全なメールシステム / サイバーセキュリティ / ソフトウェアセキュリティ / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム / ソース解析・型理論 / メモリ安全 / ソフト技術 / 形式的検証法 / ソフトウェア記述系 / ソフトウェア実行機構 / メールシステム / 内部評価 / 社会基盤システム / セキュアコンピューティング / 安全なソフトウエア / ソフトウエアの検証 / プログラミング言語設計 / ソフトウエアインフラストラクチャ / 研究の推進 / 総括班会議 / Software security / Program / protocol verification / Safe programming languages / Safe operating systems / viruses / impersonalization / Safe mail systems / Cyber security
Less
Research Projects
(
15
results)
Co-Researchers
(
46
People)
Project Start Year (Newest)
Project Start Year (Oldest)
Research on New Parallel Functional Languages and Their High-Performance Processors
Principal Investigator
Principal Investigator
ITO Takayasu
Project Period (FY)
2001 – 2002
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
計算機科学
Research Institution
Tohoku University
情報学の学問体系に関する共同研究についての企画調査
Principal Investigator
池田 克夫
Project Period (FY)
2000
Research Category
Grant-in-Aid for Scientific Research (C)
Research Field
計算機科学
Research Institution
Kyoto University
Principles for Constructing Evolutionary Software
Principal Investigator
KATAYAMA Takuya
Project Period (FY)
2000
Research Category
Grant-in-Aid for Scientific Research on Priority Areas (A)
Research Institution
Japan Advanced Institute of Science and Technology
Secure Programming Languages Based on Mobile Code
Principal Investigator
YONEZAWA Akinori
Project Period (FY)
2000 – 2003
Research Category
Grant-in-Aid for Scientific Research on Priority Areas
Review Section
Science and Engineering
Research Institution
The University of Tokyo
Proposals and simulations from brain science for regulating large-scale and wide-spread information systems
Principal Investigator
YAMAMOTO Mitsuaki
Project Period (FY)
1998 – 1999
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
情報システム学(含情報図書館学)
Research Institution
TOHOKU UNIVERSITY
Research on Theoretical Aspects of Evolutionary Software
Principal Investigator
Principal Investigator
ITO Takayasu
Project Period (FY)
1997 – 1999
Research Category
Grant-in-Aid for Scientific Research on Priority Areas
Research Institution
Tohoku University
発展機構を備えたソフトウェアの構成原理にかかわる総合研究
Principal Investigator
KATAYAMA Takuya
Project Period (FY)
1996
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
計算機科学
Research Institution
Japan Advanced Institute of Science and Technology
高機能高品質ソフトウエアの基礎理論に関する研究
Principal Investigator
Principal Investigator
伊藤 貴康
Project Period (FY)
1992
Research Category
Grant-in-Aid for Scientific Research on Priority Areas
Research Institution
Tohoku University
高機能高品質ソフトウェアの基礎理論
Principal Investigator
Principal Investigator
伊藤 貴康
Project Period (FY)
1991
Research Category
Grant-in-Aid for Scientific Research on Priority Areas
Research Institution
Tohoku University
高機能高品質ソフトウエアの基礎理論
Principal Investigator
Principal Investigator
伊藤 貴康
Project Period (FY)
1990
Research Category
Grant-in-Aid for Scientific Research on Priority Areas
Research Institution
Tohoku University
Research on Parallel Lisp Language and System
Principal Investigator
Principal Investigator
ITO Takayasu
Project Period (FY)
1989 – 1992
Research Category
Grant-in-Aid for General Scientific Research (A)
Research Field
計算機工学
Research Institution
TOHOKU UNIVERSITY
プログラム数理の総合的研究
Principal Investigator
五十嵐 滋
Project Period (FY)
1987 – 1989
Research Category
Grant-in-Aid for Co-operative Research (A)
Research Field
General mathematics (including Probability theory/Statistical mathematics)
Research Institution
University of Tsukuba
自然言語とコンピュータソフトウェアの基本問題に関する日米協力研究
Principal Investigator
福村 晃夫
Project Period (FY)
1987
Research Category
Grant-in-Aid for Overseas Scientific Research
知的処理機構の研究
Principal Investigator
志村 正道
Project Period (FY)
1986
Research Category
Grant-in-Aid for Special Project Research
Research Institution
Tokyo Institute of Technology
Complementary Programming Environment
Principal Investigator
Principal Investigator
ITO Takayasu
Project Period (FY)
1985 – 1988
Research Category
Grant-in-Aid for General Scientific Research (A)
Research Field
計算機工学
Research Institution
Tohoku University
# of Projects (Dsc)
# of Projects (Asc)
1.
HAGIYA Masami
(30156252)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
2.
佐藤 雅彦
(20027387)
# of Collaborated Projects:
4 results
# of Collaborated Products:
0 results
3.
KATAYAMA Takuya
(70016468)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
4.
USHIJIMA Kazuo
(40037750)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
5.
稲垣 康善
(10023079)
# of Collaborated Projects:
3 results
# of Collaborated Products:
0 results
6.
萩原 兼一
(00133140)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
7.
林 晋
(40156443)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
8.
IDA Tetsuo
(70100047)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
9.
AGUSA Kiyoshi
(90026360)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
10.
MIYAMOTO Eiichi
(00001173)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
11.
TAKEICHI Masato
(10011165)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
12.
YONEZAKI Naoki
(00126286)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
13.
YONEZAWA Akinori
(00133116)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
14.
榎本 肇
(60016227)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
15.
池田 克夫
(30026009)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
16.
土居 範久
(50051553)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
17.
上林 弥彦
(00026311)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
18.
志村 正道
(30029409)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
19.
堂下 修司
(00025925)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
20.
斉藤 忠夫
(30010789)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
21.
有川 節夫
(40037221)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
22.
五十嵐 滋
(80027367)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
23.
難波 完爾
(40015524)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
24.
野崎 昭弘
(90012343)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
25.
米田 信夫
(50080487)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
26.
西村 敏男
(00015471)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
27.
TOYAMA Yoshihito
(00251968)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
28.
SAKABE Toshiki
(60111829)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
29.
YAMAMOTO Mitsuaki
(40004618)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
30.
NEMOTO Yoshiaki
(60005527)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
31.
SHIRATORI Norio
(60111316)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
32.
NAKAO Mitsuyuki
(20172265)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
33.
INOUE Shojiro
(70013860)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
34.
前田 敏博
(50028388)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
35.
ANZAI Yuichiro
(40051875)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
36.
MIZOGUCHI Fumio
(50084463)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
37.
田中 英彦
(60011102)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
38.
MIYAKAWA Shinya
(70344710)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
39.
MATSUYAMA Takashi
(10109035)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
40.
福村 晃夫
(60022985)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
41.
山梨 正明
(80107086)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
42.
長尾 真
(30025960)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
43.
辻井 潤一
(20026313)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
44.
田中 穂積
(80163567)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
45.
郡司 隆男
(10158892)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
46.
岡田 直之
(80037837)
# 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.
×
×
