Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
活動成果｜ISOG-J：セキュリティ対応組織の教科書 v2.1
セキュリティ対応組織の教科書 v2.1 (2018年9月) 2023年2月に、「セキュリティ対応組織の教科書第3.0版」をリリースしました。そちらをご活用ください。 セキュリティ対応組織の教科書 第3.0版 2019年2月に、「セキュリティ対応組織成熟度セルフチェックシート」を補足を記入できるようにしたv2.2版に更新しております。各組織での展開の際に各組織の形態や業務に合わせた補足を記入するなどご活用ください。 2018年9月に、「セキュリティ対応組織の教科書」の概要版となる「ハンドブック v1.0版」と54の役割を一覧できる別紙を追加しております。 2018年3月に、「セキュリティ対応組織成熟度セルフチェックシート」のアウトソースに関する基準を見直したv2.1版に更新しております。 【WG6】 セキュリティオペレーション連携WGにおいて、「セキュリティ対応組織の教科書 v1.0」の改版
エックスサーバー サーバー初期ページ
このウェブスペースへは、まだホームページがアップロードされていません。 早速、エックスサーバー上へファイルをアップロードしてみましょう。 アップロードの方法などは、サポートマニュアルをご参照ください。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
中学英語の教科書に載ってる先生がめちゃくちゃ可愛く進化してる!?「これは薄い本になる」「男子が勉強に集中できるか心配だわ」
中学校の英語教科書のエレン・ベーカー先生がかわいすぎるのでまとめといた
話題沸騰中の英語教科書「エレン先生」 イラスト担当者に話を聞いた
