タグ: 型理論

• 2026年9月7日

独自の「型理論」でセキュリティを数学的に証明。ウズベキスタン発、世界初のAI倫理的ハッカーを生み出した『C7 Security』

企業概要 企業拠点：ウズベキスタン・タシケント設立年月日：2021年8月資金調達