伊藤貴康 ITO Takayasu

研究者番号	80124551
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2003年度: 石巻専修大学, 理工学部, 教授 2002年度: 東京大学, 大学院・情報科学研究科, 教授 1996年度 – 2002年度: 東北大学, 大学院・情報科学研究科, 教授 2000年度: 東北大学, 大学院・理学系研究科, 教授 2000年度: 東北大学, 情報科学研究科, 教授 … もっと見る
審査区分/研究分野	研究代表者情報工学 / 計算機科学研究代表者以外計算機科学 / 数学一般 / 情報システム学(含情報図書館学) / 理工系
キーワード	研究代表者 PaiLisp / PaiLisp-Kernel / 例による証明 / 並列LISP言語 / 並列Lisp / 検証 / 項書き換え系 / verification / stealable / プログラムの論理と証明 … もっと見る研究代表者以外 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件

伊藤 貴康 ITO Takayasu

研究課題

共同研究者

新しい並列関数型言語とその高性能処理系の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

発展的ソフトウェアの理論に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高機能高品質ソフトウエアの基礎理論に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

高機能高品質ソフトウェアの基礎理論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

高機能高品質ソフトウエアの基礎理論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

並列LISPとその処理系の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究代表者

研究期間 (年度)

研究種目

研究機関

相補的プログラミング環境の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

伊藤貴康 ITO Takayasu