理論計算機科学的日文

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

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

• レジスタマシン（英: Register machine）とは、数理論理学や理論計算機科学で使われる汎用計算模型の一種であり、チューリングマシンと同様の使われ方をされる。
• 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。
• 理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。
• 非決定性チューリング機械（英: Non-deterministic Turing machine、NTM）とは、理論計算機科学において、非決定性有限オートマトンのように働く制御機構を持つチューリング機械である。
• NPがPと同じかどうかという疑問（換言すれば、非決定的な多項式時間で解くことのできる問題は決定的な多項式時間でも解くことができるか）は、理論計算機科学における最重要問題の1つであり、その解決が様々な意味を持っている。
• ゲーデル賞 (G?del Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（アメリカ計算機学会）のアルゴリズムと計算量理論に関する部会とEATCS（ヨーロッパ理論コンピュータ学会）が贈る賞である。
• 正確な研究範囲を述べるのは容易ではないが、ACM の Special Interest Group on Algorithms and Computation Theory (SIGACT) は同グループの目的を理論計算機科学のプロモーションであるとしており、その対象範囲を次のように定義している。