2024-10-12から1日間の記事一覧
おはにゃー！。 やること 次の命題が成立します: 命題 (Compositional Product の結合性) $P, Q, R$ を problem とする。2つの compositional product $R * (Q * P)$ と $(R * Q) * P$ は strongly Weihrauch equivalent である: \begin{equation} R * (Q * …
おはにゃー！。 やること 次の命題が成立します: 命題 (Compositional Product の結合性) $P, Q, R$ を problem とする。2つの compositional product $R * (Q * P)$ と $(R * Q) * P$ は strongly Weihrauch equivalent である: \begin{equation} R * (Q * …
