BYOD - Wikipedia
BYOD（Bring your own device、ビーワイオーディ）は、従業員が個人保有の携帯用機器を職場に持ち込み、それを業務に使用することを示す。日本語では、私的デバイスの活用。元々はCitrixのマークテンプルトンが、2009年にBYOC (computer) を提唱したことから、IT業界で使われる言葉となった[1]。私有IT機器の業務利用[2]、自分の所有するデバイスを持ち込む[3]など、安定した訳語がなく、元の英文の頭文字の略語であるBYODで表記される場合が多い。BYODの語は、レストランで酒の持ち込みを許可するという意味のレストラン用語 (BYO; Bring Your Own) から来ている[4][5]。 BYODにおいては、単純に機器の持ち込みのみでなく、持ち込んだ携帯機器を用いて、アクセス制限をされた企業保有の情報（電子メール、ファイルサーバ、データベースなど）に、
.re - Wikipedia
الجزائر. (al-Jazā’ir, アルジェリア) مصر. (Masr, エジプト) بھارت. (Bharat, インド) ایران. (Iran, イラン) الاردن. (al-Urdun, ヨルダン) فلسطين. (Filastin, パレスチナ) پاکستان. (Pākistān, パキスタン) قطر. (Qatar, カタール) السعودية. (al-Saudiah, サウジアラビア) سوريا. (Sūryā, シリア) تونس. (Tunis, チュニジア) امارات. (Emarat, アラブ首長国連邦) عمان. (ʻUmān, オマーン) مليسيا. (Maleesya, マレーシア) المغرب. (al-Maġrib, モロッコ) سودان. (Sūdān, スーダン) اليمن. (al-Yaman, イエメン
日本の鉄道ラインカラー一覧 - Wikipedia
九州新幹線・西九州新幹線と北海道新幹線では特にラインカラーは定められていない[1][注 1]。 JR東海の東海道新幹線・JR西日本の山陽新幹線と北陸新幹線（糸魚川駅 - 敦賀駅間）では一部の駅を除き、発車案内板で3列車を識別する色を独自に用いている。九州新幹線直通の「みずほ」、「さくら」および九州内完結の「つばめ」も、主要駅においてこれらの3列車について識別するために色を独自に用いて案内する。また、東海道・山陽・九州新幹線ではN700系・N700S系のフルカラーLED行先表示器においても、これと同じ色を用いて列車名ごとに色を分けて案内している。 西九州新幹線の「かもめ」でもN700S系のフルカラーLED行先表示器を活用しているが、通過駅の有無で色を分けて案内している[2]。 列車名 色 東海道新幹線 山陽新幹線 九州新幹線 北陸新幹線 （糸魚川 - 敦賀間） 西九州新幹線
アウト・オブ・オーダー実行 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アウト・オブ・オーダー実行" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年12月） アウト・オブ・オーダー実行（アウト・オブ・オーダーじっこう、英: out-of-order execution）とは、高性能プロセッサにおいてクロックあたりの命令実行数（IPC値）を増やし性能を上げるための手法の1つで、機械語プログラム中の命令の並び順に依らず、データなどの依存関係から見て処理可能な命令について逐次開始・実行・完了させるものである。頭文字で'OoO'あるいは'O-o-O'とも書かれる。「順序を守らない実行」の意である。 プロセッ
EDSAC - Wikipedia
EDSAC EDSAC（エドサック、Electronic Delay Storage Automatic Calculator[※ 1]）は、初期のイギリスのコンピュータのひとつ[1]。このマシンはジョン・フォン・ノイマンがまとめたEDVACについてのレポート（EDVACに関する報告書の第一草稿）に刺激され、モーリス・ウィルクスとケンブリッジ大学の数学研究所（英語版）のチームが開発した。EDSACは、世界初の実用的なプログラム内蔵方式の電子計算機であるが、プログラム内蔵方式の世界初の稼働したマシンではない[※ 2]。 プロジェクトは J. Lyons & Co. Ltd. が資金援助し、同社はEDSACのデザインに基づいた初の商用コンピュータ LEO I を開発した。1949年5月6日、EDSAC上で最初に動作したプログラムは、0から99までの整数の二乗の表を作るプログラムと[2]、素数の
PCI Express - Wikipedia
マザーボード上のPCI Express x1 スロット マザーボード上のPCI Express x16 スロット PCI Express（ピーシーアイエクスプレス）は、2002年にPCI-SIG（英語版）によって策定された、I/Oシリアルインタフェース、拡張バスの一種である。書籍、文書ではPCIeと表記されることも多い。この表記はPCI-SIG自身もウェブサイト上で使用している。PCI-Xはパラレルインタフェースの別規格である。 概要[編集] PCIバス、およびPCI-Xバスの欠点を補うべくインテルが開発を進めていた3rd. Generation I/O、3GIO（スリージーアイオー）を基とする。 PCI Express 1.1は、1レーンあたり2.5 Gbpsでデータ転送に80パーセントが使用され、送信/受信を分離した全二重方式を採用し、計5 Gbpsの転送速度を持つ[1]。これは従来の
ペトリネット - Wikipedia
ペトリネット ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。 概要[編集] ペトリネットは、視覚的、数学的な離散事象システムをモデル化するツールの一つであり、 名前は創始者のカール・アダム・ペトリに由来する。 有向2部グラフ で表現され、 頂点集合の2分割 がそれぞれ、 プレース（丸で表記）、トランジション（棒または箱で表記） という2種類のノードに対応する。 アーク (矢印で表記) は、プレースから出てトランジションに入るか、 トランジションから出てプレースに入る。 あるプレース に対し、非負整数 が割り当てられたとき、 プレース は 個のトークンでマーキングされていると言い、 このときトークンはプレース 内の 個の点
インテル バーチャライゼーション・テクノロジー - Wikipedia
インテル バーチャライゼーション・テクノロジー（Intel Virtualization Technology、Intel VTまたは単にVTと略される）とは、インテルによって開発された仮想化支援技術のことである。 当初、インテルは開発コードネームからVanderpool Technologyという名称を用いていた為[1]、現在でもVTをVanderpool Technologyの略とする表記が散見される[2]。また、VT-x を指して単に Intel VT と呼称する場合もある[3]。 概要[編集] Intel VTは、仮想マシンモニタによる複数のオペレーティングシステム (OS) の並行動作をより効率的に行うための支援技術である。 VT機能がなくても、すべてソフトウェア的に仮想化技術を実装し、複数のOS（ゲストOS）を実行することは可能である。しかし、その場合パフォーマンスの低下を招い
今村友紀 - Wikipedia
今村 友紀（いまむら ともき、1986年4月13日 - ）は、日本の作家、実業家。本名の石井大地（いしい だいち）でも著書がある。 経歴[編集] 秋田県出身。2003年、開成高等学校在学時にNHK教育「真剣10代しゃべり場」にレギュラー出演。2005年より、東京大学理科三類に現役合格した体験をもとに、東大入試に関する著書を執筆。その傍ら、中高生向けの次世代リーダー育成塾「志塾」を運営するベンチャー企業・株式会社ユニークの取締役を務め、主に受験産業に関わるビジネスを展開。2007年、インターネット上で学習可能なWebサイト「アソマナビコム」を共同で設立。2011年、『クリスタル・ヴァリーに降りそそぐ灰』で第48回文藝賞を受賞し、小説家としてデビューする。しかし、あまりにも「稼げない」ことに愕然として実業家への転身を決意。複数社の起業・経営を経て、2014年より株式会社メドレー執行役員。その後
ブルン定数 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ブルン定数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年12月） ブルン定数 (Brun's constant) は数学定数の一つで B2 と表記されることが多い。この数は、双子素数の逆数の和の極限として定義される。すなわち、 である。素数の逆数和が（無限大に）発散することはオイラーにより知られていたが、双子素数についてはヴィーゴ・ブルンが1919年にこの級数は収束することを示した。そのため、双子素数は無数に存在するかどうかは引き続き未解決である。また、この極限が無理数であるか有理数であるかも未解決である（もし無理数ならば双
算術級数定理 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "算術級数定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年11月） 算術級数定理（さんじゅつきゅうすうていり、theorem on arithmetic progressions）は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレが1837年にディリクレのL関数を用いて初めて証明した。そのため、定理はしばしばディリクレの算術級数定理と呼ばれる。 概要[編集] 定理の言い換えとして、 である自然数 a, b に対し、 (n は自然数)と書ける素数が無限に
違法素数 - Wikipedia
違法素数（いほうそすう/英: illegal prime）とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数（英語版）の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 経緯[編集] DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法である
Morphy One - Wikipedia
Morphy One（モルフィーワン）とは、オープンハードウェアとして開発を試行した携帯情報端末 (PDA) である。発起者である合資会社モルフィー企画の総責任者が公募資金で試行したのちに破産宣告した。 概略[編集] 1999年にHP200LXの生産中止がヒューレット・パッカードより発表された。これを契機として、後に合資会社モルフィー企画の代表者になった人物（ハンドルネーム:とよぞう）は、NIFTY-ServeのフォーラムFHPPCにて、HP200LX内での後継機となりうるDOSベースのPDAを自力で製作する構想を発表した[1]。当該人物はNIFTY-Serve上で出資者を募り、合資会社モルフィー企画を立ち上げた[2]。 2001年に量産用試作基板の実装が完了したと発表された[3]。しかし、2002年には開発の行き詰まりが明らかになった[4]。具体的には2002年6月時点では、集めた出資金
日本の市外局番 - Wikipedia
日本の市外局番（にっぽんのしがいきょくばん）は、固定電話・0AB - J番号IP電話および無線呼び出しで地理的番号として用いられている。 概要[編集] 日本の市外局番は、地域ごとに総務省告示で1 - 4桁が規定されている。1960年（昭和35年） - 1962年（昭和37年）の全国ダイヤル自動即時化のためのものが基本となっている[1]。 日本国内でダイヤルする際には、その前に国内通話を示す合図である0（国内開放番号、国内プレフィックスとも）を付ける。日本国内にいる限り、国内開放番号と市外局番はワンセットとなるため、一般に市外局番は0から始まると認識している人が多いが、正しくは「初めの0」は市外局番には含まれない。実際、外国から日本国内への国際電話のダイヤルには国内開放番号を付けないため、国番号 (81) の後の市外局番は、東京23区等であれば、いきなり (3) である。正確ではないが一般に
)
T-33 (航空機) - Wikipedia
運用[編集] T-33は6,557機以上が1948年から1959年にかけて製造されるベストセラー機となり、世界30か国以上で使用された。そのうち656機はカナダのカナディアでライセンス生産されたロールス・ロイス ニーン装備のパワーアップ型CL-30 シルバースター（Silver Star）（英語版）で、カナダ統合軍航空部隊（カナダ空軍）では後にCT-133の名で運用された。また、ボリビア、ポルトガル、ギリシャ、トルコにも輸出・供与された。フランスでもアップグレードとしてニーンエンジンへの換装を行い、T-33SFと呼称した。 練習機型の他に、発展途上国への輸出・供与用にCOIN機として武装可能にしたAT-33Aや、機首にカメラを装備して写真偵察機としたRT-33A、各種装備の実装実験機としたNT-33A、遠隔操作の無人標的機として改造されたQT-33A、全天候要撃機化されたF-94 スターフ
カリー＝ハワード同型対応 - Wikipedia
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。 カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワード（英語版）により最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作
ROT13 - Wikipedia
ROT13は文章の各文字をアルファベット順で13後の文字に置き換える。例えば HELLO は URYYBとなる。再度ROT13を適用すると元の文章が得られる。 ROT13 または ROT-13、rot13 は単換字式暗号（シーザー暗号）の一つである。アルファベットを一文字毎に13文字後のアルファベットに置き換える。Aは Nに、 B は O に置き換えられ、以下同様である。英語の "Rotate by 13 places" の略。ネットワーク上のやりとり（電子掲示板、ネットニューズ、フォーラム等）で冗談の落ち、パズルの解法、ネタばれ情報、不快表現等を隠すのに用いられる変換である。暗号化と復号の両方が全く同じ変換であるという特徴がある。実際のところ、（現代の感覚では）全く「暗号」というほどのものではないが、ちょっと見に読んでしまうという事態は避けられる。雑誌などでクイズの正解を上下逆さまに印刷
TCP遅延ACK - Wikipedia
TCP遅延ACK（英: TCP delayed acknowledgment）とは、ネットワークパフォーマンスを改善するための Transmission Control Protocol の実装技術。プロトコルのオーバーヘッドを減らすために、複数のACK応答を一つにまとめる。しかし、いくつかの状況では、この技術はアプリケーションのパフォーマンスを悪くする。 手法と利点[編集] RFC 1122 の 4.2.3.2 に記載されているが、受信側はACK応答を最大500ms遅延させられる。ただし、最大セグメントサイズ以上のデータを受信したときは最低限2つ目のセグメントでACK応答を返さなければならない。一般には遅延は200msタイマーで実装されている。 遅延ACKはTCP受信ウィンドウを更新する機会を作り、ACKと応答を同時に返すことを可能にする。例えば telnet では、ACK とウィンドウ
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 が成立すると
Extended Validation 証明書 - Wikipedia
Extended Validation 証明書 [1] (EV 証明書とも) とは、発行者による主体者の審査に一定の基準を設けた公開鍵証明書である。ウェブサイトの認証と暗号化処理に使われるSSL/TLS (以下、単にSSL) サーバー用の公開鍵証明書 (この場合、単にEV SSL証明書とも) のほか、電子メールやコード・サイニング用の公開鍵証明書がある。本記事では以下、SSL用の証明書を中心に記述している。 概要[編集] SSLの元来の考え方は、SSL証明書の取得時にウェブサイトの管理者が認証局 (CA) の審査を経なければならなくすることで、デジタル証明書によるオンライントランザクションに信頼を与えることであった。 しかし、ほとんどのWebブラウザのユーザインタフェースにおいては、安直な確認をした証明書と厳格な審査をした証明書とが区別されてこなかったため、混乱が生じることとなった。多くの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
