論理包含 - Wikipedia
P ⇒ Q のベン図による表現 同じくベン図による表現 論理包含（ろんりほうがん、含意（がんい）、内含、英: implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、英: conditional）とほぼ同じものである。論理的帰結（英: logical consequence）や伴意（英: entailment）とは異なる物である。 2つの命題 と に対する論理包含を などと書き、「 ならば 」や「 は を含意する」と読む。また の形をした命題を仮言命題（hypothetical proposition）、 をその前件（antecedent）、 をその後件（consequent）などと呼ぶ[1]。 ペアノは、1889年に出版した『算術の諸原理（羅: Arithmetices Principia: Nova Methodo Ex
RAII - Wikipedia
RAII（Resource Acquisition Is Initialization）は、日本語では「リソース取得は初期化である」「リソースの確保は初期化時に」「リソースの取得と初期化」などの意味を持ち、資源（リソース）の確保と解放を、クラス型の変数の初期化と破棄処理に結び付けるというプログラミングのテクニックである。特にC++とD言語で一般的であり、デストラクタをサポートしないC言語などに対する優位性や利便性のうちのひとつとなっている。 RAIIでは、資源の取得をクラス型変数の構築（初期化）時に、また返却を破壊時に行う。特にプログラムの制御フローが自動変数の属するブロックを抜けるとき、その変数のデストラクタが自動的に呼ばれるため、デストラクタを適切に記述したクラス型変数の寿命が終わるとすぐに資源が返却されることが保証できるようになる。これは例外が発生したときでも同様であるため、RAII
学習性無力感 - Wikipedia
学習性無力感（がくしゅうせいむりょくかん、英: Learned helplessness[1]）とは、長期にわたってストレスの回避困難な環境に置かれた人や動物は、その状況から逃れようとする努力すら行わなくなるという現象である。他の訳語に学習性絶望感[2]、獲得された無力感[3]、学習性無気力[4]がある。 なぜ罰されるのか分からない（つまり非随伴的な）刺激が与えられる環境によって、「何をやっても無駄だ」という認知を形成した場合に、学習に基づく無力感が生じ、それはうつ病に類似した症状を呈する[5]。1967年にマーティン・セリグマンらのオペラント条件づけによる動物実験での観察に基づいて提唱され[5]、1980年代にはうつ病の無力感モデルを形成した[6]。 心理学者のマーティン・セリグマンが、1960年代にリチャード・ソロモンの元で学生生活をしていた時期に思いつき、それ以来10年間近くの研究を
根本的な帰属の誤り - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2016年9月） 根本的な帰属の誤り（こんぽんてきなきぞくのあやまり、英: Fundamental attribution error）は、個人の行動を説明するにおいて、当人の気質や個性を過重視し、当人が置かれていた状況を軽視する傾向を言う。帰属バイアスの一種である。基本的帰属錯誤[1]、基本的な帰属の錯誤[2]、基本的な帰属のエラー[3]、対応バイアス（たいおうバイアス、英: Correspondence bias）ともいう。 根本的な帰属の誤りに関する様々な実験は、社会心理学自体が成り立っている証拠である。 人は他人の行動を根拠なくその人の「種類」によって決定されていると見、社会的かつ状況的な影響を軽視する傾向がある。また、自身の行動には逆の見方をする傾向
Linuxディストリビューションの比較 - Wikipedia
この記事は更新が必要とされています。 この記事には古い情報が掲載されています。編集の際に新しい情報を記事に反映させてください。反映後、このタグは除去してください。（2020年5月） Linuxディストリビューションの比較（リナックスディストリビューションのひかく）では、Linuxディストリビューションの比較を行う。 Linuxディストリビューションの技術的な多様性として、異なっているハードウェアデバイス、システム、ソフトウェアパッケージ形態に対するサポートが挙げられる。組織の違いは歴史的な理由によりそうなっているのかもしれない。他の基準として、ユーザーインタフェース、セキュリティアップデートが入手可能になる早さ、パッケージ管理の安易さ、利用可能なパッケージの数が挙げられる。 これらの表は幅広い客観的な基準で注目すべきディストリビューションの最新安定版について比較するものである。これらの表は
プラグマティズム - Wikipedia
プラグマティズムの思想家たち、パース(左上)、ジェームズ(右上)、デューイ(左下)、ミード(右下) プラグマティズム（英: pragmatism）とは、ドイツ語の「pragmatisch」という言葉に由来する、実用主義、道具主義、実際主義とも訳される考え方。元々は、「経験不可能な事柄の真理を考えることはできない」という点でイギリス経験論を引き継ぎ、概念や認識をそれがもたらす客観的な結果によって科学的に記述しようとする志向を持つ点で従来のヨーロッパの観念論的哲学と一線を画するアメリカ合衆国の哲学である。 プラグマティズムは1870〜74年の私的なクラブに起源を有する思想であり、その代表的なメンバーとしてチャールズ・サンダース・パース[1]、ウィリアム・ジェームズらがいる。 プラグマティズムはジェームズによって広く知られるようになり、20世紀初頭のアメリカ思潮の主流となった。心理学者の唱える「
言語的相対論 - Wikipedia
言語的相対論（げんごてきそうたいろん、英: Theory of linguistic relativity）または言語的相対性原理（げんごてきそうたいせいげんり、英: Principle of linguistic relativity）、サピア＝ウォーフの仮説（サピア＝ウォーフのかせつ、Sapir-Whorf hypothesis、SWH）は、「どのような言語によってでも現実世界は正しく把握できるものだ」とする立場に疑問を呈し、言語はその話者の世界観の形成に関与することを提唱する仮説である。ベンジャミン・ウォーフが唱えた理論であり、個人が使用できる言語によってその個人の思考が影響を受けることを体系化した理論である。ウォーフとエドワード・サピアの研究の基軸をなした。 この理論は何度も提案され、議論を重ねてきた。時にはサピア＝ウォーフの仮説と呼ばれたり、単にウォーフの仮説と呼ばれたりする。ウ
バグ管理システム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "バグ管理システム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2021年6月) バグ管理システム（バグかんりシステム）、バグトラッキングシステム[1]とはプロジェクトのバグを登録し、修正状況を追跡するシステム。バグ管理システムの多くは、ウェブサーバ上で動作し、ウェブブラウザ経由でアクセスできるようになっている。 近年、ソフトウェアの開発においてはバグの修正が重要な作業と考えられている。バグを漏らさず修正し、再発を防ぐには、バグの発見日時や発見者、再現方法、修正担当者、修正履歴、修正方法、重要度、テスト状況などの多くの情報を残し管理
計算複雑性理論 - Wikipedia
計算複雑性理論（けいさんふくざつせいりろん、英: computational complexity theory）とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティや、特定の計算問題の解法の複雑性（計算問題の困難さ）などを数学的に扱う。計算量理論、計算の複雑さの理論、計算複雑度の理論ともいう。 「計算量」と「計算複雑性」はともに computational complexity に対応する語であるが、個々のアルゴリズムの効率に着目する文脈では「計算量」が広く用いられるのに対し、問題に内在する本質的困難さを表す意識からは「複雑性」「複雑さ」が好まれる傾向がある。 概要[編集] 計算複雑性理論は計算可能関数の計算の複雑さを扱う。計算理論のもう一つの重要な分野である計算可能性理論では問題の解法があるかどうかだけを扱い、その複雑さや必要とする計算資源量は問わない点が異な
動的計画法 - Wikipedia
動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部分問題の計算結果の記録を利用して全体の問題を解く手法を総称してこう呼ぶ。 定義[編集] 細かくアルゴリズムが定義されているわけではなく、下記2条件を満たすアルゴリズムの総称である。 帰納的な関係の利用：より小さな問題例の解や計算結果を帰納的な関係を利用してより大きな問題例を解くのに使用する。 計算結果の記録：小さな問題例、計算結果から記録し、同じ計算を何度も行うことを避ける。帰納的な関係での参照を効率よく行うために、計算結果は整数、文字やその組みなどを見出しにして管理される。 概要[編集] 「動的計画法(dynamic programming)」という言葉は1940年代にリチャード・E・ベルマンが最初
巨大数 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Large numbers|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があ
YAGNI - Wikipedia
英: You ain't gonna need it[1]、縮めて YAGNI とは、機能は実際に必要となるまでは追加しないのがよいとする、エクストリーム・プログラミングにおける原則である。 YAGNI原則を提唱する人々は、その理由として以下を挙げている。 後で使うだろうという予測の元に作ったものは、実際には10%程度しか使われない。したがって、それに費やした時間の90%は無駄になる[2]。 余計な機能があると、仕事が遅くなり、リソースを浪費する[2]。 予期しない変更に対しては、設計を単純にすることが備えとなる。そして、必要以上の機能を追加すると、設計が複雑になってしまう[2]。 人生の時間は、貴重である。したがって、人間の能力は、ただコードを書くためではなく、現実の問題に集中するために使うべきである[3]。 結局は、その機能は必要ないかもしれない。もしそうなったら、あなたがその機能を実
UTF-8 - Wikipedia
UTF-8（ユーティーエフはち、ユーティーエフエイト）はISO/IEC 10646 (UCS) とUnicodeで使える8ビット符号単位（1–4バイトの可変長）の文字符号化形式および文字符号化スキーム。 正式名称は、ISO/IEC 10646では “UCS Transformation Format 8”、Unicodeでは “Unicode Transformation Format-8” という。両者はISO/IEC 10646とUnicodeのコード重複範囲で互換性がある。RFCにも仕様がある[1]。 2バイト目以降に「/」などのASCII文字が現れないように工夫されていることから、UTF-FSS (File System Safe) ともいわれる。旧名称はUTF-2。 UTF-8は、データ交換方式・ファイル形式として一般的に使われる傾向にある。 当初は、ベル研究所においてPlan
MongoDB - Wikipedia
MongoDBはRDBMSではなく、いわゆるNoSQLと呼ばれるデータベースに分類されるものである。RDBMSのようにレコードをテーブルに格納するのではなく、「ドキュメント」と呼ばれる構造的データをJSONライクな形式で表現し、そのドキュメントの集合を「コレクション」として管理する（このデータの物理的な格納はBSONと呼ばれるJSONのバイナリ版といえる形式で行われる）。コレクションはRDBMSのような固定的なスキーマを持たない。ドキュメントには複雑な階層構造を持たせることもでき、それらの構造に含まれるフィールドを指定したクエリやインデクス生成も簡単な指定によって行える。RDBMSのように高度な結合操作を効率的に行うことはできないが、データの追加・更新・削除・クエリは高速に行うことができる。また、アプリケーションは自身の構造やデータ型に合った自然な形でデータを格納することができるため、扱う
リバースプロキシ - Wikipedia
リバースプロキシ（英: reverse proxy）または逆プロキシは、特定のサーバへのリクエストが必ず通過するように設置されたプロキシサーバである。一般的なプロキシとは逆で、不特定多数のクライアントのアクセスに備えて特定のサーバー専用に設けられる。クライアントに取ってはサービスの窓口として機能し、普通はクライアントがリバースプロキシを意識することはない。 リバースプロキシは、不特定多数のクライアントに対するアクセス制限や、サーバーの負荷分散のために用意される。具体的には下記の用途がある。 セキュリティ リバースプロキシサーバを前置することで防御が一段階増える。リバースプロキシに認証・認可の機能を持たせる場合もある。複数台のサーバがある場合にリバースプロキシで認証・認可を行うとシングルサインオンを実現できる。 暗号化/SSL高速化 SSL による暗号化でセキュアなWebサイトを作るとき、暗
不可分操作 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "不可分操作" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年1月) 不可分操作（ふかぶんそうさ）あるいはアトミック操作 (英: atomic operation) とは、情報工学においていくつかの操作を組み合わせたもので、システムの他の部分から見てそれらがひとつの操作に見えるものをいう。 不可分操作は、以下の2つの条件を満たさなければならない。 全操作が完了するまで、他のプロセスはその途中の状態を観測できない。 一部操作が失敗したら組合せ全体が失敗し、システムの状態は不可分操作を行う前の状態に戻る。 システムの他の部分から見
メルセンヌ・ツイスタ - Wikipedia
メルセンヌ・ツイスタ (Mersenne twister、通称MT) は擬似乱数列生成器 (PRNG) の1つである。1996年に国際会議で発表されたもので（1998年1月に論文掲載）松本眞と西村拓士による。既存の疑似乱数列生成手法にある多くの欠点がなく、高品質の疑似乱数列を高速に生成できる。考案者らによる実装が修正BSDライセンスで公開されている。 「メルセンヌ・ツイスタ」は厳密にはある手法に基づいた乱数列生成式（あるいは生成法）の族を指し、内部状態の大きさや周期は設定可能である。以下の長所と短所では、メルセンヌ・ツイスタ自体、よく使われている生成法のMT19937、さらにその実装について、区別することなく述べている。 219937-1 (≒4.315×106001) という長い周期が証明されている。 この周期は、名前の由来にもなっているように（24番目の）メルセンヌ素数であり、保証され
赤黒木 - Wikipedia
赤黒木（あかくろぎ）は、コンピュータ科学のデータ構造である平衡二分木の一種で、主に連想配列の実装に用いられている。2色木、レッド・ブラック・ツリーともいう。 このデータ構造は1972年のルドルフ・ベイヤー (en:Rudolf Bayer) の発明である"symmetric binary B-trees"が元となっており、赤黒木という名前自体は 1978年にレオニダス・ギッバス (en:Leonidas J. Guibas) とロバート・セジウィック (en:Robert Sedgewick) によって発表された論文による。 赤黒木は、探索、挿入、削除などの操作における最悪時間計算量がO(log n)（nは木の要素数）と短く、複雑ではあるが実用的なデータ構造として知られている。 この日本語版は概要のみの解説であり、具体的なアルゴリズムはwikipedia英語版(Red-black_tree
Apache Hadoop - Wikipedia
Apache Hadoopは大規模データの分散処理を支えるオープンソースのソフトウェアフレームワークであり、Javaで書かれている。Hadoopはアプリケーションが数千ノードおよびペタバイト級のデータを処理することを可能としている。HadoopはGoogleのMapReduceおよびGoogle File System(GFS)論文に触発されたものである。 HadoopはApacheのトップレベルプロジェクトの1つであり、世界規模の開発貢献者コミュニティによって開発され、使用されている。[2] Hadoopは、以下の4つのモジュールによって構成されている。 Hadoop Common: 他のモジュールから共通して利用されるライブラリ群。 Hadoop Distributed File System (HDFS): Hadoop独自の分散ファイルシステム。 Hadoop YARN: Hado
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
括弧 - Wikipedia
