インシデント・コマンド・システム - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2017年6月） 出典は脚注などを用いて記述と関連付けてください。（2017年6月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2017年6月） 出典検索?: "インシデント・コマンド・システム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL インシデント・コマンド・システム（現場指揮システム、Incident Command System、ICS）は、米国で開発された災害現場・事件現場などにおける標準化された管理システムのこと。インシデント・マネジメント・システム (Incident Management Sys
ペアノの公理 - Wikipedia
ペアノの公理（ペアノのこうり、英: Peano axioms） とは、自然数の全体を特徴づける公理である。ペアノの公準（英: Peano postulates）あるいはデデキント＝ペアノの公理（英: Dedekind-Peano axioms）とも呼ばれる[1][2]。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。 ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』（Grundlagen Der Analysis）がある。 公理[編集] 集合 ℕ と定数 0 と関数 Sと集合Eに関する次の公理をペアノの公理という[3][注 1]。 0 ∈ ℕ 任意の n ∈ ℕ について S(n) ∈ ℕ 任意の n ∈ ℕ について S(n) ≠ 0 任意の n, m ∈
高島秀行 - Wikipedia
高島 秀行（たかしま ひでゆき 1968年7月26日 - ）は、大阪府大阪市生まれのエンジニア、実業家。2018年現在、GMOフィナンシャルホールディングス株式会社代表執行役会長、GMOクリック証券株式会社代表取締役会長、GMOコイン株式会社代表取締役会長、株式会社メディバンは代表取締役社長、GMOあおぞらネット銀行株式会社。 人物[ソースを編集] もともとはオンライントレードである松井証券のネットストック開発の中心エンジニアであったが、その後も、数社でのオンライントレードシステムの開発やネットバンクの立ち上げにかかわり、アクセンチュアでは、オブジェクト指向の開発と金融系のネットビジネスのコンサルを担当。ライブドアでは夜間取引(PTS)とネット銀行の設立準備を担当した（約半年間）。 証券会社を作り、銀行や夜間取引（PTS）を作る準備や申請をしたため金融業界に広い人脈を持つ。本人の夢は、ネッ
松井道夫 - Wikipedia
松井 道夫（まつい みちお、1953年〈昭和28年〉3月22日 - ）は、日本の実業家。第4代松井証券社長。旧姓・務台（むたい）。 人物[編集] 長野県東筑摩郡波田村（現・松本市）生まれ[1][2]。父の務台甚一は旧松本市内出身で東京国税局勤務。生後すぐに父のいた東京北区の官舎（当時）に移り住む。1968年東京都立竹早高等学校入学。高校時代はジャズ喫茶に入り浸り山下達郎と友人だった。美術部に所属し、東京藝術大学（芸大）志望だったが芸大出の顧問の先生に、芸大を出ても絵を描いて生活していくのは難しいと言われ諦める。 1976年一橋大学経済学部卒業（石弘光ゼミ）後、日本郵船入社。優秀な先輩社員に圧倒され、英語の勉強をしたり京都大学文学部の講義に潜り教養を身につけようとした。 1986年、実弟の務台則夫の妻の紹介で、松井証券の2代目社長松井武の長女・千鶴子（当時上智大学助手）と結婚し、松井家の婿養
デスマーチ - Wikipedia
この記事のほとんどまたは全てが唯一の出典にのみ基づいています。他の出典の追加も行い、記事の正確性・中立性・信頼性の向上にご協力ください。 出典検索?: "デスマーチ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年7月） デスマーチ (death march) とは、プロジェクトにおいて過酷な労働状況をいう。本来は、コンピュータプログラマのアンドリュー・ケーニッヒ（英語版）によって1995年に示された、コンピュータシステムのアンチパターンのうち、プロジェクトマネジメント上の問題点の1つとして示した言葉である。日本語では、しばしば「デスマ」と略される。 ソフトウェア産業に限らず、コンピュータが関係する一般的なプロジェクト全般で使われるようになってきており、特に納期などが破綻寸前で、関係者の負
ビザンチン将軍問題 - Wikipedia
ビザンチン将軍問題（ビザンチンしょうぐんもんだい、英語: Byzantine Generals Problem）とは、相互に通信しあう何らかのオブジェクト群において、通信および個々のオブジェクトが故障または故意によって偽の情報を伝達する可能性がある場合に、全体として正しい合意を形成できるかを問う問題である[1]。フォールトトレラントシステムでの多数決の妥当性や分散コンピューティングの処理の妥当性に関わる問題と言え、二人の将軍問題を一般化したものと言える。 ビザンチン将軍問題に帰結される故障や障害をビザンチン故障（Byzantine Failure、あるいはビザンチン障害）と呼ぶ。また、ビザンチン将軍問題が発生しても全体として正しく動作するシステムをビザンチン・フォールトトレラント性（Byzantine Fault Tolerance）があるという。 問題[編集] ビザンチン将軍問題は、東ロ
委譲 - Wikipedia
この項目では、プログラミングの手法について説明しています。 .NETの言語機能については「デリゲート (プログラミング)」をご覧ください。 権限の委譲については「権限委譲」をご覧ください。 他人に法律行為を委託することについては「委任」をご覧ください。 委譲 (英: delegation) とはオブジェクト指向プログラミングにおいて、あるオブジェクトの操作を一部他のオブジェクトに代替させる手法のこと。 概要[編集] 委譲を行うオブジェクトは委譲先オブジェクトへの参照を持ち、必要に応じてその参照を切り替える事で動作にバリエーションを持たせる事ができる。一種の実装遅延、プラグイン機構である。一例としては、オブジェクトの編集を行う時、編集の前処理、後処理を本処理と独立させ委譲先に任せる事で、オブジェクト本体の変更を最小限にとどめ局所性を向上させる、などがある。 操作の代替という観点では他に代理
バイト順マーク - Wikipedia
バイト順マーク (バイトじゅんマーク、英: byte order mark) 、バイトオーダーマークあるいはBOM（ボム）は、Unicodeの符号化形式で符号化したテキストの先頭につける数バイトのデータ。元にUnicodeで符号化されていることおよび符号化の種類の判別に使用する。 概要[編集] プログラムがテキストデータを読み込む時、その先頭の数バイトからそのデータがUnicodeで表現されていること、また符号化形式（エンコーディング）としてどれを使用しているかを判別できるようにしたものである。[1] 経緯[編集] Unicodeが開発された当初は、アメリカではASCII、ヨーロッパなどではISO-8859、日本ではShift_JISやEUC-JPといった他の文字コードが主流であり、使用されている符号化方式がUnicodeのものであることを明示する必要があった。また、Unicodeの符号化
横井軍平 - 枯れた技術の水平思考 - Wikipedia
横井 軍平（よこい ぐんぺい、1941年〈昭和16年〉9月10日 - 1997年〈平成9年〉10月4日）は、日本の技術者、ゲームクリエイター。携帯型ゲーム業界に多大な貢献を行ったことから「携帯ゲームの父」の異名で知られる。 人物[編集] 京都府京都市出身。同志社大学工学部電気工学科卒。 任天堂開発第一部部長として『ゲーム&ウオッチ』、『ゲームボーイ』、『バーチャルボーイ』等の開発に携わり、宮本茂と並んで任天堂を世界的大企業へと押し上げる原動力となった。 経歴[編集] 学生時代[編集] 趣味は鉄道模型で、小学3年生でOゲージを買ってもらい、中学2年生でHOゲージに転向、高校時代に完成させたレイアウト「SPライン（Sはsilk＝絹、Pはparasol＝傘、絹傘→きぬかさ→衣笠、当時の住所から使ったとのこと）」を専門誌『鉄道模型趣味』に投稿し、1958年1月号に掲載されている。その後進学した同志
後藤英一 - Wikipedia
後藤 英一（ごとう えいいち、1931年1月26日 - 2005年6月12日）は、日本の物理学者・計算機科学者。東京大学名誉教授。 磁気による論理演算回路素子のパラメトロンを発明。数式処理の分野でも業績を上げる。紫綬褒章受章。 功績[編集] 理化学研究所では特許を100近く出願したという。理研の物理学部門では特許収入が首位との事である。さまざまな原理は勉強したが、その原理がコンピュータにどう使われているかは勉強しなかったと語る。 年度が判明しているもの 1952年頃、TAC (コンピュータ)の開発に関わる。ただし非常に難産で数年かかっても動く見込みがなく、途中で後藤はTACの開発から離れる。TAC自体はその後に稼動に成功した。 1954年、東京大学理学部高橋秀俊研究室に大学院生として研究中にパラメトロンを発明。パラメトロン関連の功績については「パラメトロン」を参照。 パラメトロン計算機に関
江副浩正 - Wikipedia
江副 浩正（えぞえ ひろまさ、1936年（昭和11年）6月12日 - 2013年（平成25年）2月8日）は、株式会社リクルートの創業者として知られる日本の実業家[1]。東京大学が生んだ最大のベンチャー起業家と評されるが[1]、「リクルート事件」の贈賄側人物としても知られる[1]。また奨学金財団として江副育英会を創設し理事長を務めた[1]。 東京大学在学中にリクルートを創業し、大企業に成長させた[2]。1988年（昭和63年）1月会長に就任、同年6月に「リクルート事件」報道が始まり、1989年（平成元年）2月に逮捕[2]。リクルート裁判は14年間、開廷数322回に及び、日本の裁判史上記録的な数字であった[2]。2003年（平成15年）3月、執行猶予付き有罪判決を受けた[2]。 その後、人材育成を支援する財団法人江副育英会（現：公益財団法人江副記念リクルート財団）や執筆業、慈善事業などを通じて
ゲーム意味論 - Wikipedia
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されており、ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。 古典論理[編集] 最も単純なゲーム意味論の応用として、命題論理への適用がある。各論理式を2人のプレイヤーの間で行われるゲームに見立てる。プレイヤーは「立証者; Verifier」と「偽証者; Falsifier」と呼ばれる。立証者はその論理式内の全ての論理和の「所有権」を有し、偽証者は同様に全ての論理積を所有する。このゲームの「手」で行うことは、論理演算子を所有するプレイヤーがその演算子の一方の枝を選ぶことである。ゲームはその選ばれた部分論理式について続行され、その論理式を制御して
線形論理 - Wikipedia
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。 A と A ⇒ B を前提とするモーダスポネンス（あるいは自然演繹でいう含意の除去）により、B が得られる。 前提 A と (1) の論理積から A ∧ B が得られる。 これをシークエントで表すと、A, A ⇒ B ⊢ A ∧ B となる。上記の証明ではどちらの行でも、A が真であ
Parsing Expression Grammar - Wikipedia
Parsing Expression Grammar（PEG）は、分析的形式文法の一種であり、形式言語をその言語に含まれる文字列を認識するための一連の規則を使って表したものである。PEGは再帰下降構文解析を文法を示すためだけに純粋に図式的に表現したものと見ることもでき、具体的な構文解析器の実装やその用途とは独立している。 PEGにおける構文（文法）の定義は文脈自由文法のバッカス・ナウア記法によるそれに似ているが、文脈自由文法では一般に「｜」（縦棒、バーティカルバー）で表される「これらのうちどれか」ではなく、「最初の解析がうまくいったらそれを、失敗なら次を順に試してゆき、成功したものを採用」（「/」であらわす）という意味を使う。 このため、文脈自由文法とは異なり、PEGには曖昧さは存在しない。文字列を構文解析する場合、正しい構文木は常に1つしかない。このためPEGはコンピュータ言語の構文解析
Java Message Service - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Java Message Service" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） Java Message Service (JMS) とはJavaプログラムにネットワークを介してデータを送受信させるためのAPIである。 Java EE 1.3 以降に標準で含まれている。データを1つずつバラバラに扱うのではなく、メッセージと呼ばれる塊にまとめて送信するメッセージングを行う。1対1のキューと1対多のトピックが使える。受信は、MessageConsumer.receive() による同期受信のほか、MessageLi
出版-購読型モデル - Wikipedia
出版-購読型モデル（しゅっぱん-こうどくがたモデル、英: Publish/subscribe）は、非同期メッセージングパラダイムの一種である。メッセージの送信者（出版側）が、特定の受信者（購読側）に直接メッセージを発行するプログラムではなく、発行（出版）されたメッセージはクラス分けされ、どんな受信者が居るのかは知らない。受信者は興味のあるクラスを指定しておき、そのクラスに届くメッセージだけを受け取り、どんな送信者が居るのかは知らない。送信者と受信者の結合度が低いため、スケーラビリティがよく、動的なネットワーク構成に対応可能である。 出版-購読型モデルはメッセージキューパラダイムと対比され、一般に大きなメッセージ指向ミドルウェアの一部として使われる。一部のメッセージシステム（Java Message Serviceなど）は、出版-購読型とメッセージキューの両モデルをサポートしている。 メッセ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
