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

Sanada Takahiro  眞田 嵩大

ORCIDConnect your ORCID iD *help
… Alternative Names

眞田 嵩大  サナダ タカヒロ

Less
Researcher Number 30999983
Other IDs
Affiliation (Current) 2026: 福井県立大学, 情報センター, 助教
Affiliation (based on the past Project Information) *help 2024: 福井県立大学, 情報センター, 助教
Review Section/Research Field
Principal Investigator
1001:Information science, computer engineering, and related fields
Keywords
Principal Investigator
圏論 / 余代数 / 代数 / 状態遷移システム / プログラミング言語 / 圏論的機械学習 / ニューラルネットワーク / エフェクトハンドラ / 代数的エフェクト / プロモナド
  • Research Projects

    (1 results)
  • Research Products

    (3 results)
  •  Categorical Algebras and Coalgebras for Practical ApplicationsPrincipal Investigator

    • Principal Investigator
      眞田 嵩大
    • Project Period (FY)
      2024 – 2025
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Review Section
      1001:Information science, computer engineering, and related fields
    • Research Institution
      Fukui Prefectural University

All 2025 2024

All Journal Article Presentation

  • [Journal Article] Algebraic effects and handlers for arrows2024

    • Author(s)
      SANADA TAKAHIRO
    • Journal Title

      Journal of Functional Programming

      Volume: 34

    • DOI

      10.1017/s0956796824000066

    • Data Source
      KAKENHI-PROJECT-24K23867
  • [Presentation] ニューラルネットワークプログラミング言語のための代数構造2025

    • Author(s)
      眞田 嵩大
    • Organizer
      第27回プログラミングおよびプログラミング言語ワークショップ(PPL 2025)
    • Data Source
      KAKENHI-PROJECT-24K23867
  • [Presentation] ニューラルネットワークプログラミング言語のための代数構造2025

    • Author(s)
      眞田嵩大
    • Organizer
      理論計算機科学と圏論ワークショップ CSCAT 2025
    • Data Source
      KAKENHI-PROJECT-24K23867

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