2010-12-09から1日間の記事一覧

C++で定理証明(C++ Advent Calendar 3日目)

本文ははてなが使えないすぎるので、まだテキストで張った方がマシでした http://www.coins.tsukuba.ac.jp/~s0811425/adventc++3.txt #include <iostream> #include <typeinfo> #include <cxxabi.h> #include <type_traits> #include <functional> #include <boost/mpl/if.hpp> using namespace std; char* demangle(const char *ty) { </boost/mpl/if.hpp></functional></type_traits></cxxabi.h></typeinfo></iostream>…