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

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

所属

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

職種教授

研究課題・受託研究・科研費
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、プログラム意味論、操作的意味論)
2012/04 ～ 2015/03	ＴＴ－ｌｉｆｔｉｎｇによる計算効果の分析若手研究(B) キーワード(モナド、論理関係、表示的意味論、エフェクトシステム、ファイブレーション、余代数、計算効果、TT-lifting、国際研究者交流)
2008/04 ～ 2010/03	属性文法の新しい圏論的基礎若手研究(B) キーワード(プログラム変換、圏論、属性文法、Int構成、トレース付きモノイダル圏)