タグ

wikiに関するop94-3のブックマーク (8)

  • クリティカルパス法 - Wikipedia

    5つのマイルストーン(10から50)と6つの作業(AからF)がある7か月間のプロジェクトのPERTネットワーク図。このプロジェクトには2つのクリティカルパスがある。BとC、AとDとFである。作業Eは2か月のフロートがある。 クリティカルパス法(クリティカルパスほう、英: critical path method, CPM)またはクリティカルパス分析(クリティカルパスぶんせき、英: critical path analysis)は、プロジェクトの一連の活動(アクティビティ)をスケジューリングするための数学的アルゴリズムである。効率的プロジェクトマネジメントのための重要なツールである。 CPMは1950年代にデュポン社が開発した。同じ頃、ジェネラル・ダイナミクスとアメリカ海軍が Program Evaluation and Review Technique (PERT) を開発していた[1]。

    クリティカルパス法 - Wikipedia
    op94-3
    op94-3 2010/06/06
  • イプシロン-デルタ論法 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2023年6月) ε-δ論法(イプシロンデルタろんぽう、英語: (ε, δ)-definition of limit)は、解析学において、実数値のみを用いることで(無限を直接に扱うことを回避しながら)関数の極限を厳密に定義する方法である。列の極限を定義する類似の方法にε-N論法(イプシロンエヌろんぽう)があり、記事ではこれも扱う。 歴史的背景[編集] ニュートンとライプニッツが創設した微分積分学は、無限小(どんな正の実数よりも小さな正の数)や無限大(どんな実数よりも大きな数)といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。

  • 朝鮮特需 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2017年7月) 独自研究が含まれているおそれがあります。(2017年7月) 出典検索?: "朝鮮特需" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 軍用機(P-51)修理。奥には南アフリカ連邦空軍貸与機の姿も見える。 朝鮮特需(ちょうせんとくじゅ)は、朝鮮戦争に伴い、在朝鮮アメリカ軍、在日アメリカ軍から日に発注された物資やサービス需要を指す。また、在日国連軍や外国関係機関による間接特需という分類も存在する。朝鮮戦争勃発直後の8月25日には横浜市に在日兵站司令部が置かれ、主に直接調達方式により大量の物資が買い付けられた。その額は1950年

    朝鮮特需 - Wikipedia
  • ルネ・デカルト - Wikipedia

    ラテン語名はレナトゥス・カルテシウス (Renatus Cartesius) である。デカルト座標系(仏: système de coordonnées cartésiennes ; 英: Cartesian coordinate system)、デカルト積(デカルトせき、英: Cartesian product)のようにデカルトの名がついたものにカルテジアン(Cartesian)という表現が用いられる。デカルト主義者もカルテジアン(仏: Cartésien ; 英: Cartesian)と呼ばれる。 考える主体としての自己(精神)とその存在を定式化した「我思う、ゆえに我あり」は哲学史上で最も有名な命題の一つである。そしてこの命題は、当時の保守的思想であったスコラ哲学の教えであるところの「信仰」による真理の獲得ではなく、人間の持つ「自然の光(理性)」を用いて真理を探求していこうとする近代哲

    ルネ・デカルト - Wikipedia
    op94-3
    op94-3 2010/05/22
    欲の排出
  • 証明 - Wikipedia

    証明(しょうめい) 立証(りっしょう) - ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。社会生活で一般的に使用される用法としては、ある事柄に対する論説や理論・解答・判断・推理などの根拠・理由などを明らかにし、その事柄が真実であることなどを明らかにすること[1]。立証されたものを、より確実にするための、あるいはその正当性を示す証拠や保証となるもの、およびそれを求める行為のことは裏付け(うらづけ)、裏書き(うらがき)と呼ぶ[1]。 証明 (数学) - 数学における証明。 計算機科学における証明 → 対話型証明系を参照。 訴訟や裁判における証明 - 裁判官が、事実の存否につき確信を得た状態、または裁判官に確信を得させるための当事者の活動。疎明と対比される。 証明 (松清張) - 松清張の短編小説、およびそれを原作とするテレビドラマ。 証明 (シギの曲) - シギの

    op94-3
    op94-3 2010/05/22
  • ゲシュタルト心理学 - Wikipedia

    ゲシュタルト心理学(ゲシュタルトしんりがく、Gestalt Psychology)とは、心理学の一学派。形態心理学ともいう[1]。一つの図形のように個々の要素の総和以上のまとまりのある形態をゲシュタルトという[1]。精神や意識をゲシュタルトとしてみる立場から考察する心理学[1]。人間の精神を、部分や要素の集合ではなく、全体性や構造に重点を置いて捉える。この全体性を持ったまとまりのある構造をドイツ語でゲシュタルト(Gestalt :形態)と呼ぶ。 ゲシュタルト心理学は、ヴントを中心とした要素主義・構成主義の心理学に対する反論として、20世紀初頭にドイツにて提起された経緯を持つ。精神分析学や行動主義心理学に比べると、元々の心理学に近いと言える。特にユダヤ系の学者が多かった事などもあって、ナチスが台頭してきた時代に、同学派の主要な心理学者の大部分がアメリカに亡命した(例外的にヴォルフガング・ケー

  • 社会選択理論 - Wikipedia

    この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "社会選択理論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2016年1月) 社会選択理論は20世紀の中頃、1950年代に確立された比較的新しい学問分野とされている。[誰?]しかし社会選択理論の扱う集合的な決定に関する研究は、少なくとも18世紀に遡ることが出来る。そうした先駆的研究の中でもよく知られているのは、ジャン=シャルル・ド・ボルダとコンドルセによるものである。ボルダは決定の参与者全員が満足するような投票による決定の手続き・ルールを考察し、後にボルダ方式と呼ばれる方式の基礎を形作った。一方のコンドルセは多数決投票法による決定について

  • 貪欲法 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "貪欲法" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年10月) 貪欲法(どんよくほう、英: greedy algorithm)は、アルゴリズムの一種、欲張り法(よくばりほう)、グリーディ算法(グリーディさんぽう)ともいう。 貪欲法は局所探索法と並んで近似アルゴリズムの最も基的な考え方の一つである。 このアルゴリズムは問題の要素を複数の部分問題に分割し、それぞれを独立に評価を行い、評価値の高い順に取り込んでいくことで解を得るという方法である。動的計画法と異なり保持する状態は常に一つであり、一度選択した要素を再考する事は無い

    op94-3
    op94-3 2010/05/12
  • 1