ポスト
#キャルちゃんのquantphチェック Formal method (形式論的手法?)の応用可能性に焦点を当てた、量子コンピューティングのチュートリアル。量子回路と、その固有の組合せ論的な性質などについて説明した。 arxiv.org/abs/2407.11675 pic.twitter.com/3UfzkGMN6X
メニューを開く#キャルちゃんのquantphチェック Formal method (形式論的手法?)の応用可能性に焦点を当てた、量子コンピューティングのチュートリアル。量子回路と、その固有の組合せ論的な性質などについて説明した。 arxiv.org/abs/2407.11675 pic.twitter.com/3UfzkGMN6X
メニューを開く