講演情報

[TPO-1-64]低次元対称テンソルマトロイドの組合せ的な特徴づけ

〇梶山 拳太郎1、谷川 眞一1 (1. 東京大学大学院情報理工学系研究科数理情報学専攻)

キーワード:

テンソル積符号、分散ストレージシステム、組合せ剛性理論、マトロイド理論、形式検証