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

IGARASHI Shigeru  五十嵐 滋

ORCIDConnect your ORCID iD *help
Researcher Number 80027367
External Links
Affiliation (based on the past Project Information) *help 1996 – 2000: 筑波大学, 電子・情報工学系, 教授
1994 – 1996: 筑波大学, 電子情報工学系, 教授
1987 – 1994: 筑波大学, 電子・情報工学系, 教授
1986 – 1987: 筑波大学, 電子情報工学系, 教授
Review Section/Research Field
Principal Investigator
計算機科学 / 情報工学 / General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / 計算機科学
Keywords
Principal Investigator
Tense Arithmetic / SOFA / 音楽情報処理 / Music information processing / Envelope theory / Verification of realtime controlled systems / Daphne / エンヴェロープ理論 / 実時間システムの検証 / artificial intelligence … More / equivalence theory / music information processing / incomplete information game / programming language NU / nu-conversion / 軌跡準同型 / 不完全情報ゲ-ム / Uー転換 / V-転換 / 人工知能 / 同値理論 / 不完全情報ゲーム / NU / レー転換 / プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 … More
Except Principal Investigator
音楽情報処理 / Tense Arithmetic / SOFA / NU / PSYCHE / Music information processing / Envelope theory / Verification of realtime controlled systems / tense Arithemetic / 定時間システムの検証 / エンヴェローブ理論 / エンヴェロープ理論 / 実時間システムの検証 / Music Information Processing / Structure of Proteins / Temporal Logic / Verification of Programs / Relational Algebra / Algebraic Semantics / Knowledge Propositional Logic / Identification of Differential Equations / グラフの構造 / 計算量理論 / 計算モデル / プログラム理論 / 英文翻訳 / システム同定 / 時間の論理 / 様相論理 / 文字列パターン / セルオートマトン / 高階単一化 / 蛋白質の構造 / 時相論理 / プログラムの検証 / 関係代数 / 代数的意味論 / 知識命題論理 / 微分方程式の同定 / music information processing / artificial inteligence / graph theory / programming / theory of programs / logic / 人工知能 / プログラム検証 / 時制算術 / ν-転換 / 解析的意味論 / CMP / オブジェクト指向 / envelope system / グラフの結合度と可約辺 / ペアノ算術系 / 類推の理論 / V-論理 / 計算幾何学 / 定理の自動証明 / プログラムの自動合成 / Modula-2 / 関数型言語の処理機構 / トポス / 圏論と計算機科学 / 音釆処理系 / 関係演算 / Smalltalk80 / LPS / プログラム合成系 / Wnn / 日本語入力 / GMW / ウィンドウシステム / ソリッドモデラ / CSP / Vー理論 / 可約辺 / 3ー連結グラフ / 符号理論 / 圏論と計算理論 Less
  • Research Projects

    (7 results)
  • Co-Researchers

    (27 People)
  •  A Study on Program Verification Systems based on Analytic Semantics

    • Principal Investigator
      MIZUTANI Tetauya
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      UNIVERSITY OF TSUKUBA
  •  LOGICAL PROGRAM AND ITS MATHEMATICAL FOUNDATIONPrincipal Investigator

    • Principal Investigator
      IGARASHI Shigeru
    • Project Period (FY)
      1997 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  Synthetic Research on the Theory of Algorithms

    • Principal Investigator
      KOBAYASHI Kojiro
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology
  •  Co-operative research on theoretical foundations of computer programs

    • Principal Investigator
      TSUJI Takashi
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Chiba University
      University of Tsukuba
  •  Theory and implementation of predicate-logical programsPrincipal Investigator

    • Principal Investigator
      IGARASHI Shigeru
    • Project Period (FY)
      1990 – 1992
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      情報工学
    • Research Institution
      University of Tsukuba
  •  プログラム数理の総合的研究Principal Investigator

    • 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
      YONEDA Nobuo
    • Project Period (FY)
      1985 – 1987
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      The University of Tokyo
  • 1.  MIZUTANI Tetsuya (70209758)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 2.  HOSONO Chiharu (20108294)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 3.  YONEDA Nobuo (50080487)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  NANBA Kanji (40015524)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  ENOMOTO Hikoe (00011669)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  野崎 昭弘 (90012343)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  TSUJI Takashi (70016666)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  SHIO Masayuki (60302395)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  TOMITA Kohji (80357574)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  謝 章文 (20065866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  伊理 正夫 (40010722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  廣瀬 健 (60063632)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  西村 敏男 (00015471)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  OHKI Atsuo (20160434)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  HITOTUMATU Shin (10027378)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  KOBAYASHI Kojiro (00016148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  MIYANO Satoru (50128104)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  KANO Mikio (20099823)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  ARIKAWA Setsuo (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  笠井 琢美 (70027382)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  佐藤 雅彦 (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  伊藤 達郎 (90015909)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  SAKAI Ko (20241797)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  IKEDA Yasuwo (10279599)
    # 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