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

馮 速  フォン スウ

ORCIDConnect your ORCID iD *help
Researcher Number 90262881
Affiliation (based on the past Project Information) *help 1995 – 1996: 名古屋大学, 工学部, 助手
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
rewriting computation / term rewriting system / 被覆集合帰納法 / 帰納的定理 / 代数的仕様 / 検証 / 項書換え系 / 並行計算 / 書換え計算 / cover set induction … More / inductive theory / algebraic specification / verification / concurrent computation / meta computation / メタ計算 / algebraic programming / computational model / functional language / programming environment / visual support environment / process algebra / 実時間並行計算 / プログラム変換 / 視覚化 / 代数的プログラミング / 計算モデル / 関数型言語 / プログラミング環境 / 視覚的支援 / プロセス代数 / 書換え計算モデル / 可視化 Less
  • Research Projects

    (2 results)
  • Co-Researchers

    (7 People)
  •  Fundamental research on algebraic meta-programming

    • Principal Investigator
      HAMAGUCHI Takeshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Implementing Visual Programming Environment for Rewriting Computation

    • Principal Investigator
      INAGAKI Yasuyoshi, SAKABE Toshiki
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  • 1.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  YUEN Shoji (70230612)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  SAKAI Masahiko (50215597)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  HAMAGUCHI Takeshi (90273284)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  AGUSA Kiyoshi (90026360)
    # 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