A = " B = 'A = %s;' % (chr(34) + A + chr(34)) + A; print(B)"; B = 'A = %s;' % (chr(34) + A + chr(34)) + A; print(B)

Reference: Baier, Christel, and Joost-Pieter Katoen. Principles of Model Checking, MIT Press, 2008. Lemma 3.27の証明は, もう少し見通しよくできると思う。 Def. . 直感的には は を prefix にもつword 全体の集合である. この記法から, LT property …

Reference. Awodey, S. (2010) Category Theory, Oxford: Oxford University Press, 2nd ed. 2011. 解答にsurjection ⇒ epi の証明しかなかったので, epi ⇒ surjection 側のメモをしておく（解答はおそらくepi ⇒ surjection を not epi ⇒ not surjection で…

Def. Boolean algebra とは, poset と, その二つの要素 の組である. また, 上の二項演算 join: , meet: , および単項演算 complementation: が定義されており, これらは以下の要請を満たす： とするとき, ① ② ③ and ④ and ⑤ ⑥ . Remark. poset とは, 集合 と…