a4です。量子コンピュータで作曲。at FUTUREa4です。量子コンピュータで作曲。 - 暇つぶし2ch362:a4 ◆L1L.Ef50zuAv 20/02/25 15:01:21 2LtiaC3V.net>>361 自動定理検証が量子コンピュータ?自動定理検証は既に古くからありますが、 それを使っての証明はあんまり成功してないので、こういう方法を使うんですよ。 ここで言った自動定理検証は、量子コンピュータで使うソフトウェアってこと です。人間に入力することを簡単に言いましたが、この手法は、このスレくらい でしか議論されず、ノーベル物理学賞くらいの先生らに聞いても、よくわからない、 などと返るだけです。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch