|
佐藤哲也 2021年 研究業績一覧 (4件 / 18件)
論文
-
Alejandro Aguirre,
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
Shin-ya Katsumata,
Tetsuya Sato.
Higher-order probabilistic adversarial computations: categorical semantics and program logics,
Proceedings of the ACM on Programming Languages,
Vol. 5,
No. ICFP,
pp. 1-30,
Aug. 2021.
公式リンク
国際会議発表 (査読有り)
-
Yusuke Kawamoto,
Tetsuya Sato,
Kohei Suenaga.
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic,
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022),
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning,
Sept. 2021.
公式リンク
-
Marco Gaboardi,
Shin-ya Katsumata,
Dominic Orchard,
Tetsuya Sato.
Graded Hoare Logic and its Categorical Semantics,
30th European Symposium on Programming (ESOP 2021),
Lecture Notes in Computer Scienece (LNCS),
Springer International Publishing,
Volume 2648,
pp. 234-263,
Mar. 2021.
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|