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

野崎 昭弘  ノサキ アキヒロ

ORCIDConnect your ORCID iD *help
Researcher Number 90012343
Affiliation (based on the past Project Information) *help 1987 – 1989: 国際基督教大学, 教養学部, 教授
1986: 国際基督教大学, 教養部, 教授
Review Section/Research Field
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Keywords
Except Principal Investigator
プログラムの仕様記述 / プログラミング / 計算機応用数理 / 計算機の基礎数理 / グラフの結合度と可約辺 / ペアノ算術系 / 類推の理論 / V-論理 / 計算幾何学 / 定理の自動証明 … More / プログラムの自動合成 / Modula-2 / 関数型言語の処理機構 / トポス / 圏論と計算機科学 / PSYCHE / 音釆処理系 / 関係演算 / Smalltalk80 / LPS / プログラム合成系 / Wnn / 日本語入力 / GMW / ウィンドウシステム / ソリッドモデラ / CSP / Vー理論 / 可約辺 / 3ー連結グラフ / 符号理論 / 圏論と計算理論 Less
  • Research Projects

    (2 results)
  • Co-Researchers

    (9 People)
  •  プログラム数理の総合的研究

    • 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)
      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.  米田 信夫 (50080487)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  難波 完爾 (40015524)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  五十嵐 滋 (80027367)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  謝 章文 (20065866)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  伊理 正夫 (40010722)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  榎本 彦衛 (00011669)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  廣瀬 健 (60063632)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  西村 敏男 (00015471)
    # 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