0777名も無き被検体774号+ (ワッチョイ a92c-cvBQ)垢版 | 大砲2020/03/23(月) 16:58:14.84ID:7jNErf9I0 関数的な規則から始めて、圏論の規則が満たされることを示せ