理論計算機科学
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/31 04:35 UTC 版)
理論計算機科学(りろんけいさんきかがく、英語:theoretical computer science)または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている[1][2][3]。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。
- ^ Hartmanis, A. C. D. H. J., Henzinger, T., Leighton, J. H. N. J. T., & Nivat, M. (2006). Texts in Theoretical Computer Science An EATCS Series.
- ^ Hartmanis, A. C. D. H. J., Henzinger, T., Leighton, J. H. N. J. T., & Nivat, M. (2006). Monographs in Theoretical Computer Science An EATCS Series.
- ^ Hartmanis, J. (1981). Observations about the development of theoretical computer science. Annals of the History of Computing, 3(1), 42-51.
- ^ 横内寛文. (1994). プログラム意味論. 共立出版.
- ^ “SIGACT”. 2013年7月13日閲覧。
- ^ “ToCT”. 2010年6月9日閲覧。
- ^ “Challenges for Theoretical Computer Science: Theory as the Scientific Foundation of Computing”. 2009年3月29日閲覧。
- ^ 森井昌克, & 笠原正雄. (1992). ユークリッド互除法に基づく狭義 2 元 BCH 符号の復号について. 電子情報通信学会論文誌 A, 75(1), 144-147.
- ^ 堀口敏男. (1995). ユークリッド復号法を用いたリードソロモン符号の BCH 限界以上の復号. 電子情報通信学会論文誌 A, 78(5), 626-638.
- ^ Goodstein, R. L. (2007). Boolean algebra. Courier Corporation.
- ^ Berto, F. (2011). There's something about Gödel: the complete guide to the incompleteness theorem. John Wiley & Sons.
- ^ Smullyan, R. M. (1992). Gödel's incompleteness theorems. Oxford University Press on Demand.
- ^ 不完全性定理 / 菊池誠 著 | 共立出版
- ^ Shanon, C. (1948). A mathematical theory of communication. Bell System Technical Journal, 27, 379-623.
- ^ Guizzo, E. M. (2003). The essential message: Claude Shannon and the making of information theory (Doctoral dissertation, Massachusetts Institute of Technology).
- ^ Gappmair, W. (1999). Claude E. Shannon: The 50th anniversary of information theory. IEEE Communications Magazine, 37(4), 102-105.
- ^ Shor, P. W. (1994, November). Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science (pp. 124-134). IEEE.
- ^ Shor, P. W. (2002, May). Introduction to quantum algorithms. In Proceedings of Symposia in Applied Mathematics (Vol. 58, pp. 143-160).
- ^ Rieffel, E., & Polak, W. (2000). An introduction to quantum computing for non-physicists. ACM Computing Surveys (CSUR), 32(3), 300-335.
- ^ Pittenger, A. O. (2012). An introduction to quantum computing algorithms (Vol. 19). Springer Science & Business Media.
- 1 理論計算機科学とは
- 2 理論計算機科学の概要
- 3 組織
理論計算機科学と同じ種類の言葉
- 理論計算機科学のページへのリンク