- 523 名前:a4 [2018/11/26(月) 04:13:38.94 ID:XN1e38tN.net]
- >>499
声援ありがとうございます! ナマズの地震予知に使われる神経細胞からできた量子コンピュータなら、全て解決に 近いことが出来るかもですけどね、今の段階では「T」に、 ・積分などの計算。 ・いろんな定理の証明の入力。 ・自動定理証明のプログラム。 ・証明が真か検証できるようにする。 ・証明だけでなく、証明までの道筋を記録。 などの機能を組み入れることを妄想しています。量子コンピュータだと一発で解けて しまうのに、この開発は意味があるのか?など思う人もいるかもですが、一応、 宇宙人や未来人とやり取りして(え?
|

|