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

YONEDA Nobuo  米田 信夫

ORCIDConnect your ORCID iD *help
Researcher Number 50080487
Affiliation (based on the past Project Information) *help 1993 – 1995: 東京電機大学, 理工学部, 教授
1990: Tokyo Denki Univ, Mathematical Science, Professor, 理工学部, 教授
1989: 東京大学, 理学部, 教授
1987 – 1989: 東京大学, 理学部情報科学科, 教授
1987: 東京大学, 理学部, 教授
1986: 東大, 理学部, 教授
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
グラフの結合度と可約辺 / ペアノ算術系 / 類推の理論 / V-論理 / 計算幾何学 / 定理の自動証明 / プログラムの自動合成 / Modula-2 / 関数型言語の処理機構 / トポス … More / 圏論と計算機科学 / PSYCHE / 音釆処理系 / 関係演算 / Smalltalk80 / LPS / プログラム合成系 / Wnn / 日本語入力 / GMW / ウィンドウシステム / ソリッドモデラ / CSP / Vー理論 / 可約辺 / 3ー連結グラフ / 符号理論 / 圏論と計算理論 … More
Except Principal Investigator
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 / 数学的知性 / プログラム / 中等教育 / コンピュータ・リテラシー / コンピュータ教育 / コンピュータ / 数学教育 / プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 Less
  • Research Projects

    (5 results)
  • Co-Researchers

    (24 People)
  •  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
  •  Co-Operative Research on Discrete Mathematics for Information

    • Principal Investigator
      HIROSE Ken
    • Project Period (FY)
      1988 – 1990
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Waseda 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 General Scientific Research (C)
    • Research Field
      科学教育(含教育工学)
    • Research Institution
      The University of Tokyo
  •  離散的計算機数学の総合的研究Principal Investigator

    • Principal Investigator
      米田 信夫
    • 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.  NANBA Kanji (40015524)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  IRI Masao (40010722)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  榎本 彦衛 (00011669)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  野崎 昭弘 (90012343)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  HIROSE Ken (60063632)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  謝 章文 (20065866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  西村 敏男 (00015471)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  藤田 宏 (80011427)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  坂村 健 (10126071)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  国井 利泰 (50013743)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  大島 利雄 (50011721)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  小松 彦三郎 (40011473)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  TSUJI Takashi (70016666)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  HITOTUMATU Shin (10027378)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  水谷 哲也 (70209758)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  細野 千春 (20108294)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  UESU Tadahiro (60015550)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  NAKAJIMA Reiji (60109080)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  FUJINO Seiichi (20037146)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  河原 康雄 (90091181)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  佐藤 雅彦 (20027387)
    # 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