数学でITをアゲる💖！HoTTと∞-ロゴーゼで新時代到来✨
超要約: HoTTでデータ連携とかAIを最強にする方法を見つけたよ！ IT業界がめっちゃ進化する予感🌟
✨ ギャル的キラキラポイント ✨ ● 数学の力でITをレベルアップ！ 複雑なデータをわかりやすくするよ💕 ● AIの仕組みも丸見え！ 信頼できるAIが作れるようになるかも🤩 ● 新しいサービスがどんどん生まれる予感！ みんなをワクワクさせる未来が来るかも✨
詳細解説いくよ～！ ● 背景 ITの世界って、データが複雑で大変じゃん？ でも、数学のHoTT（ホモトピー型理論）っていうスゴイやつを使えば、その複雑なデータを整理できるんだって！ IT業界で大活躍できる予感💖
● 方法 HoTTを使って、∞-ロゴーゼ（∞-topos）っていう構造を表現する新しい言葉を作るよ！ これで、データ同士の関係性がめっちゃ見やすくなるらしい✨ 例えば、色んなシステムを繋いだり、AIの頭の中を理解したりできるようになるんだって！
続きは「らくらく論文」アプリで
Homotopy type theory as a language for diagrams of $\infty$-logoses
We show that certain diagrams of $\infty$-logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy type theory to reason about not only a single $\infty$-logos but also a diagram of $\infty$-logoses. This also provides a higher dimensional version of Sterling's synthetic Tait computability -- a type theory for higher dimensional logical relations.