数値解析 - Wikipedia
バビロニアの粘土板 YBC 7289 （紀元前1800-1600年頃）。2の平方根の近似値は六十進法で4桁、十進法では約6桁に相当する。1 + 24/60 + 51/602 + 10/603 = 1.41421296... [1]。(Image by Bill Casselman) 数値解析（すうちかいせき、英: numerical analysis）は、計算機代数（英語版）とは対照的に、数値計算によって解析学の問題を近似的に解く数学の一分野である。 （狭義には「数値解析」とは「数値計算方法」の数学的な解析・分析（mathematical analysis of numerical methods）のことであり，広義の意味＝数値を使って問題の解析・分析を行う（Analysis by numerical methods）・式でなく数値で計算を行う「数値計算」（numerical comput
ラスタースキャン - Wikipedia
ラスタースキャン (Raster scan) とは、2次元の画像を、まず点で1次元的にスキャン（日本語では走査と言う）して線（走査線 (scan line) と言う）を得て、次いでその直角方向にその線でスキャンして、2次元の面で画像を得る方法である[1]。テレビにおける撮像と受像、ファクシミリ、多くのコンピュータシステムでのイメージスキャナやプリンターやディスプレイなどで使われている。イメージスキャナなどでは一列に並んだセンサによりいっぺんにスキャンがおこなわれるがラスタースキャンの一種である。アナログ複写機はスキャンはしているが写真的な処理でありラスタースキャンではない。Raster とはラテン語で熊手を意味するrastumに由来する言葉で、熊手のようなもので面を線上になぞることを示す。すなわち、ラスタースキャンにおける走査線の動きを指している。 SEM・SPM・レーザー走査顕微鏡といっ
同時マルチスレッディング - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2020年4月） 出典は脚注などを用いて記述と関連付けてください。（2020年4月） 独自研究が含まれているおそれがあります。（2020年4月） 出典検索?: "同時マルチスレッディング" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 同時マルチスレッディング（どうじマルチスレッディング、英: Simultaneous Multi-Threading、SMT）とは、パイプライン化されたスーパースカラーCPUにおいて、同一パイプラインステージ上で複数のスレッドの命令を処理することを特徴とする、ハードウェアマルチスレッディングの一形態。 パイプラ
ブートストラップ問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ブートストラップ問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年11月) ブートストラップ問題 (Bootstrap problem) は、コンパイラをコンパイル対象のプログラミング言語で作成した際に、そのコンパイラの最初のコンパイルをどうするかといった場合を典型的な例とする、いわゆる「鶏と卵」の形をしたセルフホスティング環境の問題を指す。これを解決するための方式をブートストラップ方式といい、この問題を何とかして最初の完備した環境を作ることをブートストラッピングという[1]。 名前についてはブートストラップの記事を参照
エンドツーエンド原理 - Wikipedia
エンドツーエンド原理（End-to-End Principle）は、コンピュータネットワークの古典的設計原理であり[注 1]、1981年に Jerome H. Saltzer、David P. Reed、デービッド・ダナ・クラークらの論文 End-to-end arguments in system design で初めてその概念が提唱された[1][注 2]。通信プロトコルの操作は可能な限り通信システムの終端で行い、また制御対象のリソースになるべく近いところで行うべきであるというもの。 エンドツーエンド原理では、アプリケーション固有の機能がネットワーク終端のホストで「完全かつ正しく」実装できるなら、ネットワーク内の中間ノードではなく終端のホストで実装されるべきだとする。この考え方はバランが1960年代に行った信頼できない部品で信頼性のあるネットワークを構築する研究にまで遡り、ネットワークに
グラフ作成ソフト - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "グラフ作成ソフト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2012年1月) グラフ作成ソフト（グラフさくせいソフト）は、コンピュータを使って数値データの統計処理やグラフの作成を行うためのアプリケーションソフトウェアである。ここでいうグラフとは、統計図表や関数のグラフである。 Microsoft Excelなど、一般的な表計算ソフトでもグラフ作成機能を備えているが、より専門的で様々な科学技術向けの統計処理やグラフ作成に特化したものをいう。また膨大な量の三次元データ(流体シミュレーションなど)を表示させるソフトは、データ可視化ソフ
IEEE - Wikipedia
IEEEは、電気・電子工学および情報工学の分野で世界の30%以上の文献を発行し、100以上の査読付き論文誌を出版し[11][12]、1800以上の会議やイベントを後援している。 これらの論文誌に掲載されているコンテンツや、IEEEが後援する年次会議のコンテンツは、IEEEオンラインデジタルライブラリーおよび研究データベースであるIEEE Xplore（英語版）[13]で利用でき、購読ベースのアクセスや、個々に出版物を購入することができる[14]。 雑誌や会議録のほか、IEEEは標準化委員会が作成したチュートリアルや標準も発行している。 IEEEは、基礎科学、研究、技術についての学習の機会を提供する。 IEEEは、IEEE e Learning Library[15]、Education Partners Program[16]、Standards in Education[17]、Cont
Paxosアルゴリズム - Wikipedia
Paxosとは信頼性が低いプロセッサのネットワークにおいて合意の問題を解決するためのプロトコルの集合である。 合意とは参加者のグループにおいて単一の結果について合意を得るプロセスである。参加者や通信手法に障害が起きる可能性がある場合、この問題は困難なものとなる[1]。 合意プロトコルは分散コンピューティングにおける状態機械アプローチの基礎であり、これはレスリー・ランポート[2]により提案され、Fred Schneiderによってサーベイがなされている[3]。 Paxosプロトコルは1990年に登場し命名されたが、論文として出版されたのは1998年であった[4]。 これ以前に、ナンシー・リンチ、Cynthia Dwork、Larry Stockmeyerは"部分同期"システムの広い範囲における合意形成方法を例証している。Paxosは分散トランザクションの文脈において、1988年にOkiとBa
)
コールバック (情報工学) - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2024年2月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2024年2月） 出典検索?: "コールバック" 情報工学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 同期的なコールバック方式では、ある関数の引数として渡されたコールバック関数は、その関数内でのみ使われ、関数が終了した後は使われない。 非同期的なコールバック方式では、最初にコールバック関数を登録し、後で必要になったときに呼び出す。 コールバック（英: callback）とは、コンピュータプログラミングにおいて、あるサブルーチン（関数など）を呼び出す際に
Apache Derby - Wikipedia
1996年 Cloudscape Inc. 設立 1997年 Cloudscape Inc. よりJBMSという名称でリリースされ、その後Cloudscapeと改名。 1999年 Informix Software, Inc.により、Cloudscape Inc が買収される。 2001年 IBMがInformixからCloudscapeを含むDBMSのソフトウェア資産を買収。IBM Cloudscapeとブランド名称が変更されリリースが続けられる。主に、IBM製品の組み込みDBMSとして使われる。 2004年 IBMよりソースコードがApacheソフトウェア財団に寄贈される。 2005年 incubationを卒業してApache DBのsubprojectとなる。 サン・マイクロシステムズがApache Derbyを基にしたJava DBを提供することを発表。 2006年 サン・マイク
)
ロック (計算機科学) - Wikipedia
計算機科学におけるロック（英: lock）とは、計算機システム内に複数の動作主体（プロセスやスレッドなど）のある環境で、データやデバイスなどの共有計算資源（共有リソース）へのアクセス制限を課す同期機構のひとつである。ロックは相互排他の並行性制御ポリシーを強制する手法のひとつでもある。アクセス制限を課す動作を「ロックする」「ロックを取得する」「ロックを獲得する」(acquire lock) などと表現する。また対義語として、制限を解除することをアンロック（英: unlock）と呼び、その動作を「アンロックする」「ロックを解放する」「ロックを解除する」(release lock) などと表現する[注釈 1]。 ロックは、複数の動作主体が同一のリソースに対して状態を変更する動作を行うとき、不整合な状態（競合状態）が起こらないように制御する並行性制御において用いられる手法の一つである。ある動作主体
ファイルロック - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ファイルロック" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年12月) ファイルロック（英: file lock）とは、コンピュータのファイルへのアクセスを一時的に1人のユーザーや1つのプロセスに制限する機構。このロックの目的はいわゆる「仲裁更新」(interceding update) のシナリオを防ぐことである。 仲裁更新問題とは次のような例で表される。プロセスAおよびプロセスBがある顧客の口座残高を含むレコードをファイルから読み込み、各プロセスがその値を別々のメモリに保持している状況下で、次の事象が順番に発生した場合
Winsock - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Winsock" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年4月) Winsock (Windows Sockets API, WSA) は、Windowsにおいてネットワークソフトウェアがネットワークサービス（特にTCP/IP）にアクセスする方法を定義した技術仕様である。Windows 上のTCP/IPクライアントアプリケーション（FTPクライアントや Gopherクライアント）とTCP/IPプロトコルスタックとの標準インタフェースを定義している。その名称はBSD系UNIXでプログラム間の通信に使われたソケットと呼ばれ
仕様記述言語 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "仕様記述言語" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年8月) 仕様記述言語（しようきじゅつげんご）は、システムなどの仕様を記述する、コンピュータ言語（すなわち形式言語）である。形式的でない仕様記述もあるが（後述）、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミ
nmap - Wikipedia
nmapはGordon Lyonによって書かれたセキュリティスキャナである。ポートスキャン機能だけでなく、OSやバージョンの検出機能、サービスおよびそのバージョンの検出機能など、多くの機能を兼ね備えている。 nmapはGordon Lyonによって書かれた、非常によく知られたセキュリティスキャナである。名前は、ネットワーク上にどのような機器やサービスが動いているかという、ネットワークの地図を作成すること (Network Mapper) に由来する。ポートスキャン機能だけでなく、特定ポートで動作するサービスアプリケーション（daemon類）の種類とバージョンを検出する機能、TCP/IP stack fingerprintingを用いたOSおよびそのバージョンを検出する機能など、多数の機能を備えており、2010年現在のバージョンでは、指定可能な引数は100種類を越える。また、Luaスクリプト
SQLAlchemy - Wikipedia
SQLAlchemyについて講演するMike Bayer (PyCon 2012) SQLAlchemyは、Pythonプログラミング言語のためのオープンソースのSQLツールキットおよびオブジェクト関係マッピングライブラリ（ORM）で、MIT Licenseの下で公開されている[6]。 SQLAlchemyの哲学は、リレーショナルデータベースは規模が大きくなりパフォーマンスが懸念されるようになるにつれて、オブジェクトコレクションのように振る舞わなくなり、一方、オブジェクトコレクションは、抽象化が進むとテーブルや行のように振る舞わなくなる、という2つの原則に対応することである。このため、SQLAlchemyでは、他の多くのオブジェクトリレーショナルマッパーが採用しているアクティブレコードパターンではなく、データマッパーパターン（英語版）を採用している（Java言語のHibernateと類似）
リエントラント - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2019年3月） 出典は脚注などを用いて記述と関連付けてください。（2019年3月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2019年3月） 正確性に疑問が呈されています。（2019年3月） 出典検索?: "リエントラント" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL リエントラント（英: reentrant / re-entrant、再入可能）およびリエントランシー（英: reentrancy / re-entrancy、再入可能性）とは、あるプログラムやサブルーチンの実行を完了する前に、割り込みなどにより
Drupal - Wikipedia
Drupal（ [ˈdruːpəl]）は、プログラミング言語PHPで記述されたフリーでオープンソースのモジュラー式フレームワークであり、コンテンツ管理システム (CMS) である。昨今の多くのCMSと同様に、Drupalはシステム管理者にコンテンツの作成と整理、提示方法のカスタマイズ、管理作業の自動化、ウェブサイトへの訪問者や寄稿者の管理を可能にする。 その性能が、コンテンツ管理から幅広いサービスや商取引を可能にすることにまで及ぶことから、Drupalは時々「ウェブアプリケーションフレームワーク」であると評される。Drupalは洗練されたプログラミングインタフェースを提供するものの、基本的なウェブサイトの設置と管理はプログラミングなしに成し遂げることができる。Drupalは一般に、最も優れたWeb 2.0フレームワークの一つであると考えられている[3]。 DrupalはWindows、ma
ゲーム理論 2016年9月25日 (日) 18:37; Munasca (会話 | 投稿記録) による版（ - Wikipedia
協力ゲームと非協力ゲームの区別はジョン・ナッシュが1951年に発表した「非協力ゲーム[33]」という論文の中で初めて定義された[34][35][36]。ナッシュの定義によれば、協力ゲームにおいてプレイヤー間のコミュニケーションが可能でありその結果生じた合意が拘束力を持つのに対して、非協力ゲームにおいてはプレイヤーがコミュニケーションをとることが出来ず合意は拘束力を持たない[34]。このように当初はプレイヤー間のコミュニケーションと拘束力のある合意（英: enforceable agreement）の有無によって協力ゲームと非協力ゲームとが区別されていたが、非協力ゲームの研究が進展するにつれてこのような区別は不十分なものとなった。すなわち、1970年代に非協力ゲームを「展開形ゲーム」で表現する理論が発達したことによって、非協力ゲームにおけるプレイヤー間のコミュニケーションが情報集合として記述
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日本の学会一覧 - Wikipedia