Updated on 2025/03/14

写真a

 
KURA, Satoshi
 
Affiliation
Faculty of Education and Integrated Arts and Sciences, School of Education
Job title
Assistant Professor(non-tenure-track)
Degree
Doctor of Philosophy ( 2022.03 The Graduate University for Advanced Studies )
Homepage URL
https://group-mmm.org/~skura/

Research Experience

  • 2024.04
    -
    　

    Waseda University   Faculty of Education and Integrated Arts and Sciences

  • 2022.04
    -
    2024.03

    National Institute of Informatics

  • 2022.04
    -
    2024.03

    University of Oxford   Department of Computer Science   Academic Visitor

  • 2022.04
    -
    2024.03

    Japan Society for the Promotion of Science

  • 2021.04
    -
    2022.03

    Japan Society for the Promotion of Science

Education Background

  • 2019.04
    -
    2022.03

    The Graduate University for Advanced Studies   School of Multidisciplinary Sciences   Department of Informatics  

  • 2017.04
    -
    2019.03

    The University of Tokyo   The Graduate School of Information Science and Technology   Department of Computer Science  

  • 2013.04
    -
    2017.03

    The University of Tokyo   Faculty of Science   Department of Information Science  

Awards

  • Best student award

    2021.09   National Institute of Informatics  

  • JSSST 2020 Best Presentation Award

    2020.09   Graded Algebraic Theories

 

Papers

▼display all

Presentations

  • Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System

    Satoshi Kura, Hiroshi Unno

    The 29th ACM SIGPLAN International Conference on Functional Programming 

    Presentation date： 2024.09

    Event date：
    2024.09
    　
    　

  • Higher-Order Weakest Precondition Transformers via a CPS Transformation

    Satoshi Kura

    The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects 

    Presentation date： 2023.09

  • Decision Tree Learning in CEGIS-Based Termination Analysis

    Satoshi Kura, Hiroshi Unno, Ichiro Hasuo

    33rd International Conference on Computer-Aided Verification 

    Presentation date： 2021.07

  • Graded Algebraic Theories

    Satoshi Kura

    23rd International Conference on Foundations of Software Science and Computation Structures 

    Presentation date： 2021.03

  • A Generic Semantic Construction of Dependent Refinement Type Systems, Categorically

    Satoshi Kura

    24th International Conference on Foundations of Software Science and Computation Structures 

    Presentation date： 2021.03

▼display all

Research Projects

  • 述語変換子による合成性を活かした自動検証手法の圏論的意味論を経由した拡張

    日本学術振興会  科学研究費助成事業

    Project Year :

    2021.04
    -
    2023.03
     

    内藏 理史

    　View Summary

    本年度は主にエフェクトハンドラーの検証のためのプログラム論理を圏論的意味論を用いて研究した．本研究のベースとなっているHermidaの研究ではfibrationと呼ばれるある種の関手に沿って単純型付きλ計算の意味論の"持ち上げ"を考えることでプログラムが満たす性質について議論するが，本研究ではエフェクトハンドラーの圏論的意味論として知られているEilenberg-Moore代数に対してある特定のfibrationに沿った持ち上げが存在するための十分条件を新たに与えた．さらに意味論側での持ち上げの存在の十分条件に対応するように構文側での十分条件を考えることで，エフェクトハンドラーの性質を証明するための推論規則を与えた．この推論規則は合成的であり，あるエフェクトハンドラーの性質の検証をそれぞれの代数的演算(algebraic operation)の性質の検証に帰着することができる．この推論規則を用いることでこれまで検証が難しかった，状態を扱うエフェクトハンドラーの検証が(現時点では非常に簡単なプログラムの例までしか考えていないものの)できるようになった．これらの研究成果は自身の博士論文の一つの章としてまとめた．また本研究成果の論文は近いうちに国際会議に投稿する予定である．

  • 圏論と自動検証による機械学習の仕様保証

    科学技術振興機構  戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X

    Project Year :

    2021
    -
    2023
     

    内藏 理史

    　View Summary

    近年の機械学習の発展に伴い、機械学習のアルゴリズムに対してプライバシー・公平性・安全性など様々な要求が出てきています。確率的プログラムや微分可能プログラムとして書かれた機械学習のアルゴリズムの自動検証の新しい手法を、(1)プログラム論理や篩型システムなどの既存の自動検証を圏論的意味論を用いて一般化し、(2)確率的プログラムや微分可能プログラムに合わせた設定で具体化することで、手法の獲得を目指します。

 

Syllabus

▼display all

 

Sub-affiliation

  • Faculty of Education and Integrated Arts and Sciences   Graduate School of Education