教員情報 - 勝股　審也 | 京都産業大学

研究キーワード：理論計算機科学、プログラミング言語理論

（最終更新日 : 2025-09-30 04:31:08）

Visruth.jpg not found

カツマタ　シンヤ KATSUMATA SHINYA
勝股　審也

所属

京都産業大学理学部数理科学科

職種教授

研究概要
計算機科学の一分野にプログラミング言語の意味論があります。これはプログラミング言語が供える様々な機構を数学的および論理学的にモデル化して調べ、得られた知見を実際の言語の設計や改良に還元する研究分野です。私は主に圏論を用い、プログラムやプログラミング言語の数学的モデルを研究してきました。近年は状態遷移系の理論やプログラム・システム検証の数学的モデルも研究しています。

学会発表
2024/04/06	Codensity Liftings and Their Applications (17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024))
2021/11/10	回帰型ニューラルネットワークの圏論的分析 (IBIS 2021)
2021/09/02	Divergences on Monads for Relational Program Logic (MFPS2021)
2021/03/10	Weakest Preconditions in Fibrations (プログラミングおよびプログラミング言語ワークショップ PPL 2021)
2020/06/29	A Double Category Theoretic Analysis of Graded Linear Exponential Comonads (Linearity & TLLA 2020)
全件表示（6件）

著書・論文歴
2025/04	論文	Differentiable causal computations via delayed trace (extended version) Mathematical Structures in Computer Science 35 (共著)
2024	論文	Composing Codensity Bisimulations Proceedings of LICS,2.167361111111111-2.1756944444444444頁 (共著)
2024	論文	Control-data separation and logical condition propagation for efficient inference on probabilistic programs Journal of Logical and Algebraic Methods in Programming 136,100922 (共著)
2023	論文	A Categorical Framework for Program Semantics and Semantic Abstraction Proceedings of MFPS, ENTICS 3 (共著)
2023	論文	Divergences on Monads for Relational Program Logics Mathematical Structures in Computer Science 33 (45387),427-485頁 (共著)
全件表示（52件）

学歴
2000/10～2005/06	エジンバラ大学理工学部博士課程修了哲学博士 (情報学基礎論)
1998/04～2000/03	京都大学理学研究科数学・数理解析専攻修士課程修了修士(理学) (数学・数理解析)
1993/04～1998/03	京都大学工学部電気電子工学科卒業学士(工学) (電子工学)

職歴
2023/04 ～ 2024/03	国立情報学研究所アーキテクチャ科学研究系特任教授
2017/04 ～ 2023/03	国立情報学研究所アーキテクチャ科学研究系特任准教授
2017/01 ～ 2024/03	科学技術振興機構 ERATO蓮尾メタ数理システムデザインプロジェクト研究総括補佐
2007/04 ～ 2017/03	京都大学数理解析研究所助教
2004/04 ～ 2007/03	京都大学数理解析研究所助手

講師・講演
2025/02/06	Codensity liftings and their applications to semantics (ENS de Lyon)
2024/07/13	コンピュータを数学する - AI 時代を支えるプログラムの安心・安全を目指して - (キャンパスプラザ京都)
2024/06/26	ホーア論理のモナド的モデル (京都産業大学)
2022/12/16	Differentiable Causal Computation via Delayed Trace (成功大學未来館)
2022/06/29	ホーア論理のモナド的モデル
全件表示（10件）

所属学会
	Association for Computing Machinery
	日本ソフトウェア科学会

researchmap会員ID
5000091259

研究課題・受託研究・科研費
2025/04 ～ 2029/03	計算効果を持つプログラムの証明のための枠組みの構築研究課題基盤研究(B) キーワード(等式理論 / 関数型プログラミング言語 / 計算効果 / 定理証明支援系)
2022/04 ～ 2025/03	物理的・確率的システムの検証を支える形式的基盤の構築基盤研究 (A) キーワード(形式検証、数学の形式化、Coq、確率的プログラミング、プログラム検証)
2018/04 ～ 2021/03	確率的グラフィカルモデルの形式検証とその人工知能への応用基盤研究 (B) キーワード(形式検証、Coq、条件付き独立、情報理論、graphoid、確率プログラミング、モナド、測度論、ルベーグ積分、確率論)
2015/04 ～ 2020/03	エフェクトシステムの表示的意味論にまつわる数学的構造研究代表者基盤研究 (C) キーワード(次数付きモナド、表示的意味論、エフェクトシステム、型理論、差分プライバシー、ホーア論理、次数付きコモナド、計算効果、プログラミング言語の意味論、線形論理)
2013/04 ～ 2015/03	Haskellコアの意味論－先端的ソフトウェア検証基盤へ向けて挑戦的萌芽研究キーワード(プログラム理論、圏論、関数プログラム、情報学基礎、Haskell、プログラム意味論、操作的意味論)
全件表示（7件）

委員会・協会等
2025 ～ 2025	International Conference on Applied Category Theory Program Committee
2025 ～ 2025	Mathematical Foundations of Programming Semantics Program Committee
2025 ～ 2025	The 18th Asian Logic Conference Local Organizing Committee
2024 ～ 2024	International Symposium on Functional and Logic Programming FLOPS 2024 general chair
2023 ～ 2023	Computer Science Logic 2023 program committee
全件表示（43件）

ホームページ
https://www.kyoto-su.ac.jp/faculty/professors/sc/katsumata_shinya.html

受賞学術賞
2024/04	文部科学省科学技術分野の文部科学大臣表彰 (来るべき情報技術の社会的信頼を担う数理的ソフトウェア研究)
2023/11	日本ソフトウェア科学会日本ソフトウェア科学会第４０回大会優秀発表賞 (A Categorical Framework for Program Semantics and Semantic Abstraction)
2015/03	日本ソフトウェア科学会プログラミング論研究会 PPL2015発表賞(一般の部) (モナド、代数理論と計算効果)

現在の専門分野
情報学基礎論, 数理情報学, ソフトウェアキーワード(理論計算機科学、プログラミング言語理論)

e-Rad研究者番号
30378963

担当経験のある科目
アルゴリズム入門（東京大学）
コンピュータサイエンス入門（京都大学）
コンピュータサイエンス基礎（京都大学）
プログラミングI （同志社大学文化情報学部）
プログラミング入門（同志社大学文化情報学部）
全件表示（8件）

外部研究者ID
ORCID iD
0000-0001-7529-5489