タグ

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

  • Microsoft Clustering Service - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "Microsoft Clustering Service" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2017年8月) MSCS(MicroSoft Clustering Service)とはマイクロソフトにより開発された、Windowsのサーバ用オペレーティングシステム (OS) にて構築するフェイルオーバー型クラスタリング技術を言う。Windows Server 2008以降では「Windows Server Failover Cluster (WSFC)」という名称に変更されている。 概要[編集] (追加インストールの形で)Wi

  • Java仮想マシン - Wikipedia

    スタック[編集] bipush、 sipush - byte値、 short値をスタックに積む。 ldc - コンスタントプール内の4バイトの定数(int値、float値、java.lang.String)の内1バイト以内でエントリ番号を指定できるものをスタックに積む。 ldc_w - エントリ番号が1バイトでは足りないときに使う。 ldc2_w - コンスタントプール内の8バイトの定数(long値、double値)をスタックに積む。 iconst_m1、 iconst_0、 iconst_1、 iconst_2、 iconst_3、 iconst_4、 iconst_5 - intの-1、0、1、2、3、4、5をスタックに積む。 lconst_0、 lconst_1 - longの0、1をスタックに積む fconst_0、 fconst_1、 fconst_2 - floatの0、1、2

    Java仮想マシン - Wikipedia
  • アーンド・バリュー・マネジメント - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "アーンド・バリュー・マネジメント" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2022年12月) アーンド・バリュー・マネジメント(英: Earned Value Management, EVM)とは、予算および予定の観点からプロジェクトがどのように遂行されつつあるかを定量的に評価し、コスト効率と進捗率を一度に把握するためのプロジェクト管理の技法である。 1967年に米国防総省の調達規則の一部として制定された C/SCSC (Cost/Schedule Control System Criteria) が元となっている。1990年代、

  • Prolog - Wikipedia

    Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ

  • 超臨界流体 - Wikipedia

    用途[編集] 超臨界流体としてよく使用される物質は、水と二酸化炭素である。 超臨界流体の水は酸化力が極めて高いため、腐しにくいといわれているハステロイや白金・イリジウム合金(英語版)、さらに金やタンタルまでもが腐する。安定な物質であるセルロースやダイオキシン、PCBも超臨界水中では分解可能である。酸化力が極めて高いがゆえに使いづらいケースも多く、その場合は亜臨界水を用いる[1]。超臨界水の密度は室温の液体水(1g/cm3)の0.03~0.4倍程度であり、100℃、0.1MPaの水蒸気に比べて数十~数百倍大きい[1]。粘性率は気体並みに低く、自己拡散係数は液体と気体の中間程度で[1]、臨界水と亜臨界水は気体分子と同程度の大きな運動エネルギーを持ち、液体の1/10程度の密度を持つ活動的な流体といえる[1]。150~350℃、0.5~25MPaの亜臨界水は大きな加水分解力を持つ高温高圧の液体

    超臨界流体 - Wikipedia
    torazuka
    torazuka 2012/01/12
    カップラーメンを早く食べたいがために臨界圧力以上の圧をかけようとした現代の寓話把握。
  • ホスト名 - Wikipedia

    ホスト名(ホストめい)あるいはサイト名(サイトめい)とは、コンピュータ、ファイルサーバ、ネットワークストレージデバイス、FAX、コピー機、ケーブルモデム、ルータなどネットワークに接続された機器(ホスト)に付けられた名前。ホスト名はWorld Wide Web、電子メールあるいはUsenetのようなさまざまな電子通信の形式において特定のホストを識別するために使われる。 インターネット上では、「ホスト名」と「ドメイン名」はしばしば同じ意味で使われるが、両者には微妙な技術的違いがある。 ホスト名のうち、個人や団体がインターネットに接続するためにインターネットサービスプロバイダから貸与されるものについてはリモートホストと呼ばれることもある。 概要[編集] ホスト名はNIS、DNS、SMBなど様々な名前付けシステムで使われる。そのため、「ホスト名」の意味もその名前付けシステムに依存して変化する。また

    torazuka
    torazuka 2012/01/12
    'アンダースコアはWindowsで構築されたシステムで一般に使われるが、RFC 952によれば許容されない'←死因。
  • pkg-config - Wikipedia

    pkg-configとは、ライブラリを利用する際に必要となる各種フラグやパス等を、共通したインターフェースで提供でするための手段である。 概要[編集] pkg-configは、環境変数PKG_CONFIG_PATHのパスに存在する *.pc ファイルに記録された情報を元に、ビルドの際に必要な文字列を返す。 例えば、libaaa.soを /usr/local/lib/aaa/ 以下に保存し、ヘッダファイルを /usr/local/include/aaa/ 以下にインストールした場合。 libaaa.so を利用したソースをコンパイルする際に、コンパイラへlibとincludeのパス等を指定する必要があるが、そのパスが環境ごとに異なる場合を考えると必ずしも gcc -I/usr/local/lib/include -o a.c -L/usr/local/lib/aaa -laaa が成立すると

    torazuka
    torazuka 2011/12/26
    "シンプルかつ抽象的に記述できて捗る" 誰だろう、このカジュアルな説明ww 分かりやすいです。ありがとうございます。
  • Border Gateway Protocol - Wikipedia

    Border Gateway Protocol(ボーダー・ゲートウェイ・プロトコル、略称 : BGP)は自律システム(AS)間で経路情報を交換するために設計されたルーティングプロトコルである。広義のExterior Gateway Protocol(EGP)であり、インターネットではインターネット・サービス・プロバイダ(ISP)や巨大なネットワークの相互接続で標準的なルーティングプロトコルとして利用されている。 概要[編集] 自律システム(AS)間のルーティングを行うExterior Gateway Protocol(EGP)の通信プロトコルである。 BGPはIPネットワークか自律システム(AS)間の到達性を示すプレフィックス(prefix)のルーティングテーブルを維持することでルーティングを行う。BGPはパスベクトル型ルーティングプロトコル(英語版)に分類され、技術的なメトリックは使用し

    Border Gateway Protocol - Wikipedia
  • 名前修飾 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "名前修飾" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2022年11月) 名前修飾(なまえしゅうしょく、英: name mangling)は、現代的なコンピュータプログラミング言語処理系で用いられている手法で、サブルーチン(関数)名などに対する内部名を、その表層的な名前のみならず、関数であればその引数の型や返戻値の型などといった意味的な情報を含めて修飾した(manglingした)名前とするものである。コンパイラからリンカ、さらには実行時のデバッガなども含んだシステム全体が、高度な型に関する情報などをサポートするように再実装するには多く

    torazuka
    torazuka 2011/10/23
  • Dalvik仮想マシン - Wikipedia

    Dalvik仮想マシン(ダルビックかそうマシン)は、Androidプラットフォームで採用されていたレジスタベースの仮想マシン[1]。ダン・ボーンスタイン(英語版)およびGoogle社のエンジニアによって設計・開発されていた。Android 5.0よりAndroid Runtime(ART)に置き換えられた。 概要[編集] Dalvikは低メモリ環境に対して最適化されており、オペレーティングシステムによるプロセス間の分離、メモリ管理、スレッドのサポートを用いて複数のVMインスタンスが同時に動作できるよう設計されている。DalvikはJava仮想マシンとされることもあるが、動作するバイトコードがJavaバイトコードではないため、これは明らかに正確ではない。また、Java互換性テストを通過していないので、法的にもJavaを名乗れない。Android SDKに含まれる dx と呼ばれるツールが正規

    torazuka
    torazuka 2011/08/17
    Dalvik ≠ JavaVM ということを知らなかったのでメモ。
  • Graphics Processing Unit - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "Graphics Processing Unit" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年12月) Graphics Processing Unit(グラフィックス プロセッシング ユニット、略してGPU)は、コンピュータゲームに代表されるリアルタイム画像処理に特化した演算装置あるいはプロセッサである。グラフィックコントローラなどと呼ばれる、コンピュータが画面に表示する映像を描画するための処理を行うICから発展した。特にリアルタイム3DCGなどに必要な、定形かつ大量の演算を並列にパイプライン処理するグラフィックスパイプラ

    Graphics Processing Unit - Wikipedia
    torazuka
    torazuka 2011/06/16
  • 仮想記憶 - Wikipedia

    仮想記憶の概念図 仮想記憶(かそうきおく、英語: Virtual Memory、バーチャルメモリ)とは、コンピュータ分野におけるメモリ管理の仮想化技法の一種であり、オペレーティングシステム (OS) などが物理的なメモリを、アプリケーション・ソフトウェア(プロセスなど)に対して、専用の連続した主記憶装置に見えるように提供する。 この技術により、物理的な主記憶装置に加えてハードディスク装置等の補助記憶装置を併用すれば、物理的な主記憶装置よりも大きな仮想メモリを提供する事ができる。またアプリケーション・プログラム側は、物理メモリ上のアドレスを意識しなくて良いため、マルチタスクの実現が容易である。このため現代のオペレーティングシステムの多くが仮想記憶をサポートしている。 仮想的に与えられたアドレスを仮想アドレス (virtual address) または論理アドレス (logical addre

    仮想記憶 - Wikipedia
  • High Precision Event Timer - Wikipedia

    High Precision Event Timer(高精度イベント タイマー、HPET)はパーソナルコンピューターで使用されるハードウェア タイマーである。マイクロソフトとインテルによって共同で開発され、2005年頃からPCのチップセットに組み込まれ始めた。インテルは当初「Multimedia Timer」と呼んでいたが[1]、Windows 3.0のWindows Multimedia Extensionsで導入されたソフトウェア機能のMultimedia Timers(英語版)との混同を避けるため、現在の名称に変更された。[2] 古いオペレーティングシステムはHPETをサポートしておらず、リアルタイムクロックといった以前からの古いタイマー設備を使用する。 特徴[編集] HPETチップはProgrammable interval timer(英語版)とIntel 8253(英語版)のよ

  • 1