papa本27 p76 「Our proof~」から読んだ 次回はp80「The Reduction」から 久々に全然わからなかった。 connpass.com gadget続き Reliabilityの計算量がPSPACEになることを示そうとしている。 何を問題意識に議論しているのか全くわからなかった。 時系列でst…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。