現代思想, 第 35 巻、第 16 号青土社, 2007 |
この書籍内から
検索結果1-3 / 78
44 ページ
... における前者の魯迅が、後者の、すなわち戦後昭和二〇年代日本における竹内の論説上にいかに再生されるかを示す重要な事例である。いま魯迅のこの寓話的文章は、アジアにおける優等生であり続ける日本への竹内の否定的な反語的文脈を構成する形で引かれ ...
... における前者の魯迅が、後者の、すなわち戦後昭和二〇年代日本における竹内の論説上にいかに再生されるかを示す重要な事例である。いま魯迅のこの寓話的文章は、アジアにおける優等生であり続ける日本への竹内の否定的な反語的文脈を構成する形で引かれ ...
220 ページ
... における証明という概念をどのように捉えるべきか、といった事柄)に関する我々の認識の進展に直接寄与するものではないと思われるのである。すると、結局のところ量子力学は論理に関する概念拡張にまでは影響を及ぼさないのだろうか。そのように考えるの ...
... における証明という概念をどのように捉えるべきか、といった事柄)に関する我々の認識の進展に直接寄与するものではないと思われるのである。すると、結局のところ量子力学は論理に関する概念拡張にまでは影響を及ぼさないのだろうか。そのように考えるの ...
224 ページ
... における型に関する部分は自然演繹の U 導入則と同じ図式をもち、関数適用における型に関する部分は U 除去則と同じ形式をもつことがわかる。詳細は省くが( [ 8 ]を参照)、ラムダ計算におけるプログラムの集合は、自然演繹における証明の集合とちょうど ...
... における型に関する部分は自然演繹の U 導入則と同じ図式をもち、関数適用における型に関する部分は U 除去則と同じ形式をもつことがわかる。詳細は省くが( [ 8 ]を参照)、ラムダ計算におけるプログラムの集合は、自然演繹における証明の集合とちょうど ...
他の版 - すべて表示
多く使われている語句
アインシュタイン あっ あり あるいは いく エネルギー ここ スピン そう それは ダークエネルギー だけ たち チューリング つの つまり てき できない できる でも という とき ところ なっ など なら なり なる において における によって による のか べき ペンローズ また まで モデル よい ラムダ計算 られ られる ろう わけ われわれ 暗号 意識 意味 宇宙 運動 横山 科学 解釈 概念 確率 観測 関係 関数 幾何学 機械 記述 局所性 空間 経験 計算 研究 現在 現象 現代思想 古典 構成 構造 考え 考える 三人称 持つ 時間 次元 実験 実現 実在 社会 主義 重力 小野 松浦俊輔 場合 情報 状態 人間原理 数学 世界 測定 存在 対し 対象 代数 竹内 哲学 統計集団 統計力学 日本 必要 表現 物質 物理学 物理量 文学 変数 問題 理論 立岩真也 粒子 量子コンピュータ 量子ビット 量子もつれ 量子力学 量子論 歴史 魯迅 論理