2009-06-17から1日間の記事一覧

有向グラフのあるノードからあるノードへの全てのパスを表現する

いつまでたってもまとまらないので落書き程度で適当に書く。 有向グラフから圏Cを作る 作り方は http://d.hatena.ne.jp/m-hiyama/20090525/1243210967 ここで、 length([a, f1, f2..., fn, b]) = n + 2 とする。 Cの射の集合を射とする圏C'を作る a, b, cをC…

nullを許容しないスマポ

C++

template<typename T> struct smart_ptr { ... explicit smart_ptr(T * ptr) : ptr_(ptr) {} template<typename U> smart_ptr(smart_ptr<U> const & other) : ptr_(other.get()) {} smart_ptr & operator=(T * ptr) { ptr_ = ptr; ... return *this; } template<typename U> smart_ptr & operator=(s</typename></u></typename></typename>…