2ちゃんねる検索

全部
スレタイ
[ コンピュータ board:math ]を検索しました(あと0モリタポ) 5スレ中 1〜50スレ目 0.16秒
カキコ数▼ スレ立て日時▼ 最新カキコ▼
量子コンピュータは数学の証明に使えるか? (72)
… 量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを 引き出してくるというものです。Groverのアルゴリズムでは、 最新:2019/07/14 22:24 同じサーバ スレへのリンク p2抽出
【開発費】松本卓朗 量子コンピュータ【詐欺師】 (12)
… 【開発費】松本卓朗 量子コンピュータ【詐欺師】 東大理工学部 古澤明教授の元弟子と称し研究開発詐欺をしています。 利益が出る計画と出資 最新:2019/07/04 00:33 同じサーバ スレへのリンク p2抽出
汎用で無い量子コンピュータはガラクタである (27)
最新:2019/07/03 19:44 同じサーバ スレへのリンク p2抽出
マトリックス空間コンピュータ (13)
… 実用化を期待されるマトリックス空間制御コンピュータ 最新:2018/10/29 11:35 同じサーバ スレへのリンク p2抽出
【Coq】コンピューターで証明しよう【コック】©2ch.net (203)
最新:2018/10/17 09:46 同じサーバ スレへのリンク p2抽出
© 2003 - 2019 Brazil