システム管理者の日 - Wikipedia
システム管理者の日を祝うケーキ。「HAPPYSYSADMINDAY」の文字とサーバーに用いられることの多いLinuxのマスコット、タックスが描かれている。 システム管理者の日（システムかんりしゃのひ、英語: System Administrator Appreciation Day、略称: Sysadmin Day、SAD）は、システム管理者の労をねぎらう記念日[1][2][3]。2000年から実施され、7月最終金曜日がこの日にあたる[1][2][3]。 シカゴ在住のシステム管理者Ted Kekatosが、「新しいプリンタの導入に成功したシステム管理者が、他の社員たちから感謝のプレゼント攻めにあう」という広告を見て思いついたものである[3]。Kekatosは、「残りの364日にはほとんど敬意を払われていないシステム管理者に対し、そのシステムの利用者等がプレゼントを贈るなどして感謝の意を表す
SPDY - Wikipedia
SPDY（スピーディー[1]）は、Google が提唱している World Wide Web の通信プロトコル。HTTP/2 の起草となった。最後のバージョンはSPDY Protocol - Draft 3.1[2]。SPDY は 3.1 が最後のバージョンとなり、SPDY/4 は HTTP/2 に吸収された。 HTTPを基にして高速化を行ったプロトコルである。TLS接続の上にセッション層を追加し、単一のSPDYセッションで複数のリクエストを送受信する。さらに、ブラウザがページを表示する際、付随するデータの先読みを行う機能も追加している。セキュリティ機能も強化する。プロトコル的にはTLSの拡張仕様の一つであるApplication-Layer Protocol Negotiation (ALPN) をベースにしているため、HTTPSを使っての通信が必須である。 2015年現在は、独立したプ
線形論理 - Wikipedia
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。 A と A ⇒ B を前提とするモーダスポネンス（あるいは自然演繹でいう含意の除去）により、B が得られる。 前提 A と (1) の論理積から A ∧ B が得られる。 これをシークエントで表すと、A, A ⇒ B ⊢ A ∧ B となる。上記の証明ではどちらの行でも、A が真であ
Network Time Protocol - Wikipedia
Network Time Protocol（ネットワーク・タイム・プロトコル、NTP）は、パケット交換による遅延時間が変動するネットワーク上のコンピュータシステム間で時刻同期させるための通信プロトコルである。1985年以前から運用されており、現在使用されている中で最も古いインターネットプロトコルの1つである。NTPは、デラウェア大学のデイヴィッド・L・ミルズによって設計された。NTPによって提供される数ミリ秒以下の誤差の時刻同期は情報システムにおいて時刻で管理される様々なデータや処理の整合性を保つために必要であり、NTPが利用できなくなり時刻同期が行えなくなった場合には直ちにシステム障害が発生するため非常に重要な通信プロトコルであると言える。 NTPは、全ての参加コンピュータを協定世界時(UTC)の数ミリ秒以内の時刻に同期させることを目的としている[1]:3。 ネットワークに接続され、互い
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
