Researcher Number |
30378963
|
Other IDs |
|
Affiliation (Current) |
2024: 京都産業大学, 理学部, 教授
2024: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員
|
Affiliation (based on the past Project Information) *help |
2018 – 2023: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員
2017: 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員
2012 – 2016: 京都大学, 数理解析研究所, 助教
2008 – 2010: Kyoto University, 数理解析研究所, 助教
|
Review Section/Research Field |
- Principal Investigator
-
Fundamental theory of informatics /
Theory of informatics
- Except Principal Investigator
-
Medium-sized Section 60:Information science, computer engineering, and related fields /
Basic Section 60010:Theory of informatics-related /
Theory of informatics /
Fundamental theory of informatics
|
Keywords |
- Principal Investigator
-
計算効果 / エフェクトシステム / 表示的意味論 / 線形論理 / プログラミング言語の意味論 / 次数付きコモナド / ホーア論理 / 差分プライバシー / 型理論 / 次数付きモナド
… More
/ 国際研究者交流 / TT-lifting / 余代数 / ファイブレーション / 論理関係 / モナド / トレース付きモノイダル圏 / Int構成 / 属性文法 / 圏論 / プログラム変換
… More
- Except Principal Investigator
-
Coq / 形式検証 / 圏論 / プログラム意味論 / プログラム理論 / プログラム検証 / 確率的プログラミング / 数学の形式化 / 確率論 / ルベーグ積分 / 測度論 / モナド / 確率プログラミング / graphoid / 情報理論 / 条件付き独立 / 操作的意味論 / Haskell / 情報学基礎 / 関数プログラム / トポロジー / 数理論理学
Less
|