Todo

[R] QbC: Quantum Correctness by Construction

[R] Quantum Computation and Quantum Information (0/12)

[L] EnglishPod (14/365)

[L] 天声人語 I (14/28)

Done

[R] Basics of quantum information (4/4)

[W] ECOOP 2024

[R] QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization

[R] Programming Quantum Computers: Essential Algorithms and Code Samples