Takafumi Saikawa

According to our database, Takafumi Saikawa authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

CoRR, 2023

Typed compositional quantum computation with lenses.

Jacques Garrigue, Takafumi Saikawa

CoRR, 2023

2021

A trustful monad for axiomatic reasoning with probability and nondeterminism.

Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa

J. Funct. Program., 2021

2020

A Library for Formalization of Linear Error-Correcting Codes.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

J. Autom. Reason., 2020

Formal Adventures in Convex and Conical Spaces.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Formal Verification and Code-Generation of Mersenne-Twister Algorithm.

Takafumi Saikawa, Kazunari Tanaka, Kensaku Tanaka

Proceedings of the International Symposium on Information Theory and Its Applications, 2020

2019

A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning.

Reynald Affeldt, David Nowak, Takafumi Saikawa

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Examples of Formal Proofs about Data Compression.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

2016

Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016