Takafumi Saikawa

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Conditional Probabilities

Analogical Reasoning

Top Venues

J. Funct. Program.

Publications

Jacques Garrigue, Takafumi Saikawa
Typed compositional quantum computation with lenses. CoRR (2023)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. CoRR (2023)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A trustful monad for axiomatic reasoning with probability and nondeterminism. J. Funct. Program. 31 (2021)
Takafumi Saikawa, Kazunari Tanaka, Kensaku Tanaka
Formal Verification and Code-Generation of Mersenne-Twister Algorithm. ISITA (2020)
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
A Library for Formalization of Linear Error-Correcting Codes. J. Autom. Reason. 64 (6) (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CoRR (2020)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formal Adventures in Convex and Conical Spaces. CICM (2020)
Reynald Affeldt, David Nowak, Takafumi Saikawa
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. MPC (2019)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Examples of Formal Proofs about Data Compression. ISITA (2018)
Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes. ISITA (2016)