久々に楽しく勉強した。 急がば回れだな。うん。とりあえず今日学んだ事を忘れないようにトピックだけメモ 自然演繹体系 ゲンツェンが体系化した推論を行うための仕組み。 命題論理の推論は真理値表に基づく確認で正当性を証明できるが、推論を体系的に行わ…

セキュリティポリシーはその適用範囲も明確に示す必要がある。 これまでも頻繁に全社的な取り組みと表現してきたことからもわかるとおり、単純にIT部門のみを対象にするのではなく一般業務部門や、場合によっては提携先にも注意を払う必要がある。 ここでは…

委員会とは セキュリティ管理実施に当たってはせんもんの委員会を結成するのが一般的。 通常業務における対策は現場担当者が行うが、管理策定段階では全社的な業務の流れの考慮や部門を越えた折衝を行う必要があるためある程度高位の人事管理者が参加して全…

blogへの学習記録を義務付けただけでずいぶんと継続学習ができていることに驚き。 だんだん面倒になってきたけど午後対策の意味も込めて継続。 多分これやめたら勉強しなくなるしね:p