• 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 2026: 東京大学, 大学院情報理工学系研究科, 助教
2024: 東京大学, 大学院情報理工学系研究科, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60010:Theory of informatics-related
Except Principal Investigator
Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords
Principal Investigator
プログラミング言語 / 計算効果 / 並行計算 / π計算
Except Principal Investigator
不動点論理 / 型システム / プログラミング言語 / プログラム検証
  • Research Projects

    (2 results)
  • Research Products

    (2 results)
  • Co-Researchers

    (2 People)
  •  Design and Implementation of Verification-Oriented Programming Languages

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2026 – 2030
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      The University of Tokyo
  •  π計算を介したプログラム検証・解析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
  • 1.  小林 直樹 (00262155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  佐藤 亮介 (10804677)
    # 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