計算理論（けいさんりろん、theory of computation）は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算 (computation) とは、数学的に表現できる、あらゆる種類の情報処理のこと。計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシンは十分な計算能力を持つモデルでありながら、単純で定式化しやすく、様々な証明に使い易いため、計算機科学者がよく利用する。無限のメモリというのは非現実的な特徴と思われるかもしれないが、より適切な表現を使うならば「無制限」のメモリであって、読み書きしようとした時にそれができればよく、それに対応する「無限な実体」とでも言うべきものが必要なわけではない。「チューリングマシンで、ある問題が解ける」とは必ず有限のステップで計算が終了することを意味し、よってそれに必要なメモリの量は有限である。よって、チューリングマシンで解くことが出来る問題は、現実のコンピュータであっても必要なだけのメモリがあれば解くことが出来る。
石谷家の分家として再建された戦前の建造物で、商家風町家と西洋館、和風庭園、塀で構成される。商家風町家は1897年頃に建設されたものであるが、2階は階高が低く船底天井になっているなど1870年代の町家の様式で造られている。 1階は書院造で、和風庭園に面した座敷は「喫茶・お食事処 海彦山彦」として活用されている。和風庭園にある1930年頃築の西洋館は四代目当主・石谷愛蔵の嫡子の結核療養施設として建設され、死後、キリスト教の教会として使用されていたこともある。 現在は智頭町出身で「伊豆の踊子」や「絶唱」、「一杯のかけそば」などを監督した映画監督・西河克己の記念館（西河克己映画記念館）として公開されている。 2棟の建物はそれぞれが国の登録有形文化財である。
藤村俊二が司会を務めていた番組で、毎回男性ゲストがオール電化の台所で料理の腕前を披露していた。同じく日本テレビで放送の『キユーピー3分クッキング』と『ごちそうさま』がガスコンロを使っていたのに対し、本番組は東京電力の提供番組らしく電気式のコンロを使用していた。当時はIHクッキングヒーターの普及前ということもあり、使用していたのはコイル状のニクロム線を使用した製品であった。
弾道ミサイルを撤去し、電子機器および艦尾縦舵上に流線型のポッド（曳航式ソナー・アレイを収納）を設置し、曳航式ソナー・アレイおよび関連機器の試験に従事。改装にともない、第1級特殊用途大型原子力潜水艦に再分類。K-403がこの改造を受け、艦番号がKS-403に変更された。
耐圧船殻外に3M-25（SS-NX-24）巡航ミサイルの発射管×12を装備。K-420がこの改造を受け、発射テストを行うが、3M-25がソ連崩壊後に開発中止となったため、1隻のみに留まった。
弾道ミサイルを撤去し、そのスペースに魚雷および巡航ミサイルを発射する533mm魚雷発射管×8および弾庫を設置。K-395、K-408、K-418、K-423、K-415、K-399、K-236の7隻が改造。
搭載弾道ミサイルを固体燃料のR-31(SS-N-17)に換装したタイプ。R-31の性能が期待した程ではなかったため（R-27より大型化したにもかかわらず、射程が1,400kmしかなかった）、この改造を受けたのはK-140ただ1隻のみとなった。
一方、無価値だと思ったか、もしくは災いを招くと思ったかして、ムハマンドの母親は写本の一部を、わらと一緒に炊きつけとしてかまどで燃やしてしまった。現在わずかの断片しか残っていないことから、コーデックスXIIが燃やされたものと見られる。また、中には捨ててしまったものもあった。コーデックスIII以外の写本は、近隣の文盲のムスリムとの物々交換に使われたり二束三文で買われたりしていった。写本を手に入れた者の1人がナシド・バサダ (Nāshid Basādah) で、ナグ・ハマディの金商人と計ってカイロで写本を売り、代金を山分けした。また、伝えられるところでは、ある穀物商（アル・カバルの複数の村人によると、フィクリー・ジャバライル (Fikrī Jabarā'īl) のことだという）が別の写本を手に入れてカイロで売り、手に入れた代金でカイロに店を構えたとも言われている。この話はよく知られているらしいが、フィクリー自身は断固として関与を否定している。写本の大部分を手に入れたのはバヒジ・アリ (Bahīj ʽAli) で、アル・カスル村のならず者だった。この地方では有名だった古物商と一緒にカイロに行き、まずシェファード・ホテルのマンスーアの店に行き、次にカイロ在住のベルギー人古物収集家フォキオン・J・タノ (Phokion J. Tano) の店で売った。タノは全て買い取り、また、ナグ・ハマディにまで出かけて残っている写本を全て入手した。一方、コプト博物館長（当時）のトーゴ・ミナ (Togo Mina) はタノが写本を買い取ったことを聞きつけて、国外流出はさせない、写本は全て博物館に売れと説得した。1948年、エジプト公教育省はタノと交渉して、写本を買い取りコプト博物館に収納しようとしていた。しかし、タノは、写本はカイロ在住のイタリア人収集家ダッターリのものであると主張して政府の介入を避けようとした。国外流出を防止するためにエジプト考古最高評議会（考古最高評議会の前身）はダッターリ所有の写本を接収した。写本は、1948年にコプト博物館に保管された。ダッターリは対価として十万ポンドを要求したが、政府は一切支払わなかった。そのため、所有権がどちらにあるのかエジプト政府とダッターリの間で裁判沙汰となり、1952年まで争われた。裁判は政府側の勝訴に終わった。ナセルが大統領になってからは、4千ポンドの形ばかりの代価と共に写本は国有化され、最終的にコプト博物館の所有物になった。この段階でコーデックスIを除く写本がコプト博物館に収納された。