Lokiのタイプリストを使ったGenScatterHierarchyというやつは結構面白いんですが，それを継承したクラスでFieldヘルパを使おうとすると(VS2010では)コンパイルが通らない． template <class T> struct Foo { std::vector<T> value_; }; template <class TList> class Bar : public Lok</class></t></class>…

Modern C++ Designから． template<class T, class U> class Conversion { typedef char Small; class Big{ char dummy[2]; }; static Small Test(U); static Big Test(...); static T MakeT(); public: enum { exists = sizeof(Test(MakeT())) == sizeof(Small) }; }; int mai</class>…

便利． ダイアリに修論の進捗を書いておくと いつでもどこでもアクセス・編集できる 書き散らした思考の断片をタグで整理できる（[疑問][あとで考えろ][ToDo][嵌り所]…） 参考になったWeb上の資料にリンクを貼れる プライベートにしておくと メモの効率がす…

Read or Die.最近は機械系学科所属だというのに咳を切ったようにソフトウェア関係の本を買い漁っている*1．記録のためにここ1，2か月で読んだソフトウェア周りの本まとめ． *1:逆にＭ２の今の時期に専門領域の教科書を買いまくっていたら，よりダメですが…

明けましておめでとうございます．今日はMacBookが欲しいので日本語の情報がちょっと少ないので，修論関係で触っているモデル検査ツール，Spinについて軽くまとめてみます． モデル検査とは 厳密さに欠ける言い回しでアレですが，「間違いなく正しく動くソフ…