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