アカデミー

私たちの水準で学ぶ

私たちの実際の働き方から生まれたコース、復習、自己テスト。基礎から始めましょう。続きは準備中です。

データ

Data Modeling experimental レベル II

クエリの前のデータの形:エンティティと関係、キーと正規化、そしてリレーショナル・ドキュメント・グラフのどのモデルを選ぶか。トラックの残りが築かれる土台です。

SQL and the Relational Model experimental レベル II

リレーショナルモデルとその言語を、SQLite上で学びます:結合、集約、ウィンドウ関数、トランザクションとインデックス、そしてクエリプランナを読み、なぜクエリが遅いのか、遅いという事実だけでなく理由を知ります。

JSON and Semi-structured Data experimental レベル II

表に収まらないデータ:ドキュメントとツリー、JSONPath、スキーマによる検証、そしてSQLiteのJSON関数でJSONをその場で問い合わせる、リレーショナルと半構造の世界が出会う場所。

Graph Query with AdaGQL experimental レベル III

グラフをグラフとして問い合わせる:ノード、エッジ、パス、パターンマッチングと走査を、AdaGQLでCCIのGraphDB上で行い、結合では答えにくい問いに応えます。

Cubes and OLAP experimental レベル III

分析のために並べたデータ:次元と指標、スタースキーマ、ロールアップとドリルダウン、そして行を取締役会が読める一枚の絵に変えるOLAP操作。

Storage Engines experimental レベル IV

データベースが実際にどう動くか、集大成:B木とLSM木、先行書き込みログ、多版同時実行制御、バッファプールを学び、SQLとAdaGQLが動く土台となるエンジンを作ります。

セキュリティ

Offensive Systems Security experimental レベル I

Seeing memory and control flow, then bending them inside a sandbox that never touches your machine: a foundational, defensively framed offensive-systems course where exploitation is demonstrated and contained, not just described.

Security Architecture and Engineering experimental レベル II

A system is a graph of trust boundaries, and you defend the graph: model an architecture, place and wire components against a brief, machine-check the security invariants, then survive an injected constraint you did not design for.

Silicon-rooted Security experimental レベル III

Down from software abstraction to gates, datapaths and buses: add a security opcode to a RISC-V-class core, build a gateware cipher, protect the bus, root trust in hardware, model the attacks, and verify a security property in simulated silicon.

Systems Security experimental レベル III

スローガンではなく工学としての多層防御:権限、分離、脅威モデル、メモリ安全性、脆弱性のクラスを、意図的に脆弱なシステムを攻撃し、そして堅牢化するラボで学びます。

Cryptography experimental レベル III

秘匿性を証明可能にする数学:剰余算術、対称鍵・公開鍵方式、ハッシュと署名を、各プリミティブを第一原理から構築しながら学びます。

Reverse Engineering experimental レベル III

理解するためにソフトウェアを分解する:逆アセンブル、呼び出し規約、静的・動的解析、バイナリパッチを、ブラウザのサンドボックス内の小さな対象で実践します。

Detect, Respond, Forensics experimental レベル III

予防が破られたときに何をするか。テレメトリと検知エンジニアリング、トリアージと封じ込め、メモリとディスクのフォレンジック、タイムライン再構築を、自分で範囲を見極め、排除し、説明しなければならない侵害済みシステムで実践します。

Cyber Threat Intelligence experimental レベル III

The intelligence cycle applied to the cyber domain: threat actor profiling with the Diamond Model, the Cyber Kill Chain and MITRE ATT&CK, analytic tradecraft under uncertainty, sharing formats and platforms, and closing the loop from intelligence into detection engineering.

Web and Mobile Security experimental レベル III

From a static document viewer to a scriptable, sandboxed, cellular-connected attack surface: browser process isolation, modern web runtimes, the WebRTC privacy leak, mobile OS security, telemetry, zero-click exploitation, and the baseband and SIM Toolkit layers beneath it all.

Cyber-Physical and OT Security experimental レベル III

From the Purdue Model to the shop floor: SCADA, ICS and PLCs, a source-checked history of incidents, IEC 62443, and the case for physical segregation, closing the CyBOK Cyber-Physical Systems gap.

Secure Development at Scale experimental レベル III

千のアプリケーションでも耐える安全性:脅威モデリング、セキュアSDLC、サプライチェーンの完全性、Policy as Codeを、パイプラインに組み込み、実際のレビューゲートで評価します。

Formal Methods experimental レベル IV

システムを仕様化し、正しさを証明する:SPINとPROMELAによるモデル検査、TLA+による仕様記述で、Common Criteria評価が高い保証レベルで求める種類の証拠を生み出します。

Adversarial ML and GenAI Security experimental レベル III

分類器の時代からエージェント型の時代まで、モデルを攻撃し防御する:回避、汚染、抽出、プロンプトインジェクション、エージェントリスクを、軽量なAIガバナンスと保証の筋で貫きます。

Distributed Systems Security experimental レベル IV

Consensus, Byzantine fault tolerance, clock and event-ordering attacks, and blockchain security, from Lamport's 1978 logical clocks through Paxos, Raft, and Practical Byzantine Fault Tolerance to Bitcoin and SUNDR, benchmarked against MIT's current 6.5840 and 6.852J, with Plan 9 and Inferno as a contrasting historical case study.

Scams and Social Engineering experimental レベル II

詐欺とソーシャルエンジニアリングのオントロジー、心理学、歴史を、RSAからMGMリゾーツまでの実際の事例を通じて分析し、応用可能な分析枠組みと、経営層、財務担当者、エンジニア、受付担当者それぞれに合わせた指導方法を提供する。

Technical Countermeasures to Social Engineering experimental レベル III

ソーシャルエンジニアリングと詐欺の拡散に対する技術的対策として、ベイズ型およびルールベースのフィルタリング、メール認証、AIによる検知、音声チャネルの不正防止対策を取り上げ、取締役会にも理解できるガバナンス用語で報告する。