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

WATANABE HIROSHI  渡邊 宏

ORCIDConnect your ORCID iD *help
… Alternative Names

渡邊 宏  ワタナベ ヒロシ

Less
Researcher Number 80344183
Affiliation (Current) 2026: 国立研究開発法人産業技術総合研究所, 計量標準総合センター, 研究グループ付
Affiliation (based on the past Project Information) *help 2026: 国立研究開発法人産業技術総合研究所, 計量標準総合センター, 主任研究員
2003 – 2004: 独立行政法人産業技術総合研究所, システム検証研究センター, 研究員
2002: 独立行政法人 産業技術総合研究所, 情報処理研究部門, 研究員
Review Section/Research Field
Principal Investigator
Basic Section 25010:Social systems engineering-related / 計算機科学
Keywords
Principal Investigator
遷移系 / プログラム変換 / モナド / 分配則 / 余代数 / 操作的意味
  • Research Projects

    (2 results)
  • Research Products

    (1 results)
  •  適合性評価のデジタル化へ向けた、規格・基準の適用可能な機械可読表現の研究Principal Investigator

    • Principal Investigator
      渡邊 宏
    • Project Period (FY)
      2026 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 25010:Social systems engineering-related
    • Research Institution
      National Institute of Advanced Industrial Science and Technology
  •  操作的意味を保存するプログラム変換の研究Principal Investigator

    • Principal Investigator
      渡邊 宏
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2004

All Journal Article

  • [Journal Article] Category theory for operational semantics2004

    • Author(s)
      Marina Lenisa, John Power, Hiroshi Watanabe
    • Journal Title

      Theoretical Computer Science 327

      Pages: 135-154

    • Data Source
      KAKENHI-PROJECT-14780251

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