システム管理者の日を祝うケーキ。「HAPPYSYSADMINDAY」の文字とサーバーに用いられることの多いLinuxのマスコット、タックスが描かれている。 システム管理者の日(システムかんりしゃのひ、英語: System Administrator Appreciation Day、略称: Sysadmin Day、SAD)は、システム管理者の労をねぎらう記念日[1][2][3]。2000年から実施され、7月最終金曜日がこの日にあたる[1][2][3]。 シカゴ在住のシステム管理者Ted Kekatosが、「新しいプリンタの導入に成功したシステム管理者が、他の社員たちから感謝のプレゼント攻めにあう」という広告を見て思いついたものである[3]。Kekatosは、「残りの364日にはほとんど敬意を払われていないシステム管理者に対し、そのシステムの利用者等がプレゼントを贈るなどして感謝の意を表す
July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く