理論計算機科学的日文

• りろんけいさんきかがく

• 计算机科学    けいさんきかがく
• 反射 (计算机科学)    リフレクション (情報工学)
• 容器 (计算机科学)    Webコンテナ
• 对象 (计算机科学)    オブジェクト (プログラミング)
• 类 (计算机科学)    クラス (コンピュータ)
• 继承 (计算机科学)    継承
• 垃圾回收 (计算机科学)    ガベージコレクション
• 计算机理论    けいさんきりろん
• 信息－计算机系统科学    じょうほうけいさんきシステムズかがく
• 计算机    計算機.コンピューター.『量』台,个. 电子计算机／コンピューター. 模拟 mónǐ 计算机／アナログ?コンピューター. 计算机程序 chéngxù 设计／コンピューター?プログラミング.
• 计算机计算机方程    えんざんほうていしき
• 计算机－计算机间传输    けいさんきけいさんきかんでんそう
• 基础科学理论    きそかがくりろん
• 计算理论    理論計算機科学
• 专用计算机    とくしゅもくてきけいさんきせんようけいさんきとくしゅようけいさんきせんようコンピュータとくしゅようコンピュータ
• 个人计算机    パーソナルコンピュータマイコン
• 中央计算机    センタマシンセントラルコンピュータ
• 中心计算机    センタコンピュータ
• 中毒计算机    ポイズニングコンピュータ
• 串行计算机    シリアルマシンちょくれつがたけいさんき
• 主计算机    zhu3ji4suan4ji1 [电脑]ホストコンピュ—タ—
• 事务计算机    じむき
• 交互计算机    インタラクティブコンピュータ
• 代数计算机    だいすうけいさんき
• 理论设计分析    りろんてきフィールドかいせき
• 理论绝热功率    りろんだんねつどうりょく

• 理論計算機科学も理学の一つに数えられる事がある。
• 理論計算機科学の代表的な分野として以下のものがある。
• アルゴリズム解析は理論計算機科学の重要な一分野である。
• これらの問題の内の多くは理論計算機科学において研究されている。
• この項目「理論計算機科学」は、自然科学に関連した書きかけの項目です。
• 理論計算機科学では、状態遷移系間の関係を「シミュレーション」と呼ぶ。
• 人工知能研究の一部と考えられるが、理論計算機科学や哲学とも深い関係がある。
• 理論計算機科学や数理論理学における関数の形式化については、ラムダ計算も参照。
• 理論計算機科学では、計算機はチューリング機械(もしくはそれと同等の概念)としてモデル化されている。
• (コンピュータ用語ではこの数値化を「エンコード」と呼び、理論計算機科学では「ゲーデル数化」という。