Time of check to time of use - Wikipedia
Time of check to time of use（TOCTTOU、TOCTOU、トックトゥー）とは、ソフトウェア開発において、ある条件（セキュリティ認証など）をチェック (check) したあと、その結果を行使 (use) するまでに変更が発生することで引き起こされるバグの一種である。これは競合状態の一例である。 単純な例として、ユーザーがページを編集できる機能と、管理者がページをロックできる機能をもつWebアプリケーションを考える。まずユーザーがページの編集を要求し、編集フォームが表示される。次にフォームを送信する前に、管理者がページをロックする。しかし編集は既に開始されており、ユーザーがフォームを送信すると、これらの編集は受理される。すなわち、しかるべき権限がチェックされた結果としてユーザーは編集を開始したのであるが、もはや編集が許可されるべきではなくなったときに、その権限は遅
確証バイアス - Wikipedia
確証バイアス（かくしょうバイアス、英: confirmation bias）とは、認知心理学や社会心理学における用語で、仮説や信念を検証する際にそれを支持する情報ばかりを集め、反証する情報を無視または集めようとしない傾向のこと[1][2]。認知バイアスの一種。また、その結果として稀な事象の起こる確率を過大評価しがちであることも知られている[3]。 ウェイソン選択課題[編集] どのカードも一方には白い面に数字が書かれ、もう一方の面は何色かの色が一面に塗られている。「偶数が表に書かれたカードの裏は赤色である」という仮説を検証するにはどのカードを裏返すべきか？ 図のような4枚のカードが示され、「偶数が表に書かれたカードの裏は赤色である」という仮説を検証するにはどのカードを裏返すべきかと尋ねられたとする。この回答として多いのは「8と赤色」あるいは「8」のカードであるが、これらは十分な仮説の検証に失
x64 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "X64" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年2月） x64またはx86-64[注釈 1] とは、x86アーキテクチャを64ビットに拡張した命令セットアーキテクチャ。 実際には、AMDが発表したAMD64命令セット、続けてインテルが採用したIntel 64命令セット（かつてIA-32eまたはEM64Tと呼ばれていた）などを含む、各社のAMD64互換命令セットの総称である。x86命令セットと互換性を持っていることから、広義にはx86にx64を含む場合がある。 なお、インテルはIntel 64の他にIA-64の名前で64ビ
アンチパターン - Wikipedia
ソフトウェア開発におけるアンチパターン (英: anti-pattern) とは、必ず否定的な結果に導く、しかも一般的に良く見られる開発方式を記述する文献形式を言う[1]。その内容は、基本的には、否定的な開発方式の一般的な形、主原因、症状、重症化した時の結果、そしてその対策の記述からなる[2]。 デザインパターンを補完・拡張する関係にあるもので、多くの開発者が繰り返すソフトウェア開発の錯誤を明確に定義することにより、開発や導入を阻害する一般的で再発性の高い障害要因の検知と克服を支援することが目的である[3][4]。 概要[編集] ある問題に対する、不適切な解決策を分類したものをアンチパターンと言う[5][6]。 アンチパターンという呼び方は、アンドリュー・ケーニッヒ（英語版）が1995年に作り出したもので[7]、後に書籍The patterns handbook[8]で再掲された。 ギャン
トリクルダウン理論#アベノミクス - Wikipedia
トリクルダウン理論（トリクルダウンりろん、英: trickle-down effect）とは、「富める者が富めば、貧しい者にも自然に富がこぼれ落ち、経済全体が良くなる」とする経済理論である。18世紀の初頭に英国の精神科医であるマンデヴィルによって初めてこのような考え方が示され、その後の古典派経済学に影響を与えた[1]。均霑理論（きんてんりろん）とも訳される[2]。 2014年現在では、提唱された当時とは時代的背景が大きく異なることもあり、否定的な意見が多い[3][4][5][6]。 解説[編集] 「トリクルダウン (trickle down) 」は英語で「徐々にあふれ落ちる」を意味し、大企業や富裕層の支援政策を行うことが経済活動を活性化させることになり、富が低所得層に向かって徐々に流れ落ち、国民全体の利益となる」とする仮説である[7]。「トリクルダウン」という名称は、ウィル・ロジャースの発
プリンシパル＝エージェント理論 - Wikipedia
プリンシパル＝エージェント関係（－かんけい、principal-agent relationship）[1]とは、行為主体Aが、自らの利益のための労務の実施を、他の行為主体Bに委任すること。このとき、行為主体Aをプリンシパル（principal、依頼人、本人）、行為主体Bをエージェント（agent、代理人）[2] と呼ぶ。 エージェンシー・スラック（agency slack）とは、エージェントが、プリンシパルの利益のために委任されているにもかかわらず、プリンシパルの利益に反してエージェント自身の利益を優先した行動をとってしまうこと。エージェンシー問題（－もんだい、agency problem）[3]とは、プリンシパル＝エージェント関係においてエージェンシー・スラックが生じてしまう問題のこと。 プリンシパル＝エージェント理論（－りろん、principal-agent theory）[4]とは
ハイパースレッディング・テクノロジー - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2017年12月） 出典は脚注などを用いて記述と関連付けてください。（2020年10月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2020年10月） 出典検索?: "ハイパースレッディング・テクノロジー" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL ハイパースレッディング・テクノロジー (英: Hyper-Threading Technology、HTT) とは、インテルのハードウェアマルチスレッディング実装に対する同社の商標である。当初は、NetBurstマイクロアーキテクチャにおける同時マルチスレッディング
Direct Memory Access - Wikipedia
AMD DirectGMA はDMAの一形態である。 Direct Memory Access（DMA）とは、プログラムされた機械語の命令群の実行によってアキュムレータなどを介する方法によらず、メモリとメモリまたはメモリとI/Oデバイスの間で直接データを転送することである。 専用回路のことを DMAC（DMA Controller）と言う。 概要[編集] 現代でのDMAの重要性は、つまるところCPUの転送速度の枷を外したところにある。DMAの技術が発生する以前は、CPUはデータの転送時間のあいだ待たなくてはならず、その間は他の作業をこなすことはできなかった。外部入出力（I/O）の転送速度はRAMよりも遅かったことがこの原因である。DMAがあれば、CPUは転送時間を有意にタスクへと割くことができる。この利点は組み込み向けプロセッサにおいても同様に効果があった。ただし、転送バスは一部使用中とな
契約プログラミング - Wikipedia
契約による設計 契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Contract; DbC）は、ソフトウェアの正確性[注 1]と頑健性[注 2]を高めるためのソフトウェア設計の方法論である。DbC はロバート・フロイド、アントニー・ホーア、エドガー・ダイクストラらの形式的検証の仕事を基礎にしている[1]。DbC は（抽象データ型に基づく）オブジェクト指向プログラミングにおける表明の利用や、継承に伴う表明の再定義の原理的規則、例外処理の原理的規則などを提供する[2]。 DbC は、バートランド・メイヤーによって提案された[3][4][5]。 概要[編集] 「契約による設計」（DbC）における中心的な概念は、クライアントとサプライヤ[6]の契約 (contract) である。Db
)
スレッド (コンピュータ) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "スレッド" コンピュータ – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年5月） スレッド（thread）とは、コンピュータプログラムにおいて特定の処理を行うための一貫性のある命令の流れのことであり、プロセッサ利用の最小単位[1]。プロセスは少なくとも1つ以上のスレッドを含む。一般的に各プロセスには独立した仮想アドレス空間が割り当てられるが、プロセス内のスレッド群はアドレス空間を共有する。そのためプログラムを実行するときのコンテキスト情報が最小で済み、同じプロセス内でスレッドを切り替える際はアドレス空間の切り替えが不要となるので、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
