Xiaoning Bian

量子ホア論理が量子コンピュータープログラムの正しさをどう保証するかを学ぼう。

ランダムな要素を持つプログラムについての推論を深く見てみよう。