• 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
計算機科学 / Science and Engineering / 情報システム学(含情報図書館学) / General mathematics (including Probability theory/Statistical mathematics)
Keywords
Principal Investigator
PaiLisp / PaiLisp-Kernel / stealable / verification / 項書き換え系 / 検証 / 並列Lisp / 並列LISP言語 / 例による証明 / parallel process … More / improvement / parallelism / semantically-based programming / constructive logic / proof / program / specification / complementary programming / complementarity / 高機能エディタ / 日本語プログラミング / 直観主義論理 / 論理型言語 / バックトラック自動消去 / 拡張ユニフィケーション / Lispプログラム検証システム / 推論ソフトウェア / バックトラックの削減法 / 非決定的プログラミング / 強制法 / デッドロックからの回復 / 簡約化規則 / 対話型プログラム検証システム / 自然推論 / 核言語 / ChanneL-Lisp / 分散メモリ型 / 共有メモリ型 / 並列マシン / 高品質ソフトウェア / 次世代コンピュータ / 並列プロセス / 構成的論理 / 改良 / 合成 / 並列性 / 意味論ベース / プログラム / 仕様 / 相補的プログラミング / 相補性 / SST machine / PaiLisp-kernel / lazy creation of tasks / lazy evaluation / Steal-Help Evaluation / parallel functional language / 関数遅延評価 / 並列Scheme / 仮想並列マシン / 共有メモリ型並列計算機 / 遅延評価法 / SSTマシン / タスク遅延生成 / スティール評価法 / 並列関数型言語 / linear logic / term rewriting system / functional logic programming / temporal logic / reactive system / sound parallelization / evolutionary programming mechanism / 適応的発展機構 / 発展的計算モデル / 検証情報 / 検証系 / 実時間論理 / 書換え型メタ計算モデル / 論理・関数型プログラミング / ソフトウェア仕様記述 / 発展的ソフトウェア / 線形論理 / 関数論理型プログラミング / 時相論理 / リアクティブシステム / 健全並列化 / 発展的プログラミング機構 / P-continuation passing style / P-continuation / PaiLisp compiler / PaiLisp interpreter / Parallel Symbolic Computing / Pail,isp / Parallel Lisp / ガ-ベ-ジコレクション / exlambda / 拡張call@cc / 並列LISP / 並列GC / 実時間GC / 並列オブジェクト指向 / PaiObject / 並列構文 / PaiLispーKernel / 並列プロセス計算 / σー計算 / 並列プロダクションシステム / ペトリネット操作システム / 並列定理証明プログラム / PaiLisp-Kenel / 構造化ネット操作システム / 並列Prologの実現 / 並列コンパイラ / 並列インタプリタ / P-コンティニュエーション / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / 構成的プログラミング / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / アルゴリズム・アニメ-ション / 構成的数学体系RPT / 並列プロセス計算σー計算 / 並列プログラミング / 型理論ATTT / 論理と証明 / プログラム・モデル / 分散アルゴリズム / 並列アルゴリズム / 高階ユニフィケ-ション / 例によるプログラミング / 構成的数学体系 / 実行の論理 / プログラムの論理と証明 … More
Except Principal Investigator
1 / Cyber security / Safe mail systems / impersonalization / viruses / Safe operating systems / Safe programming languages / protocol verification / Program / Software security / 総括班会議 / 研究の推進 / ソフトウエアインフラストラクチャ / プログラミング言語設計 / ソフトウエアの検証 / 安全なソフトウエア / セキュアコンピューティング / 社会基盤システム / 内部評価 / メールシステム / ソフトウェア実行機構 / ソフトウェア記述系 / 形式的検証法 / ソフト技術 / メモリ安全 / ソース解析・型理論 / オペレーティングシステム / プログラム言語処理系 / プログラム検証 / 安全な情報基盤 / ソフトウェアセキュリティ / サイバーセキュリティ / 安全なメールシステム / 成りすまし / ウィルス / 安全なオペレーティング / 安全なプログラミング言語 / プログラミング・プロトコル検証 / ソフトウェアセキュリテイ / biosystem / control strategy / hierarchy / wide-spread information system / brain / neural network / computer network / f fluctuations / 多自由度系 / ニューラルネットワーク / 生体システム / 制御原理 / 階層性 / 広域情報システム / 脳 / 神経回路網 / 計算機ネットワーク / fゆらぎ / adaptive reconstruction / environment for evolution / methodologies for evolution / mechanisms of evolution / principles for evolution / ソフトウエア構築再構成方法論 / ソフトウェア構築再構成方法論 / 発展的ソフトウェア検証証明法 / ソフトウェア適応的再構成 / ソフトウェア方式 / ソフトウェア発展方法論 / ソフトウェア発展基本機構 / ソフトウェア発展構成原理 / プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 / 問題解決 / 自動プログラミング / 自然言語 / 定性的推論 / 類推 / 高次推論 / 知識 / 知能 / マルチメディア情報処理 / 知能情報学 / ソフトウェア科学・工学 / 情報システム学 / 情報学の理論体系 / 情報学の基本理念 / ソフトウェア構築方法論 / ソフトウェア進化 / ソフトウェア発展 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 link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi