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

米田 信夫  YONEDA Nobuo

ORCIDORCID連携する *注記
研究者番号 50080487
所属 (過去の研究課題情報に基づく) *注記 1993年度 – 1995年度: 東京電機大学, 理工学部, 教授
1990年度: 東京電機大学, 理工学部, 教授
1989年度: 東京大学, 理学部, 教授
1987年度 – 1989年度: 東京大学, 理学部情報科学科, 教授
1987年度: 東京大学, 理学部, 教授
1986年度: 東大, 理学部, 教授
審査区分/研究分野
研究代表者
数学一般
研究代表者以外
数学一般 / 科学教育
キーワード
研究代表者
グラフの結合度と可約辺 / ペアノ算術系 / 類推の理論 / V-論理 / 計算幾何学 / 定理の自動証明 / プログラムの自動合成 / Modula-2 / 関数型言語の処理機構 / トポス … もっと見る / 圏論と計算機科学 / PSYCHE / 音釆処理系 / 関係演算 / Smalltalk80 / LPS / プログラム合成系 / Wnn / 日本語入力 / GMW / ウィンドウシステム / ソリッドモデラ / CSP / Vー理論 / 可約辺 / 3ー連結グラフ / 符号理論 / 圏論と計算理論 … もっと見る
研究代表者以外
NU / Constructive Mathematics / Distributed Operating System / Graph Algorithms / Cellular Automata / Non-classical Logic / Theorem Proving / Program Synthesis / 幾何学算法 / 論理体系 / 算譜言語のモデル / 算譜言語 / 分散OS / 高階論理体系 / 算譜の検証 / 算譜の仕様 / 定理証明系 / セルオ-トマン / グラフ算法 / セルオ-トマトン / 非古典論理 / 定理証明 / 算譜合成 / music information processing / artificial inteligence / graph theory / programming / theory of programs / logic / 人工知能 / プログラム検証 / 時制算術 / ν-転換 / 解析的意味論 / CMP / オブジェクト指向 / PSYCHE / 音楽情報処理 / envelope system / 数学的知性 / プログラム / 中等教育 / コンピュータ・リテラシー / コンピュータ教育 / コンピュータ / 数学教育 / プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 隠す
  • 研究課題

    (5件)
  • 共同研究者

    (24人)
  •  計算機プログラムの理論的基礎の総合的研究

    • 研究代表者
      辻 尚史
    • 研究期間 (年度)
      1993 – 1995
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      千葉大学
      筑波大学
  •  離散的情報数学の総合的研究

    • 研究代表者
      廣瀬 健
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      早稲田大学
  •  プログラム数理の総合的研究

    • 研究代表者
      五十嵐 滋
    • 研究期間 (年度)
      1987 – 1989
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      筑波大学
  •  中等・大学教育におけるコンピュータ利用の数学教育の研究

    • 研究代表者
      藤田 宏
    • 研究期間 (年度)
      1987
    • 研究種目
      一般研究(C)
    • 研究分野
      科学教育
    • 研究機関
      東京大学
  •  離散的計算機数学の総合的研究研究代表者

    • 研究代表者
      米田 信夫
    • 研究期間 (年度)
      1985 – 1987
    • 研究種目
      総合研究(A)
    • 研究分野
      数学一般
    • 研究機関
      東京大学
  • 1.  難波 完爾 (40015524)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 2.  五十嵐 滋 (80027367)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  伊理 正夫 (40010722)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  榎本 彦衛 (00011669)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  野崎 昭弘 (90012343)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  廣瀬 健 (60063632)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  小野 寛晰 (90055319)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  謝 章文 (20065866)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  伊藤 貴康 (80124551)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  西村 敏男 (00015471)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  藤田 宏 (80011427)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  坂村 健 (10126071)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  国井 利泰 (50013743)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  大島 利雄 (50011721)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  小松 彦三郎 (40011473)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  辻 尚史 (70016666)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  一松 信 (10027378)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  水谷 哲也 (70209758)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  細野 千春 (20108294)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  上江洲 忠弘 (60015550)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  中島 玲二 (60109080)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  藤野 精一 (20037146)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  河原 康雄 (90091181)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  佐藤 雅彦 (20027387)
    共同の研究課題数: 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