http://linuxc.info/ http://d.hatena.ne.jp/satosystems/20130115/1358275267 http://stackoverflow.com/questions/6940384/how-to-deal-with-symbol-collisions-between-statically-linked-libraries

Windowsのコマンドプロンプトがbashに比べて低機能だけど、Windowsを専ら使ってるのでぐぬぬだったけれど、 Clinkというソフトの存在を知って先ほど入れて見た。 http://mridgers.github.io/clink/コマンドプロンプトより少し便利になった。teratermで入れた…

PTVS 2.1 Beta VS 2013 を使ってみたけどなんか実行が遅いような。。これだと快適に動かせないかな。。

http://z3.codeplex.com/ http://rise4fun.com/z3py/tutorial/guideこれを使って静的解析させたい。。

今日から新しい職場で制御プログラムの改修をする事になったんだけれど、型名と変数名が全部大文字でローマ字表記だった。あとデータのやり取りでポインタは使わないでグローバル変数を使う文化らしく、同じグローバル変数の役割が処理の途中で何度も何度も…