0062デフォルトの名無しさん垢版 | 大砲2023/04/03(月) 14:29:57.73ID:GLvgK6Zq かわいそうだから答えてやるか 数学的な保証が云々ってたぶんRustBeltプロジェクトのことだよね https://plv.mpi-sws.org/rustbelt/