メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
伊藤 貴康
ITO Takayasu
ORCID連携する
*注記
研究者番号
80124551
その他のID
外部サイト
所属 (過去の研究課題情報に基づく)
*注記
2003年度: 石巻専修大学, 理工学部, 教授
2002年度: 東京大学, 大学院・情報科学研究科, 教授
1996年度 – 2002年度: 東北大学, 大学院・情報科学研究科, 教授
2000年度: 東北大学, 大学院・理学系研究科, 教授
2000年度: 東北大学, 情報科学研究科, 教授
…
もっと見る
1986年度 – 1992年度: 東北大学, 工学部, 教授
1988年度: 東北工学, 工学部情報工学科, 教授
1987年度 – 1988年度: 東北大学, 工学部情報工学科, 教授
1986年度: 東北大, 工学部, 教授
1985年度: 東北大学, 工, 教授
隠す
審査区分/研究分野
研究代表者
情報工学
/
計算機科学
研究代表者以外
計算機科学
/
数学一般
/
情報システム学(含情報図書館学)
/
理工系
キーワード
研究代表者
PaiLisp / PaiLisp-Kernel / 並列LISP言語 / 項書き換え系 / 並列Lisp / 検証 / stealable / verification / 例による証明 / PaiLisp-kernel
…
もっと見る
/ ソフトウエアプロセスの記述 / 改良 / 合成 / ChanneL-Lisp / PaiLisp-Kenel / σー計算 / 仮想並列マシン / semantically-based programming / 共有メモリ型並列計算機 / 簡約化規則 / 並列定理証明プログラム / 適応的発展機構 / 線形論理 / lazy creation of tasks / 論理と証明 / 並列オブジェクト指向 / 型理論とプログラム抽出 / 相補的プログラミング / 並列プロセス計算σー計算 / Steal-Help Evaluation / 構成的数学体系 / Parallel Lisp / バックトラックの削減法 / 発展的プログラミング機構 / 並列プロダクションシステム / 核言語 / 推論ソフトウェア / specification / 構成的論理 / 構成的プログラミング / 実行の論理 / ソフトウェア仕様記述 / ガ-ベ-ジコレクション / 発展的計算モデル / プログラム・モデル / complementarity / 書換え型メタ計算モデル / lazy evaluation / 次世代コンピュータ / ATMSを用いた項書換え系 / 並列マシン / 並列プロセス / 論理型言語 / 強制法 / 例によるプログラミング / 並列プロセス計算 / complementary programming / 関数論理型プログラミング / sound parallelization / プログラム / 対話型プログラム検証システム / 共有メモリ型 / 健全並列化 / P-continuation passing style / 並列GC / functional logic programming / term rewriting system / linear logic / 並列Prologの実現 / 高機能高品質ソフトウエア / constructive logic / スティール評価法 / 並列LISP / 仕様 / exlambda / 項書き換系とナローイング / プログラムの論理と証明 / 構成的数学体系RPT / 並列構文 / parallel process / 並列プログラミング / 検証情報 / 非決定的プログラミング / PaiLisp interpreter / 並列Scheme / PaiLisp compiler / 構造化ネット操作システム / SST machine / improvement / 並列インタプリタ / 並列関数型言語 / program / 並列アルゴリズム / 並列コンパイラ / 実時間論理 / 時相論理 / evolutionary programming mechanism / 関数遅延評価 / PaiLispーKernel / Pail,isp / parallel functional language / 発展的ソフトウェア / P-コンティニュエーション / 分散アルゴリズム / reactive system / リアクティブシステム / 論理・関数型プログラミング / アルゴリズム・アニメ-ション / Lispプログラム検証システム / proof / 実時間GC / タスク遅延生成 / temporal logic / バックトラック自動消去 / 高品質ソフトウェア / デッドロックからの回復 / 高機能エディタ / 意味論ベース / 高階ユニフィケ-ション / Parallel Symbolic Computing / 拡張ユニフィケーション / 構造化ネット / P-continuation / 相補性 / 検証系 / 自然推論 / 並列性 / 証明チェッカ / ペトリネット操作システム / 遅延評価法 / 型理論ATTT / 直観主義論理 / 拡張call@cc / 分散メモリ型 / SSTマシン / parallelism / PaiObject / 日本語プログラミング
…
もっと見る
研究代表者以外
1 / hierarchy / 自動プログラミング / ソフトウェア方式 / brain / 成りすまし / ソフトウエア構築再構成方法論 / Safe operating systems / 類推 / methodologies for evolution / ソフトウェア構築再構成方法論 / 生体システム / ソフト技術 / 階層性 / プログラム言語処理系 / ソース解析・型理論 / オペレーティングシステム / ソフトウェアセキュリティ / ソフトウェアセキュリテイ / 計算機ネットワーク / プログラミング / Program / control strategy / メモリ安全 / environment for evolution / ソフトウェア適応的再構成 / 神経回路網 / 社会基盤システム / 形式的検証法 / impersonalization / 知能 / 安全な情報基盤 / adaptive reconstruction / プログラミング・プロトコル検証 / ソフトウェア記述系 / 高次推論 / プログラミング言語設計 / プログラム検証 / 計算機応用数理 / ソフトウェア発展構成原理 / 自然言語 / ソフトウェア構築方法論 / 広域情報システム / ソフトウェア科学・工学 / 多自由度系 / ソフトウェア実行機構 / 情報学の理論体系 / ニューラルネットワーク / 問題解決 / 制御原理 / ソフトウェア発展方法論 / 内部評価 / 安全なメールシステム / 発展的ソフトウェア検証証明法 / viruses / ソフトウェア進化 / computer network / Safe mail systems / 知識 / mechanisms of evolution / fゆらぎ / Software security / principles for evolution / ソフトウェア発展基本機構 / マルチメディア情報処理 / biosystem / protocol verification / ソフトウエアインフラストラクチャ / 総括班会議 / 計算機の基礎数理 / Cyber security / メールシステム / neural network / wide-spread information system / 研究の推進 / 知能情報学 / サイバーセキュリティ / 定性的推論 / 脳 / ウィルス / プログラムの仕様記述 / 情報システム学 / 安全なオペレーティング / ソフトウェア発展 / 情報学の基本理念 / 安全なソフトウエア / ソフトウエアの検証 / Safe programming languages / セキュアコンピューティング / f fluctuations / 安全なプログラミング言語
隠す
研究課題
(
15
件)
共同研究者
(
46
人)
研究開始年: 新しい順
研究開始年: 古い順
新しい並列関数型言語とその高性能処理系の研究
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
2001 – 2002
研究種目
基盤研究(B)
研究分野
計算機科学
研究機関
東北大学
情報学の学問体系に関する共同研究についての企画調査
研究代表者
池田 克夫
研究期間 (年度)
2000
研究種目
基盤研究(C)
研究分野
計算機科学
研究機関
京都大学
発展機構を備えたソフトウェアの構成原理の研究
研究代表者
片山 卓也
研究期間 (年度)
2000
研究種目
特定領域研究(A)
研究機関
北陸先端科学技術大学院大学
「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
研究代表者
米澤 明憲
研究期間 (年度)
2000 – 2003
研究種目
特定領域研究
審査区分
理工系
研究機関
東京大学
大規模広域情報システムの管理について脳情報科学からの提案とシミュレーション
研究代表者
山本 光璋
研究期間 (年度)
1998 – 1999
研究種目
基盤研究(B)
研究分野
情報システム学(含情報図書館学)
研究機関
東北大学
発展的ソフトウェアの理論に関する研究
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1997 – 1999
研究種目
重点領域研究
研究機関
東北大学
発展機構を備えたソフトウェアの構成原理にかかわる総合研究
研究代表者
片山 卓也
研究期間 (年度)
1996
研究種目
基盤研究(B)
研究分野
計算機科学
研究機関
北陸先端科学技術大学院大学
高機能高品質ソフトウエアの基礎理論に関する研究
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1992
研究種目
重点領域研究
研究機関
東北大学
高機能高品質ソフトウェアの基礎理論
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1991
研究種目
重点領域研究
研究機関
東北大学
高機能高品質ソフトウエアの基礎理論
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1990
研究種目
重点領域研究
研究機関
東北大学
並列LISPとその処理系の研究
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1989 – 1992
研究種目
一般研究(A)
研究分野
情報工学
研究機関
東北大学
プログラム数理の総合的研究
研究代表者
五十嵐 滋
研究期間 (年度)
1987 – 1989
研究種目
総合研究(A)
研究分野
数学一般
研究機関
筑波大学
自然言語とコンピュータソフトウェアの基本問題に関する日米協力研究
研究代表者
福村 晃夫
研究期間 (年度)
1987
研究種目
海外学術研究
知的処理機構の研究
研究代表者
志村 正道
研究期間 (年度)
1986
研究種目
特定研究
研究機関
東京工業大学
相補的プログラミング環境の研究
研究代表者
研究代表者
伊藤 貴康
研究期間 (年度)
1985 – 1988
研究種目
一般研究(A)
研究分野
情報工学
研究機関
東北大学
研究課題数: 降順
研究課題数: 昇順
1.
萩谷 昌己
(30156252)
共同の研究課題数:
4件
共同の研究成果数:
0件
2.
佐藤 雅彦
(20027387)
共同の研究課題数:
4件
共同の研究成果数:
0件
3.
片山 卓也
(70016468)
共同の研究課題数:
3件
共同の研究成果数:
0件
4.
牛島 和男
(40037750)
共同の研究課題数:
3件
共同の研究成果数:
0件
5.
稲垣 康善
(10023079)
共同の研究課題数:
3件
共同の研究成果数:
0件
6.
萩原 兼一
(00133140)
共同の研究課題数:
2件
共同の研究成果数:
0件
7.
林 晋
(40156443)
共同の研究課題数:
2件
共同の研究成果数:
0件
8.
井田 哲雄
(70100047)
共同の研究課題数:
2件
共同の研究成果数:
0件
9.
阿草 清滋
(90026360)
共同の研究課題数:
2件
共同の研究成果数:
0件
10.
宮本 衛市
(00001173)
共同の研究課題数:
2件
共同の研究成果数:
0件
11.
武市 正人
(10011165)
共同の研究課題数:
2件
共同の研究成果数:
0件
12.
米崎 直樹
(00126286)
共同の研究課題数:
2件
共同の研究成果数:
0件
13.
米澤 明憲
(00133116)
共同の研究課題数:
2件
共同の研究成果数:
0件
14.
榎本 肇
(60016227)
共同の研究課題数:
1件
共同の研究成果数:
0件
15.
池田 克夫
(30026009)
共同の研究課題数:
1件
共同の研究成果数:
0件
16.
土居 範久
(50051553)
共同の研究課題数:
1件
共同の研究成果数:
0件
17.
上林 弥彦
(00026311)
共同の研究課題数:
1件
共同の研究成果数:
0件
18.
志村 正道
(30029409)
共同の研究課題数:
1件
共同の研究成果数:
0件
19.
堂下 修司
(00025925)
共同の研究課題数:
1件
共同の研究成果数:
0件
20.
斉藤 忠夫
(30010789)
共同の研究課題数:
1件
共同の研究成果数:
0件
21.
有川 節夫
(40037221)
共同の研究課題数:
1件
共同の研究成果数:
0件
22.
五十嵐 滋
(80027367)
共同の研究課題数:
1件
共同の研究成果数:
0件
23.
難波 完爾
(40015524)
共同の研究課題数:
1件
共同の研究成果数:
0件
24.
野崎 昭弘
(90012343)
共同の研究課題数:
1件
共同の研究成果数:
0件
25.
米田 信夫
(50080487)
共同の研究課題数:
1件
共同の研究成果数:
0件
26.
西村 敏男
(00015471)
共同の研究課題数:
1件
共同の研究成果数:
0件
27.
外山 芳人
(00251968)
共同の研究課題数:
1件
共同の研究成果数:
0件
28.
坂部 俊樹
(60111829)
共同の研究課題数:
1件
共同の研究成果数:
0件
29.
山本 光璋
(40004618)
共同の研究課題数:
1件
共同の研究成果数:
0件
30.
根元 義章
(60005527)
共同の研究課題数:
1件
共同の研究成果数:
0件
31.
白鳥 則郎
(60111316)
共同の研究課題数:
1件
共同の研究成果数:
0件
32.
中尾 光之
(20172265)
共同の研究課題数:
1件
共同の研究成果数:
0件
33.
井上 昌次郎
(70013860)
共同の研究課題数:
1件
共同の研究成果数:
0件
34.
前田 敏博
(50028388)
共同の研究課題数:
1件
共同の研究成果数:
0件
35.
安西 祐一郎
(40051875)
共同の研究課題数:
1件
共同の研究成果数:
0件
36.
溝口 文雄
(50084463)
共同の研究課題数:
1件
共同の研究成果数:
0件
37.
田中 英彦
(60011102)
共同の研究課題数:
1件
共同の研究成果数:
0件
38.
宮川 伸也
(70344710)
共同の研究課題数:
1件
共同の研究成果数:
0件
39.
松山 隆司
(10109035)
共同の研究課題数:
1件
共同の研究成果数:
0件
40.
福村 晃夫
(60022985)
共同の研究課題数:
1件
共同の研究成果数:
0件
41.
山梨 正明
(80107086)
共同の研究課題数:
1件
共同の研究成果数:
0件
42.
長尾 真
(30025960)
共同の研究課題数:
1件
共同の研究成果数:
0件
43.
辻井 潤一
(20026313)
共同の研究課題数:
1件
共同の研究成果数:
0件
44.
田中 穂積
(80163567)
共同の研究課題数:
1件
共同の研究成果数:
0件
45.
郡司 隆男
(10158892)
共同の研究課題数:
1件
共同の研究成果数:
0件
46.
岡田 直之
(80037837)
共同の研究課題数:
1件
共同の研究成果数:
0件
×
この研究者とORCID iDの紐付けを行いますか？
※ この処理は、研究者本人だけが実行できます。
×
