検索内容:
長い航海の間、船の計算者は航海の机に座り、ランタンの明かりで星の位置を数えていた。
研究所の旧式の計算装置は新しいシミュレーションモデルの処理に苦労した。
19世紀には、各天文学者が長時間にわたる軌道計算を行うために人間の計算者に頼っていた。
現代の計算は天文学のデータ解析を加速する。
彼女が複雑な式を計算しているときに停電が起きた。
一般的な手続きが常にそのパズルの各事例を解けるかどうかを判断するため、論理学者たちはその問題の計算可能性を検討した。
適切なアルゴリズムがあれば、一見手に負えないように見える多くの問題は実際に計算可能であることがわかる。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★