最終更新日:2025/12/03
Researchers compared several mathematical logics to determine which offered the most expressive power for modeling computation.
正解を見る
Researchers compared several mathematical logics to determine which offered the most expressive power for modeling computation.
音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文
研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。