• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

五十嵐 滋  IGARASHI Shigeru

ORCIDORCID連携する *注記
研究者番号 80027367
外部サイト
所属 (過去の研究課題情報に基づく) *注記 1996年度 – 2000年度: 筑波大学, 電子・情報工学系, 教授
1994年度 – 1996年度: 筑波大学, 電子情報工学系, 教授
1987年度 – 1994年度: 筑波大学, 電子・情報工学系, 教授
1986年度 – 1987年度: 筑波大学, 電子情報工学系, 教授
審査区分/研究分野
研究代表者
計算機科学 / 情報工学 / 数学一般
研究代表者以外
数学一般 / 計算機科学
キーワード
研究代表者
Tense Arithmetic / SOFA / 音楽情報処理 / Music information processing / Envelope theory / Verification of realtime controlled systems / Daphne / エンヴェロープ理論 / 実時間システムの検証 / artificial intelligence … もっと見る / equivalence theory / music information processing / incomplete information game / programming language NU / nu-conversion / 軌跡準同型 / 不完全情報ゲ-ム / Uー転換 / V-転換 / 人工知能 / 同値理論 / 不完全情報ゲーム / NU / レー転換 / プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 … もっと見る
研究代表者以外
音楽情報処理 / 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ー連結グラフ / 符号理論 / 圏論と計算理論 隠す
  • 研究課題

    (7件)
  • 共同研究者

    (27人)
  •  解析的意味論に基づく実時間プログラムシステムの検証の研究

    • 研究代表者
      水谷 哲也
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      筑波大学
  •  論理的プログラム及びその基礎数理研究代表者

    • 研究代表者
      五十嵐 滋
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      筑波大学
  •  アルゴリズム論に関する総合的研究

    • 研究代表者
      小林 孝次郎 (小林 孝治郎)
    • 研究期間 (年度)
      1994 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京工業大学
  •  計算機プログラムの理論的基礎の総合的研究

    • 研究代表者
      辻 尚史
    • 研究期間 (年度)
      1993 – 1995
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      千葉大学
      筑波大学
  •  述語論理的プログラムの理論及び実装研究代表者

    • 研究代表者
      五十嵐 滋
    • 研究期間 (年度)
      1990 – 1992
    • 研究種目
      一般研究(B)
    • 研究分野
      情報工学
    • 研究機関
      筑波大学
  •  プログラム数理の総合的研究研究代表者

    • 研究代表者
      五十嵐 滋
    • 研究期間 (年度)
      1987 – 1989
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      筑波大学
  •  離散的計算機数学の総合的研究

    • 研究代表者
      米田 信夫
    • 研究期間 (年度)
      1985 – 1987
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      東京大学
  • 1.  水谷 哲也 (70209758)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 2.  細野 千春 (20108294)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 3.  米田 信夫 (50080487)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  難波 完爾 (40015524)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  榎本 彦衛 (00011669)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  野崎 昭弘 (90012343)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  辻 尚史 (70016666)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  小野 寛晰 (90055319)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  塩 雅之 (60302395)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  富田 康治 (80357574)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 11.  謝 章文 (20065866)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  伊理 正夫 (40010722)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  廣瀬 健 (60063632)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  伊藤 貴康 (80124551)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  西村 敏男 (00015471)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  大木 敦雄 (20160434)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  西村 泰一 (70135614)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  一松 信 (10027378)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  小林 孝次郎 (00016148)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  宮野 悟 (50128104)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  加納 幹雄 (20099823)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  有川 節夫 (40037221)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  笠井 琢美 (70027382)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  伊藤 達郎 (90015909)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  坂井 公 (20241797)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  池田 靖雄 (10279599)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi