タグ

ブックマーク / ja.wikipedia.org (4)

  • リレーションの正規化 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。(2023年9月) ほとんどまたは完全に一つの出典に頼っています。(2023年9月) 出典検索?: "関係の正規化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 関係の正規化(かんけいのせいきか)は、関係データベース (リレーショナル・データベース) において、関係(リレーション)を正規形と呼ばれる形式に準拠させることにより、データの一貫性の維持と効率的なデータアクセスを可能にする関係設計を導くための方法である。正規形には様々なものが存在するが、いずれにせよ、正規化を行うことにより、データの冗長性と不整合が起きる機会を減らすことができる。 多くの関係デ

  • アローの不可能性定理 - Wikipedia

    アローの不可能性定理(アローのふかのうせいていり、英: Arrow's impossibility theorem)、アローの(一般)可能性定理、または単にアローの定理とは、社会的選択理論における不可能性定理(英語版)の一つである。この定理によれば、投票者に3つ以上の独立した選択肢が存在する場合、如何なる選好投票制度(社会的厚生関数[註 1])であっても、個々人の選好順位を共同体全体の(完備かつ推移的な)順位に変換する際に、特定の評価基準(定義域の非限定性、非独裁性、パレート効率性、無関係な選択肢からの独立性)を同時に満たすことは出来ない。この定理はギバード=サタースウェイトの定理を導くことで知られ、投票理論ではよく引用される。アローの定理という名称は経済学者でありノーベル経済学賞受賞者であるケネス・アローに因む。アローは博士論文でこの定理を示し、後に著書『社会的選択と個人的評価(英語版)

  • アンティキティラ島の機械 - Wikipedia

    アンティキティラ島の機械 アンティキティラ島の機械(アンティキティラとうのきかい、希: Μηχανισμός των Αντικυθήρων, Mechanismós ton Antikythíron)は、アンティキティラ島近海の沈没船から発見された古代ギリシア時代の遺物で、天体運行を計算するため作られた手回し式の太陽系儀であると推定されている[1][2]。オーパーツの一つ。 概要[編集] 沈没船の引き揚げ この機械は1901年に考古学者ヴァレリオス・スタイスによってアンティキティラの沈没船(英語版)から回収された。ただし、その複雑さや重要性は何十年もの間気づかれることがなかった。紀元前3世紀ー紀元前1世紀中ごろの間に製作されたと考えられており、同様な複雑さを持った技術工芸品は、その1000年後まで現れることはなかった[3]。 フランスの海洋学者ジャック=イヴ・クストーは1978年に最後に

    アンティキティラ島の機械 - Wikipedia
  • 三菱樹脂事件 - Wikipedia #1.3 和解および後日談

    1963年(昭和38年)3月に、東北大学法学部を卒業した原告・高野達男は、三菱樹脂株式会社に、将来の管理職候補として、3ヶ月の試用期間の後に雇用契約を解除することができる権利を留保するという条件の下で採用されることとなった。ところが、高野が大学在学中に学生運動に参加したかどうかを採用試験の際に尋ねられ、当時これを否定したものの、その後の三菱樹脂側の調査で、高野がいわゆる60年安保闘争に参加していた、という事実が発覚し、「件雇用契約は詐欺によるもの」として、試用期間満了に際し、高野の採用を拒否した。これに対し、高野が雇用契約上の地位を保全する仮処分決定(東京地裁昭和39年4月27日決定)を得た上で、「三菱樹脂による採用の拒否は被用者の思想・信条の自由を侵害するもの」として、雇用契約上の地位を確認する訴えを東京地方裁判所に起こした。 一審の東京地方裁判所(1967年〈昭和42年〉7月17

    bogenbauer
    bogenbauer 2008/06/19
    最高裁による判示:「人権規定は私人相互間には原則として直接適用されることはない」
  • 1