Affeldt Reynald

アフェルトレナルド | Affeldt Reynald

所属機関・部署：
職名：上級主任研究員
ホームページURL (1件)： https://staff.aist.go.jp/reynald.affeldt/

研究分野 (1件)：ソフトウェア

競争的資金等の研究課題 (8件)：

全件表示

論文 (44件)：

Reynald Affeldt, Cyril Cohen. Measure Construction by Extension in Dependent Type Theory with Application to Integration. Journal of Automated Reasoning. 2023. 67. 3. 28:1-28:27
Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. 2023. 3-16
Ayumu Saito, Reynald Affeldt. Towards a Practical Library for Monadic Equational Reasoning in Coq. Lecture Notes in Computer Science. 2022. 13544. 151-177
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. Journal of Functional Programming. 2021. 31. E17
Reynald Affeldt, David Nowak. Extending Equational Monadic Reasoning with Monad Transformers. 26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics. 2021. 188. 2:1-2:21

MISC (1件)：

AFFELDT Reynald. ふご[ζ×]う : 符号理論∈数学∩工学(第10回)形式的な符号理論に向けて. 数学セミナー. 2013. 52. 4. 74-79

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。