タグ

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

  • 数値解析 - 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
  • ラスタースキャン - Wikipedia

    ラスタースキャン (Raster scan) とは、2次元の画像を、まず点で1次元的にスキャン(日語では走査と言う)して線(走査線 (scan line) と言う)を得て、次いでその直角方向にその線でスキャンして、2次元の面で画像を得る方法である[1]。テレビにおける撮像と受像、ファクシミリ、多くのコンピュータシステムでのイメージスキャナやプリンターやディスプレイなどで使われている。イメージスキャナなどでは一列に並んだセンサによりいっぺんにスキャンがおこなわれるがラスタースキャンの一種である。アナログ複写機はスキャンはしているが写真的な処理でありラスタースキャンではない。Raster とはラテン語で熊手を意味するrastumに由来する言葉で、熊手のようなもので面を線上になぞることを示す。すなわち、ラスタースキャンにおける走査線の動きを指している。 SEM・SPM・レーザー走査顕微鏡といっ

    ラスタースキャン - Wikipedia
  • 同時マルチスレッディング - 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(アイ・トリプル・イー、Institute of Electrical and Electronics Engineers)は、アメリカ合衆国に部を置く電気・情報工学分野の学術研究団体(学会)、技術標準化機関である。日語では米国電気電子学会、米国電気電子技術者協会とも。 会員の分布、活動は全世界的規模に及び、この種の専門職団体として世界最大規模である。 概要[編集] ニューヨークに部[3]、ニュージャージー州ピスカタウェイ(英語版)に事務局を置く。1963年にアメリカ電気学会(AIEE)と無線学会(IRE)の合併により発足した[4]。 対象とする分野は、電気工学を源流とする通信・電子・情報工学とその関連分野に及ぶ。学会の目的は、電気および電子工学、電気通信、情報工学ならびに関連分野の教育的・技術的進歩である[5]。専門分野ごとに計39の分科会[6]を持ち、それぞれに会誌(科学

    IEEE - Wikipedia
  • 日本の学会一覧 - Wikipedia

    この項目では、特に日における代表的な学会などについて説明しています。日学術会議に指定された協力学術研究団体全般については「日学術会議協力学術研究団体」をご覧ください。 日の学会一覧(にほんのがっかいいちらん)は、日国内における学会一覧。 概要[編集] 日学術会議、日学術協力財団、科学技術振興機構が運営する『学会名鑑』によると、2014年11月9日現在、日の学会には1176学会が存在し、以下のように分類されている[1]。 日の学会の分類と数(2014年11月9日現在)[1] 大分類 小分類 学会数

  • 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)とは、コンピュータプログラミングにおいて、あるサブルーチン(関数など)を呼び出す際に

    コールバック (情報工学) - Wikipedia
  • Apache Derby - Wikipedia

    Apache Derby(アパッチ・ダービー)は、IBMから寄贈されたCloudscapeのソースコードを元に、 Apacheソフトウェア財団によってプログラムの開発が進められている、Java技術で実装されたRDBMSのソフトウェア。 歴史[編集] 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よりソースコードがApac

  • ロック (計算機科学) - Wikipedia

    計算機科学におけるロック (英: lock) とは、計算機システム内に複数の動作主体(プロセスやスレッドなど)のある環境で、データやデバイスなどの計算資源(リソース)へのアクセス制限を課す同期機構。ロックは並行性制御ポリシーを実施する手法のひとつである。アクセス制限を課す動作を「ロックする」、「ロックを取得する」などと表現する。また対義語として、制限を解除することをアンロック(英: unlock)という(ロック解放、ロック解除とも)。 概要[編集] ロックは、複数の動作主体が同一のリソースに対して状態を変更する動作を行うとき、不整合な状態が起こらないように制御する並行性制御において用いられる手法の一つである。ある動作主体がロックしたリソースへは、基的には他の主体による利用は妨げられる。実際には、完全に利用をさせないロックは性能低下が著しいため、複数の主体が取得可能なロックや、他者の読み出

  • ファイルロック - 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でプログラム間の通信に使われたソケットと呼ばれるA

  • 仕様記述言語 - Wikipedia

    仕様記述言語(しようきじゅつげんご)は、システムなどの仕様を記述する、コンピュータ言語(すなわち形式言語)である。形式的でない仕様記述もあるが(後述)、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語は必ずしもシステムに自動変換されるものではなく、あくまで仕様の妥当性を検証することに重きを置いている。ソフトウェア工学における一般的な設計プロセスの位置づけから、多くはプログラミング言語を記述する前段階に記述されることを期待している。 仕様記述と検証の方法について説明する。仕様記述では、何らかのシステムの仕様を論理学的あるいは代数学的に、形式的に記述する(形式仕様記述)。検証では、論理学や代数学に基づき(すなわち「機械的」に)、無矛盾性などといったシステムにおける「好ましい性質」の保証、あるいはデッドロックの可能

  • nmap - Wikipedia

    nmapGordon Lyonによって書かれたセキュリティスキャナである。ポートスキャン機能だけでなく、OSやバージョンの検出機能、サービスおよびそのバージョンの検出機能など、多くの機能を兼ね備えている。 概要[編集] nmapGordon Lyonによって書かれた、非常によく知られたセキュリティスキャナである。名前は、ネットワーク上にどのような機器やサービスが動いているかという、ネットワークの地図を作成すること (Network Mapper) に由来する。ポートスキャン機能だけでなく、特定ポートで動作するサービスアプリケーション(daemon類)の種類とバージョンを検出する機能、TCP/IP stack fingerprintingを用いたOSおよびそのバージョンを検出する機能など、多数の機能を備えており、2010年現在のバージョンでは、指定可能な引数は100種類を越える。また、L

  • SQLAlchemy - Wikipedia

    SQLAlchemyについて講演するMike Bayer (PyCon 2012) SQLAlchemyは、Pythonプログラミング言語のためのオープンソースのSQLツールキットおよびオブジェクト関係マッピングライブラリ(ORM)で、MIT Licenseの下で公開されている[6]。 SQLAlchemyの哲学は、リレーショナルデータベースは規模が大きくなりパフォーマンスが懸念されるようになるにつれて、オブジェクトコレクションのように振る舞わなくなり、一方、オブジェクトコレクションは、抽象化が進むとテーブルや行のように振る舞わなくなる、という2つの原則に対応することである。このため、SQLAlchemyでは、他の多くのオブジェクトリレーショナルマッパーが採用しているアクティブレコードパターンではなく、データマッパーパターン(英語版)を採用している(Java言語のHibernateと類似)

    SQLAlchemy - Wikipedia
  • リエントラント - 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

    Drupal - Wikipedia
  • ゲーム理論 2016年9月25日 (日) 18:37; Munasca (会話 | 投稿記録) による版( - Wikipedia

    協力ゲームと非協力ゲームの区別はジョン・ナッシュが1951年に発表した「非協力ゲーム[33]」という論文の中で初めて定義された[34][35][36]。ナッシュの定義によれば、協力ゲームにおいてプレイヤー間のコミュニケーションが可能でありその結果生じた合意が拘束力を持つのに対して、非協力ゲームにおいてはプレイヤーがコミュニケーションをとることが出来ず合意は拘束力を持たない[34]。このように当初はプレイヤー間のコミュニケーションと拘束力のある合意(英: enforceable agreement)の有無によって協力ゲームと非協力ゲームとが区別されていたが、非協力ゲームの研究が進展するにつれてこのような区別は不十分なものとなった。すなわち、1970年代に非協力ゲームを「展開形ゲーム」で表現する理論が発達したことによって、非協力ゲームにおけるプレイヤー間のコミュニケーションが情報集合として記述

    ゲーム理論 2016年9月25日 (日) 18:37; Munasca (会話 | 投稿記録) による版( - Wikipedia