基礎の公理の成り立たない集合論について
基礎の公理の成り立たない集合論 (non well-founded set theory) について 渕野 昌(Sakaé Fuchino) （この文章はまだ書きかけです） 2008年の夏にネット上に公開した文書 の中で， … というのも， なぜだかは分らない が，∈-無限下降列に対して病的な興味を示す素人数学者が後をたたないからで ある．私の知っている例でも，体系の言語で記述される（内的な）無限降下列 とモデルでの無限降下列の区別さえ定かでないような，∈ の整列性を仮定し ない集合論に関するあやしげな博士論文が，集合論以外の専門の数学者による 審査で通ってしまった，という，ある旧帝国大学*2での最近の事例がある．こ のような不愉快な傾向に拍車をかけるようなまねはくれぐれもやめてほしい， と強く希望する次第である． と書きました． 「とんでも数学者」を挑発しようと思って，意図的にこのような
集合論オタが非オタの彼女に集合論世界を軽く紹介するための１０定理 - kururu_goedel’s diary
(元ネタ: アニオタが非オタの彼女にアニメ世界を軽く紹介するための10本) まあ、どのくらいの数の集合論オタがそういう彼女をゲットできるかは別にして、 「オタではまったくないんだが、しかし自分のオタ趣味を肯定的に黙認してくれて、 その上で全く知らない集合論の世界とはなんなのか、ちょっとだけ好奇心持ってる」 ような、ヲタの都合のいい妄想の中に出てきそうな彼女に、集合論のことを紹介するために 見せるべき10個の定理を選んでみたいのだけれど。 あー、こんな象が針の穴を通るより、買っていない宝くじで10億円当たるよりあり得ないシチュエーションってどうよ。もうこの後は普通に行きます。単に自分の集合論観を伝えられるような定理でそこそこ理解可能なものをピック G. Cantor: 集合論の始まり。少なくともKanamori先生によれば。 N. Aronszajn: Aronszajn treeは存在する
ミシェル・セール - Wikipedia
ミシェル・セール（Michel Serres, 1930年9月1日 - 2019年6月1日）は、フランスの科学史家、科学哲学者。 新-新科学精神という「準拠枠を持たぬ思惟」により位階的でない百科学を作ろうとしていた。 来歴[編集] 南仏のアジャン出身。海軍兵学校卒業後、1952年に高等師範学校入学。数学、文学、哲学の学位を取得し、1955年に哲学のアグレガシオン取得。パリ大学、スタンフォード大学、コレージュ・ド・フランス等で教鞭を執る。若い頃にはクレルモン＝フェラン大学でも教えており、同僚のフーコーとは刺激を与えあう親しい友人であった。 バシュラールに学んだが、早くからブルバキ構造主義とライプニッツ哲学の深い影響を受けて独自に自己形成した哲学者である。 人物[編集] フランス海軍に入っており、祖父はローヌ川の船乗りだった。「フランスというのは縦横に走る運河の国だという意識を、自分は持ってい
大森荘蔵 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "大森荘蔵" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年4月） 大森 荘蔵（おおもり しょうぞう、1921年8月1日 - 1997年2月17日）は、日本の哲学者。東京大学名誉教授。 物理学から哲学に転向し、科学における哲学的問題の検証を目指した。物心二元論を否定し、独特の一元論による哲学体系を確立。著書に『言語・知覚・世界』(1971年)、『時間と存在』(1994年)などがある。 来歴・人物[編集] 岡山県生まれ。東京府立一中などを経て、1944年 東京帝国大学理学部物理学科を卒業。 1945年、海軍技術研究所三鷹実験所勤務。
思考 - Wikipedia
この項目では、英語における「thought」の和訳の1つについて説明しています。他の類似語については「思想」をご覧ください。 ポンペイの壁画、「紙とペンを持つ女」 「思考」を表現するイラストレーション 思考（しこう、（英: thinking）は、考えや思いを巡らせる行動[1]であり、結論を導き出す[2]など何かしら一定の状態に達しようとする過程において、筋道や方法など模索する精神の活動である[3]。広義には人間が持つ知的作用を総称する言葉、狭義では概念・判断・推理を行うことを指す[1]。知的直感を含める場合もあるが、感性や意欲とは区別される[1]。哲学的には思惟（しい、しゆい）と同義[3]だが、大森荘蔵は『知の構築とその呪縛』（p152）にて思考と思惟の差について言及し、思惟とは思考を含みつつ感情なども包括した心の働きと定義している[4]。 論理学分野で研究されてきた思考の定義は定まってお
事例ベース推論 - Wikipedia
事例ベース推論（じれいベースすいろん、英: Case-based reasoning、CBR）は、過去の類似問題の解法に基づいて類推して新たな問題を解く推論の手法またはその過程である。自動車整備士が以前にいじったことがある自動車の似たような故障を思い出してエンジンの修理をするのは、一種の事例ベース推論である。弁護士が裁判で判例に基づく主張を展開するのも、一種の事例ベース推論である。技術者が自然界にあるものを模倣するのも（生体工学）、自然を問題解決のデータベースとしていると見ることができる。事例ベース推論は類推を突き詰めた例と言える。 事例ベース推論は自動推論の強力な手法というだけではなく、人間が日々の問題解決のために広く行っていることである。この考え方を推し進めると、全ての推論は過去の事例に基づいているとも言える。これは、認知科学のプロトタイプ理論の考え方である。 プロセス[編集] 事例ベ
生産技術 - Wikipedia
この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2012年11月） 生産技術（せいさんぎじゅつ、英: production technology）とは、工業製品など具体的に「もの」を作っていく際に、設計する工程（計画）と、それに従い実際に「もの」を作り出す工程（生産）をつなぎ、いかにして品質高く、作りやすく、効率的に生産するか、という方法を工程として設計する技術を指す[1][2]。 概要[編集] 製造業はQCDの三つの柱で成り立っているとされる。 「Q」は品質[注釈 1]、「C」はコスト[注釈 2]、「D」は納期[注釈 3]を表す。 そのため、製造業を営む企業ではQCDそれぞれの責任部門として、品質管理部門・生産技術部門・製造部門を置いているのが普通である。それぞれの部門は責任部門であり、ここ
管理図 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "管理図" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年9月） 管理図（かんりず、英: control chart[1]）とは、 生産管理において、品質や製造工程が安定な状況で管理されている状態にあるかどうかを判定するために使用するグラフ。時間ごとの状態をグラフ上に配置し、従来までの傾向と異なるデータや管理限界線を逸脱したデータの有無から異常の発生を判定する。管理図は、シューハート管理図（英語版） (JIS Z 9020-2[2]) や累積和管理図（英語版） (JIS Z 9020-4[3]) などに分類される。 シューハート管
統計的プロセス制御 - Wikipedia
統計的プロセス制御（とうけいてきプロセスせいぎょ、英: statistical process control, SPC）は、製造工程を視覚的に監視する手法である。管理図を用い、少数の標本を頻繁に採取することで、品質に影響のあるような工程の変化を検出する。製造された製品にはばらつきがあり、そのばらつきはいくつかの工程のパラメータに起因しているという考え方で、SPC ではそれらパラメータを制御することで最終的な製品の品質を制御しようとする。SPC は費用効果が大きい。製品制御（product control）方式では、全工程を経て完成した製品を全て検査して基準に達しないものを排除する。これに比べると SPC は製造工程の途中で標本を集め、データを採取するため、効率がよい。 歴史[編集] 統計的プロセス制御はウォルター・A・シューハートが提唱し、エドワーズ・デミングがこれを第二次世界大戦中にア
ミルクラン - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ミルクラン" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年12月） ミルクラン(Milk run)は物流方式のひとつ。日本語では巡回集荷と訳される。牛乳業者が酪農家の間を回って牛乳を引き取っていく様になぞらえた用語である。 概要[編集] 複数の仕入先から原材料や部品を仕入れる場合、日本ではかんばん方式に基づいて、発荷主に工場へ納入させる方式が一般的である。ミルクランでは製造業者自身、若しくは委託された輸送業者が決められたルートに従って発荷主を回って集荷を行う。またスーパーやコンビニのような小売業においても仕入先を回って商品を集
混流生産 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "混流生産" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年9月） 混流生産（こんりゅうせいさん）とは、工場の生産ラインにおける生産形態の1つである。 概要[編集] 一般的な工業製品の生産ラインは、専用ラインにおいて大量生産を行う。これにより、商品一つ辺りの生産にかかるコストを下げることを実現しているが、しかしながら、大量生産の効果を出す為には一定の生産量以上を確保しなければならないという問題点もある。 これに対して、少量生産システムでは生産設備の投資規模は低いため固定費は少なくて済むが、1つの商品を作るのに多くの作業工数を必要と
ジャストインタイム生産システム - Wikipedia
ジャストインタイム生産システム、ジャスト・イン・タイム生産システム（ジャストインタイムせいさんシステム、just-in-time, JIT）は、生産過程において、各工程に必要な物（部品など）を、必要な時に、必要な量だけ供給することで在庫（あるいは経費）を徹底的に減らして生産活動を行う技術体系（生産技術）をいう[1]。 日本のトヨタ自動車において豊田喜一郎が合目的経営の観点から導入した生産方式としてよく知られている[1]（トヨタ生産方式）。アメリカ合衆国の自動車業界でもJIT（ジット）といえばこのことである。 概要[編集] トヨタ生産方式の基本的な考え方は、やみくもな減量経営ではなく、限られた人、設備、在庫で効率的に生産を行う限量経営である（そのため減量ではなく限量と表現される）[2]。 ものの流れ（後工程引取方式）[編集] 工程間の仕掛在庫を最少に抑える究極の形は完全受注生産である。しかし
リーン生産方式 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "リーン生産方式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年7月） リーン生産方式（リーンせいさんほうしき、lean manufacturing、lean product system、略称LPS）とは、1980年代にアメリカのマサチューセッツ工科大学（MIT）の研究者らが日本の自動車産業における生産方式（主にトヨタ生産方式）を研究し、その成果を再体系化・一般化したものであり、生産管理手法の哲学。 概要[編集] リーン生産方式はトヨタ生産方式を研究して編み出された方式であり、MITのジェームズ・P・ウォマック（英語版）、ダニ
トヨタ生産方式 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "トヨタ生産方式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年8月） トヨタ生産方式（トヨタせいさんほうしき、Toyota Production System、略称TPS）は、トヨタ自動車の生み出した、工場における生産活動の運用方式の一つ。多くの企業がこれにならった方式を取り入れており、工場等の製造現場やそれに付随するスタッフ部門だけでなく、間接部門でも取り入れている企業も見られる。 河合満によると、TPSが普及する以前も「必要の時に必要なだけ作る」という考えが現場に浸透していたという[1]。 基本概念[編集] トヨタ生産方式
USIT - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。（2014年2月） 独自研究が含まれているおそれがあります。（2014年2月） 広告・宣伝活動的であり、中立的な観点で書き直す必要があります。（2014年2月） マークアップをスタイルマニュアルに沿った形に修正する必要があります。（2014年2月） 統合的構造化発明思考法（Unified Structured Inventive Thinking、USIT、ユーシット）は、問題解決手段を一通り編み出すための思考法である。 歴史[編集] 1990年代前半にRoni Horowitz博士らがTRIZを簡単にすることを目標として発展させてきた体系的発明思考法Systematic Inventive Thinking(SIT)、最近では改良型体系的発明思考法Advance
TRIZ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "TRIZ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年9月） TRIZ（トゥリーズ、トリーズ[1]、発明的問題解決理論、英：Theory of Inventive Problem Solving[2]）は、ソビエト連邦発の問題解決理論・全体最適化理論・システム思考・クリエイティブシンキングである。ロシア語の Teoriya Resheniya Izobretatelskikh Zadatch （Теория решения изобретательских задач） の頭字語である。英語では Theory of solv
アブダクション - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アブダクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年3月） アブダクション（逆行推論）（古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。 概要[編集
スキーマ - Wikipedia
スキーマ（英語: schema）、シェーマ（ドイツ語: Schema）、シェマ（フランス語: schéma）とは、もともと図や図式や計画のことを指す言葉で、今では様々な分野で広く用いられる言葉である。 「スキーム」 (scheme) とスキーマはほぼ同じ意味であるが、一般にスキームが具体的にほとんど完成された計画や図を意味するのに比べて、スキーマはその手前のおおまかな（概念）状態を指すことが多い。古代ギリシア語の σχῆμα が語源。 哲学において 哲学の存在論の一部において、この世界における存在についての問いと答えのリスト。 カントの哲学における一概念。 心理学や認知発達の理論において、スキーマとは心理的な描写（心象、概念）のこと。 自己スキーマ - 自己記憶セット スキーマ療法 - スキーマに焦点を当てた心理療法 形式論理学における公理型（命題のセットを叙述する規則）のこと。 コンピュ
転義 - Wikipedia
転義法（てんぎほう）あるいは転義（てんぎ）とは、修辞技法の一種で、言葉を文字通りの使い方あるいは標準的な使い方とは別の方法で用いることを指す学術的な用語。 日本語で通常「比喩」「比喩的用法」あるいは「喩」などと呼ばれているものは、およそこれに相当する。洒落も転義法に含まれる。 概説[編集] 転義法にはメトニミー、メタファー、アレゴリー、シネクドキなどがある（後述）。 tropeの意味の変遷[編集] 古典修辞学では、転義法の意味のtropeは、文中の言葉の配列（パターン）の変更を伴う修辞技法を指す「scheme」とともに、修辞技法を大きく二分するものだった。 現代ではtropeは「言葉のあや」「文彩」「修辞」という意味にも使われる。これは「en:figure」と同じ意味で、つまり「修辞技法」のことである。 語源[編集] tropeの語源は、ギリシャ語のτροπή, tropē（転、変更）およ
類推 - Wikipedia
類推（るいすい）または類比（るいひ）、アナロジー（analogy）とは、特定の事物に基づく情報を、他の特定の事物へ、それらの間の何らかの類似に基づいて適用する認知過程である。古代ギリシャ語で「比例」を意味する ἀναλογία アナロギアーといった概念に由来し、広義においてこれはロゴスに含有する。 類推は、問題解決、意思決定、記憶、説明（メタファーなどの修辞技法）、科学理論の形成、芸術家の創意創造作業などにおいて重要な過程であるが、論理的誤謬の排除が難しい場合も多く、脆弱な論証方法である。科学的な新概念の形成過程は、チャールズ・パースによるアブダクション理論として区別されることもある。 異なる事象に対し類推することで、共通性を見出す言語的作業が比喩である。 言語学では、言語自体に対する類推が言語の変化の大きな要因とされる。 アナロジズム[編集] 自然を客体化し、その属性や力を人体などの別の
フェムト秒化学 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "フェムト秒化学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年3月） フェムト秒化学(フェムトびょうかがく、Femtochemistry)は、フェムト秒(1フェムト秒は10-15秒)程度の非常に短い時間における、化学反応過程を対象とした研究分野である。1999年に、アハメッド・ズウェイルはこの分野における先駆的な研究でノーベル化学賞を受賞した。ズウェイルの用いた技術では、数フェムト秒程度の超短パルスレーザーを用いる。これにより特定の化学反応がなぜ起こりやすいかを調べたり、反応前後の化合物のみからは推測できない、反応中間体の詳細
非線形光学 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "非線形光学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年11月） 非線形光学（ひせんけいこうがく、英語：nonlinear optics）とは、非常に強い光と物質が相互作用する場合に起きる、非線形の（つまり、光の電磁場に比例しない）物質の多彩な応答（現象）を扱う分野。レーザーの出現によって発展した分野であるが、レーザー自体の中でも非線形光学効果は本質的な役割を果たし、その特性をも支配する。 量子光学と深く関連している。 屈折率や吸収率など光学材料の光学定数は、光が弱いときは定数とみなせる。しかし、光が強くなる（非線形性を考え
示量性と示強性 - Wikipedia
示量性 (しりょうせい、extensive property) と示強性（しきょうせい、intensive property）は状態量の性質の一つである。 示量性を持つか示強性を持つかにより、状態量すなわち状態変数は示量変数 (extensive variable) と示強変数 (intensive variable) の2種類に分けられる。 概要[編集] 示量性の定義は文献により、以下2種類の定義がある。 系全体の量が部分系の量の和に等しくなること[1][2][3] 系の大きさ、体積、質量に比例すること[4][5][6] 厳密には前者の性質は相加性、後者の性質は示量性として区別する[7][8]。 均一系の状態量は相加性ならば示量性となるが、部分系ごとにその量の密度が異なる不均一系の場合には相加性であっても示量性とはならない。しかし熱力学では部分系として均一なものを取ることが普通であり、部
内包と外延 - Wikipedia
内包（intension）はある概念がもつ共通な性質のことを指し、外延（extension）は具体的にどんなものがあるかを指すものである。これらは互いに対義語の関係をもつ。 集合[編集] 数学の集合の記法における、内包による記法と外延による記法については、詳細は集合#記法を参照。論理においても内包と外延という語は使われることがあるが、（現代においては）数学と同様の用法がなされる。基本的に表現法の違いであり、（外延による記法では、厳密さが必要な場合に「任意の偶数の集合」のような集合は書けない、といった違いはあるが）外延性の公理により、実質が同じであれば両者は同じものとする。よって以下のような哲学の場合のような議論は通常は必要としない。 なお、量#外延量と内包量にある「外延量」「内包量」という語は、物理学における物理量に関する熱力学的概念（示量性と示強性）及び、数学では測度論的に区別を考えるこ
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 真理論的様相と認識論的様相[編集] 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
対合 - Wikipedia