2018-11-01から1ヶ月間の記事一覧
よく混乱するので,自分用のメモとして分かりやすくまとめておく. 遅延伝播*1についての説明は省略. 要件 半群 $(S, \bullet)$,モノイド $(O, \circ, e)$ と,(外部) 二項演算 $\triangleleft : S \rightarrow O \rightarrow S$ について, $\forall s \i…
よく混乱するので,自分用のメモとして分かりやすくまとめておく. 遅延伝播*1についての説明は省略. 要件 半群 $(S, \bullet)$,モノイド $(O, \circ, e)$ と,(外部) 二項演算 $\triangleleft : S \rightarrow O \rightarrow S$ について, $\forall s \i…