現代思想, 第 35 巻、第 16 号青土社, 2007 |
この書籍内から
検索結果1-3 / 41
221 ページ
ラムダ計算 ところで、通常の数学における演算や関数に. 研究が進み、クリーネの原始帰納的関数・チャーチのラムダ計算・チューリングの抽象的計算機といった様々な計算モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等で ...
ラムダ計算 ところで、通常の数学における演算や関数に. 研究が進み、クリーネの原始帰納的関数・チャーチのラムダ計算・チューリングの抽象的計算機といった様々な計算モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等で ...
224 ページ
2 計算と物理 2-2 計算と量子力学(以下ではチュング. ント型はしばらく明らかでなかったが、プログラミングにおける継続計算という概念を取り込んだラムダ計算の体系がちょうど直観主義論理に二重否定則を加えることに対応することが一九九二年に示されて ...
2 計算と物理 2-2 計算と量子力学(以下ではチュング. ント型はしばらく明らかでなかったが、プログラミングにおける継続計算という概念を取り込んだラムダ計算の体系がちょうど直観主義論理に二重否定則を加えることに対応することが一九九二年に示されて ...
226 ページ
... 計算は本当に新しい計算モデルなのか、と疑問に思わかもしれない。実際、古典チューリング機械が提案された後にも、多テープチューリング機械や確率的チューリング機械といった様々な計算モデルが提案されたが、どのモデルもチャーチ/チューリングの ...
... 計算は本当に新しい計算モデルなのか、と疑問に思わかもしれない。実際、古典チューリング機械が提案された後にも、多テープチューリング機械や確率的チューリング機械といった様々な計算モデルが提案されたが、どのモデルもチャーチ/チューリングの ...
他の版 - すべて表示
多く使われている語句
アインシュタイン あっ あり あるいは いく エネルギー ここ スピン そう それは ダークエネルギー だけ たち チューリング つの つまり てき できない できる でも という とき ところ なっ など なら なり なる において における によって による のか べき ペンローズ また まで モデル よい ラムダ計算 られ られる ろう わけ われわれ 暗号 意識 意味 宇宙 運動 横山 科学 解釈 概念 確率 観測 関係 関数 幾何学 機械 記述 局所性 空間 経験 計算 研究 現在 現象 現代思想 古典 構成 構造 考え 考える 三人称 持つ 時間 次元 実験 実現 実在 社会 主義 重力 小野 松浦俊輔 場合 情報 状態 人間原理 数学 世界 測定 存在 対し 対象 代数 竹内 哲学 統計集団 統計力学 日本 必要 表現 物質 物理学 物理量 文学 変数 問題 理論 立岩真也 粒子 量子コンピュータ 量子ビット 量子もつれ 量子力学 量子論 歴史 魯迅 論理