Gendai shisō, 第 35 巻、第 16~17 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 46
221 ページ
ラムダ計算 3 )に対するプログラムの呼び出し(数学の通常. 研究が進み、クリーネの原始帰納的関数・チャーチのラムダ計算・チューリングの抽象的計算機といった様々な計算モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等 ...
ラムダ計算 3 )に対するプログラムの呼び出し(数学の通常. 研究が進み、クリーネの原始帰納的関数・チャーチのラムダ計算・チューリングの抽象的計算機といった様々な計算モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等 ...
224 ページ
2 計算と物理 2-2 計算と量子力学. はしばらく明らかでなかったが、プログラミングにおける継続計算という概念を取り込んだラムダ計算の体系がちょうど直観主義論理に二重否定則を加えることに対応することが一九九二年に示されている[ 2 ]。それゆえ ...
2 計算と物理 2-2 計算と量子力学. はしばらく明らかでなかったが、プログラミングにおける継続計算という概念を取り込んだラムダ計算の体系がちょうど直観主義論理に二重否定則を加えることに対応することが一九九二年に示されている[ 2 ]。それゆえ ...
226 ページ
... 計算可能な関数のクラスが一致することが知られており、その意味では、量子計算は新たな計算可能性概念を与えるものではない。量子計算が現在注目されているのは、計算の効率性に関して従の計算モデルとは質的に異なると考えられているからである。計算の ...
... 計算可能な関数のクラスが一致することが知られており、その意味では、量子計算は新たな計算可能性概念を与えるものではない。量子計算が現在注目されているのは、計算の効率性に関して従の計算モデルとは質的に異なると考えられているからである。計算の ...
他の版 - すべて表示
多く使われている語句
あっ あり いく うた ここ サークル運動 さん そう そこ それは だが だけ たち だっ つの てき できる でも という とき ところ なかっ ながら なっ など なら なる において によって による のか ぼく ます また まで ラムダ計算 られ られる ろう わけ われわれ 意味 井之川巨 宇宙 下丸子 下丸子文化集団 科学 活動 観測 関係 幾何学 記述 京浜 空間 経験 計算 研究 工場 江島寛 考え 国鉄 作品 思想 詩集 詩人 時間 時代 自分 社会 主義 書く 城戸昇 状態 職場 人間原理 人民文学 数学 世界 戦後 組合 組織 創刊 存在 大田区 竹内 通信 東京南部 統計集団 闘争 突堤 南部文学 日本 年代 品川 品川区 物理 物理量 文学サークル 木下航 問題 野間宏 理論 量子コンピュータ 量子もつれ 量子力学 量子論 歴史 魯迅 労働