@GhostDriftResearch

32Contributions

29
Posts 52
Followees 1
Followers

Following Organizations(20)See all

...

Following tags(5)See all

Security 生成AI LLM AIエージェント AI

Contributions

posted an article

責任OS用語集 — Provenance・Audit Trail・Noncommutativityで整理する

posted an article

責任OSを情報学の言葉で定義する-AI時代に必要になる「責任情報」とは何か

article is Stocked

AI事業者ガイドラインに、なぜ責任OSが必要なのか

posted an article

AI事業者ガイドラインに、なぜ責任OSが必要なのか

article is Stocked

広島AIプロセスを、現場でどう実行するか-責任OSによるAIガバナンス対応マップ

posted an article

広島AIプロセスを、現場でどう実行するか-責任OSによるAIガバナンス対応マップ

posted an article

責任OSとは何か-AI判断から責任経路を切り離すと、検査すべき区別が潰れうることをLean 4で検証した

posted an article

証跡層なきAIガバナンスは構造的に崩れる――Lean 4とGrothendieck構成でADICの数理骨格を機械検証した

posted an article

特権IDだけでは通さない：ADICで重要操作に証拠ゲートを入れるデモ（サイバーアシュアランス）

posted an article

AIの指示は、それだけでは実行権限ではない —— ADIC Cyber Assurance Demo を公開しました