• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

ITO Takayasu  伊藤 貴康

ORCIDConnect 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)
  •  Research on New Parallel Functional Languages and Their High-Performance ProcessorsPrincipal 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 SoftwarePrincipal 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 SystemPrincipal 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 EnvironmentPrincipal 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
  • 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

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi