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

Sakayori Ken  酒寄 健

ORCIDConnect your ORCID iD *help
… Alternative Names

酒寄 健  サカヨリ ケン

Less
Researcher Number 80990803
Other IDs
Affiliation (Current) 2026: 東京大学, 大学院情報理工学系研究科, 助教
Affiliation (based on the past Project Information) *help 2024: 東京大学, 大学院情報理工学系研究科, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60010:Theory of informatics-related
Keywords
Principal Investigator
プログラミング言語 / 計算効果 / 並行計算 / π計算
  • Research Projects

    (1 results)
  • Research Products

    (2 results)
  •  π計算を介したプログラム検証・解析Principal Investigator

    • Principal Investigator
      酒寄 健
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60010:Theory of informatics-related
    • Research Institution
      The University of Tokyo

All 2025 2024

All Journal Article Presentation

  • [Journal Article] On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic2025

    • Author(s)
      Yamada Risa、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke
    • Journal Title

      Proceedings of ESOP 2025, LNCS

      Volume: 15695 Pages: 402-428

    • DOI

      10.1007/978-3-031-91121-7_16

    • ISBN
      9783031911200, 9783031911217
    • Data Source
      KAKENHI-PROJECT-24K20731
  • [Presentation] Extensional and Non-extensional Functions as Processes2024

    • Author(s)
      Ken Sakayori
    • Organizer
      NII Shonan Meeting 175: New Directions and Challenges in Interactive Semantics
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24K20731

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