タグ

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

  • 秘書問題 - Wikipedia

    最善を選択する確率は に収束する。 別の解法[編集] 秘書問題や類似する問題の直接的解法として Odds algorithm がある。 ヒューリスティックの性能[編集] Stein, Seale, and Rapoport (2003)[1]では、秘書問題を解く際に使われる心理学的にもっともらしいヒューリスティクスの成功確率を検討している。彼らが検討したヒューリスティクスは以下のようなものである。 カットオフ規則(CR) 最初の人の応募者を採用しない。その後、最初の候補者(そこまでで1位の応募者)を採用する。これは、 の CSP の最適ポリシーの特殊ケースである。 候補者カウント規則(CCR) 番目の候補者を選択する。最初の応募者をスキップするわけではない。単に候補者(それまでの1位)を数えるだけで、応募者の順序を深く考慮しているわけではない。 非候補者の次規則(SNCR) 非候補者(そこ

    satmat
    satmat 2018/11/12
  • ビジネスロジック - Wikipedia

    ビジネスロジック(英: business logic)は、データベース上のデータに対する処理手順といったようなものを指す、ソフトウェア工学的な用語である。「アルゴリズム」という語が説明に使われていることがあるが、アルゴリズムは数学的・論理的に明確な概念であり間違った説明の仕方である。基的には、エンタープライズ系(業務支援系)ソフトウェアを開発する企業が内部的に、もしくは顧客への販売促進のために用いる用語である。この用語は、主にプログラムが3層構造となるWebアプリケーション開発で使われる。ビジネスロジックは3層の中の中間層(アプリケーションサーバ)に相当する。いずれにしても、ビジネスロジックという用語は明確な定義がなく、人によって意味が異なる可能性がある。 ビジネスロジックの範囲[編集] 実世界のビジネスオブジェクト(勘定、貸付金、旅程表、在庫目録などなど)をモデル化したもの そのような

    ビジネスロジック - Wikipedia
    satmat
    satmat 2016/12/26
  • Atom (ウェブコンテンツ配信) - Wikipedia

    概要[編集] Atom配信フォーマット(Atom Syndication Format) Atom出版プロトコル(Atom Publishing Protocol) 主な仕様は上記の2つ。1つはコンテンツを配信するためのフィードのフォーマットを規定する「Atom配信フォーマット」 (Atom Syndication Format)、もう1つはウェブ上のコンテンツを編集するための「Atom出版プロトコル」 (Atom Publishing Protocol) で、通称Atom APIまたはAtomPPとも呼ばれることがある。 元々、The Atom Projectとして、有志がウィキやメーリングリストで議論しながら草の根的に始まり、現在、活動の場所はIETF (Internet Engineering Task Force) に引き継がれてワーキンググループとして標準化活動が行われている。

    Atom (ウェブコンテンツ配信) - Wikipedia
    satmat
    satmat 2016/12/19
  • クラスベース - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "クラスベース" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年12月) クラスベース (英: Class-based) は、オブジェクト指向プログラミング(OOP)のスタイルのひとつであり、オブジェクトの生成にクラスを用いるスタイルを指している。OOPの標準的スタイルである。それと対比されるスタイルにプロトタイプベースがある。 クラスベースOOPは、先発のアラン・ケイのSmalltalk流と、後発のビャーネ・ストロヴストルップのC++流で二分されている。Smalltalk流はメッセージパッシングを基礎にしており、C++流は継承と

    クラスベース - Wikipedia
    satmat
    satmat 2016/11/18
  • トランザクション処理性能評議会 - Wikipedia

    トランザクション処理性能評議会(トランザクションしょりせいのうひょうぎかい、Transaction Processing Performance Council)は、コンピュータ関連の有力企業が集まり、データベースのトランザクションに関して実際のシステムに近い性能指標を作成する目的で設立された非営利団体。略称はTPC。TPCによって策定された指標(ベンチマーク)のうち現在有効な物TPC-App,C,Hである。過去にはTPC-A,B,D,R,Wなどがあったが、現在では利用されていない。現行のオンライントランザクション処理を対象としたTPC-Cの後継としてTPC-Eの仕様が2007年3月19日に公開された。またデシジョンサポート処理を対象としたTPC-DSのドラフトが現在起草されている。 外部リンク[編集] 公式サイト

    satmat
    satmat 2016/07/26
  • 制御文字 - Wikipedia

    コンピューティングと電気通信において、制御文字(せいぎょもじ、英: control character)とは、文字コードの規格で定義される文字のうち、ディスプレイ・プリンター・通信装置などに対して、特別な動作(制御)をさせるために使う文字である。制御キャラクタともいい、情報処理用語規格では「制御機能文字」と呼ばれている。 「文字」という名前であるがディスプレイやプリンターには表示されない。そのため、非表示文字(ひひょうじもじ、英: non-printing character、印字不可文字)とも言う。それに対し、制御文字以外の表示可能な文字を図形文字(英: graphic character)という[注釈 1]。図形文字と制御文字は電気信号上は区別がなく、同じデータストリーム上に現われる。これを帯域内信号方式(英語版)という。 制御文字にどのような文字コードを割り当てるかは、ASCII、E

    satmat
    satmat 2016/06/08
  • 水平線効果 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "水平線効果" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2013年4月) 水平線効果(すいへいせんこうか)は探索アルゴリズムの深度を有限とした場合、それ以降の経路をあたかも水平線の向こうのように考慮しないため、長期的に見て問題のある選択をしてしまう人工知能における問題である。通常多くのゲームにおいて、可能な状態あるいは配置の数は莫大であり、コンピュータはそのごく一部(大抵ゲーム木の数層下)しか探索することができない。 ミニマックス法やαβ枝刈りといった技術を使用して大きなゲーム木を評価する時、探索深度は実現可能性の理由のため制限される

    satmat
    satmat 2016/03/13
  • Intel HD Graphics - Wikipedia

    2.2.1Sandy Bridge - HD Graphics, HD Graphics 2000/3000/P3000

    Intel HD Graphics - Wikipedia
    satmat
    satmat 2015/11/08
  • トロッコ問題 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。(2024年7月) 独自研究が含まれているおそれがあります。(2024年3月) トロッコ問題(トロッコもんだい、英: trolley problem)あるいはトロリー問題とは、「ある人を助けるために他の人を犠牲にするのは許されるか?」という形で功利主義と義務論の対立を扱った倫理学上の問題・課題。 フィリッパ・フットが1967年に提起し、ジュディス・ジャーヴィス・トムソン(英語版) 、フランセス・キャム(英語版)、ピーター・アンガー(英語版)などが考察を行った。人間は一体どのように倫理・道徳的なジレンマを解決するかについて知りたい場合は、この問題は有用な手がかりとなると考えられており、道徳心理学、神経倫理学では重要な論題として扱われている。 人工

    satmat
    satmat 2015/08/09
  • エアセクション - Wikipedia

    この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "エアセクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年8月) エアセクションは、基的に直流電化区間において変電所から送られる電圧の饋電(きでん)区間と別の変電所から送られる同じ電圧の饋電区間との境に設置される設備である。両架線の終端部において、両架線の引留め箇所付近に碍子(がいし)を直列に取り付け、架線柱1 - 2スパンの間で空気を絶縁体として架線を並列に配置しており、並列区間での架線間の標準離隔は普通鉄道で300 mm、新幹線で500 mmとしている。 これにより、セクションの一種であるデッドセクションとは異なり、2

    エアセクション - Wikipedia
    satmat
    satmat 2015/08/05
  • 海の歌 (行進曲) - Wikipedia

    『海の歌』(うみのうた、Sea Songs)は、レイフ・ヴォーン・ウィリアムズによるイギリスの3つの海にまつわる歌の編曲。3つの楽曲とは「Princess Royal」、「Admiral Benbow」、「Portsmouth」である。曲は約4分の行進曲としてまとめられている。形式的には三部形式に従っており、最初の部分で「Princess Royal」と「Admiral Benbow」、中間部で「Portsmouth」が扱われた後、最初の2つの歌曲が再現される。 この行進曲は元々1923年に軍楽隊のための「イギリス民謡組曲」の第2楽章として編曲されたものであり、組曲の初演は同年7月4日にネラー・ホール(英語版)で行われた[1]。独立した楽曲としては1924年4月にウェンブリーで開催された大英帝国博覧会(英語版)において初演された[2]。「イギリス民謡組曲」同様、この作品はヴォーン・ウィリア

    satmat
    satmat 2014/08/03
  • 王冠 (戴冠行進曲) - Wikipedia

    戴冠行進曲『王冠』(たいかんこうしんきょく おうかん、英語:Crown Imperial、クラウン・インペリアル)は、イギリスの作曲家ウィリアム・ウォルトンが作曲した管弦楽曲。 概要[編集] 戴冠行進曲『王冠』は、1937年にイギリス国王ジョージ6世の戴冠式の機会音楽として採用された後、1963年に抜的に改訂された。ハーバート・マリル(Herbert Murrill)によって編曲されたオルガン独奏版も知られており、ロバート・ガウアー(Robert Gower)が編纂した『ウォルトン オルガン曲集』(A Walton Organ Album, オックスフォード大学出版局刊行)に収録されている。 元来は、1937年5月12日に予定されていたエドワード8世の戴冠式のために作曲された。しかし、エドワード8世は1936年に退位し、その日は代わって即位した弟のジョージ6世とエリザベス妃の戴冠となった

    satmat
    satmat 2014/08/03
  • チューリング・テスト - Wikipedia

    チューリング・テスト(英: Turing test)は、アラン・チューリングが提案した、ある機械が「人間的」かどうかを判定するためのテストである。これが「知的であるかかどうか」とか「人工知能であるかどうか」とかのテストであるかどうかは、「知的」あるいは「(人工)知能」の定義、あるいは、人間が知的であるか、人間の能力は知能であるか、といった定義に依存する。 概要[編集] アラン・チューリングが1950年に『Computing Machinery and Intelligence』の中で書いたもので、以下のように行われる。人間の判定者が、一人の(別の)人間と一機の機械に対して通常の言語での会話を行う。このとき人間も機械も人間らしく見えるように対応するのである。これらの参加者はそれぞれ隔離されている。判定者は、機械の言葉を音声に変換する能力に左右されることなく、その知性を判定するために、会話はた

    チューリング・テスト - Wikipedia
    satmat
    satmat 2014/06/09
  • PDP-11 - Wikipedia

    PDP-11 は、ディジタル・イクイップメント・コーポレーション(DEC)が1970年代から1980年代に販売した16ビットミニコンピュータシリーズ[1][2]。PDP-11 は DECのPDPシリーズのPDP-8コンピュータの主にリアルタイムシステムの後継であるが、両シリーズは10年間以上並存した。革新的機能をいくつか持ち、従来よりもプログラミングが容易になっていた。ミッドレンジのミニコンピュータとしての後継は32ビットのVAXである。 その設計上の特徴は、モトローラのMC68000などのマイクロプロセッサの設計に影響を及ぼしている。またPDP-11上のオペレーティングシステム (OS) の設計は他のOS、例えばCP/M[3]やMS-DOS[4]の設計に影響を及ぼしている。最初の公式にUNIXと名付けられたバージョンのOSは、1970年に PDP-11/20 上で動作した。PDP-11の

    PDP-11 - Wikipedia
    satmat
    satmat 2014/05/25
  • 真空管 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "真空管" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2018年8月) 5球スーパーラジオに使われる代表的な真空管(mT管) 左から6BE6、6BA6、6AV6、6AR5、5MK9 真空管(しんくうかん、米: vacuum tube、英: radio valve)とは、内部を高度な真空とし、電極を封入した中空の管(管球)のことである[1]。陰極から陽極に流れる電子流を制御することによって増幅、検波、整流、発振などを行うことができる[2]。 電子管[注釈 1]あるいは熱電子管[注釈 2]などと呼ばれる[注釈 3]。 構造としては、一般的に

    真空管 - Wikipedia
    satmat
    satmat 2014/05/18
  • テスト・アンド・セット - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2023年1月) テスト・アンド・セット(Test-and-Set、TAS)命令は、あるメモリ位置へアトミックに書き込みを行うコンピュータの命令である。値をセットする前に何らかのテストを行い(例えば、そのメモリ位置の内容が指定された値と等しいかどうかなど)、テストが失敗した場合は値のセットは行われない。複数のプロセスが同じメモリ位置にアクセスする可能性があり、ひとつのプロセスがテスト・アンド・セットを実行中であれば、他のプロセスは最初のプロセスの命令が完了するまで、テスト・アンド・セット命令を実行開始することができない。CPUは他の電子部品(例えば、デュアルポートRAM; DPRAM)を使用してテスト・アンド・セ

    satmat
    satmat 2014/05/17
  • Logical Block Addressing - Wikipedia

    Logical Block Addressing (ロジカルブロックアドレッシング) は、コンピュータの 補助記憶装置内のデータ位置を示す方法の1つ。LBAと略される。 LBAは単純に装置の最初のセクタから何番目かを示す数値である。補助記憶装置内の全セクタに 一意の通し番号が割り当てられており、それを使ってアドレッシングするわけである。 従って、ハードディスクのような同心円上に複数のトラックをもつ装置でも、CD-ROMやテープドライブのように1のトラックで構成される装置でも同じように扱える利点がある。 ハードディスクの場合、ATAで28bit、SCSIで32bit、BigDrive対応のATAで48bitが使用されている。

    satmat
    satmat 2014/05/14
  • デーモン閣下 - Wikipedia

    この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。(2020年6月) 大言壮語的な記述になっています。(2020年6月) 出典検索?: "デーモン閣下" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL

    デーモン閣下 - Wikipedia
    satmat
    satmat 2014/05/09
    どこまでが設定で、どこまでが本当なのかよくわからなくて、頭痛くなってくるな
  • Unified Extensible Firmware Interface - Wikipedia

    ソフトウェアスタックにおけるEFIの位置づけ Unified Extensible Firmware Interface(ユニファイド・エクステンシブル・ファームウェア・インタフェース、UEFI)はオペレーティングシステム(OS)とプラットフォームファームウェアとの間のソフトウェアインタフェースを定義する仕様である。 UEFIを採用したSystem BIOSは「UEFI BIOS」と呼ばれ、単に「UEFI」と略されることが多いが、ユーザーがアクセスし設定などを行うGUIはUEFIであっても「BIOS」と呼ばれる事が多い。UEFI BIOSはIBM PC互換機に採用された古いSystem BIOSのよりセキュアな置き換えを意図している[1]。遠隔診断やOSがロードされていない状態での修復なども可能とする[2]。「BIOS(バイオス)」とは異なり、「UEFI」の読みは特に定められていない。 U

    Unified Extensible Firmware Interface - Wikipedia
  • Atmel - Wikipedia

    Atmel ATMEGA32 マイクロコントローラー アトメル(英: Atmel Corporation、NASDAQ: ATML)は、アメリカの半導体製造業者であり、マイクロコントローラ、メモリなどを主に製造販売していた。2016年、マイクロチップ・テクノロジーに買収された。 概要[編集] マイクロコントローラのAVR(90S、Mega、Tiny)、EPROM、プログラマブルロジックデバイスなどの製品がある。 社はカリフォルニア州サンノゼにある。 主な競合企業は、アナログ・デバイセズ、マイクロチップ・テクノロジー、フリースケール、インフィニオン、マキシム・インテグレーテッド、NXPセミコンダクターズ、ルネサス エレクトロニクス、STマイクロエレクトロニクス、テキサス・インスツルメンツである。 2016年1月19日、アトメルは、マイクロチップ・テクノロジーに買収されることで正式に合意した

    Atmel - Wikipedia