メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
伊藤 貴康
ITO Takayasu
ORCID連携する
*注記
研究者番号
80124551
その他のID
外部サイト
所属 (過去の研究課題情報に基づく)
*注記
2003年度: 石巻専修大学, 理工学部, 教授
2002年度: 東京大学, 大学院・情報科学研究科, 教授
1996年度 – 2002年度: 東北大学, 大学院・情報科学研究科, 教授
2000年度: 東北大学, 大学院・理学系研究科, 教授
2000年度: 東北大学, 情報科学研究科, 教授
…
もっと見る
1986年度 – 1992年度: 東北大学, 工学部, 教授
1988年度: 東北工学, 工学部情報工学科, 教授
1987年度 – 1988年度: 東北大学, 工学部情報工学科, 教授
1986年度: 東北大, 工学部, 教授
1985年度: 東北大学, 工, 教授
隠す
審査区分/研究分野
研究代表者
情報工学
/
計算機科学
研究代表者以外
計算機科学
/
数学一般
/
情報システム学(含情報図書館学)
/
理工系
キーワード
研究代表者
PaiLisp / PaiLisp-Kernel / 例による証明 / 並列LISP言語 / 並列Lisp / 検証 / 項書き換え系 / verification / stealable / プログラムの論理と証明
…
もっと見る
/ 実行の論理 / 構成的数学体系 / 例によるプログラミング / 高階ユニフィケ-ション / 並列アルゴリズム / 分散アルゴリズム / プログラム・モデル / 論理と証明 / 型理論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
…
もっと見る
研究代表者以外
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
隠す
研究課題
(
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の連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×