最近Z3のインストールに複数の意味でハマっていて、その過程で動的ライブラリに対する理解が深まったのでメモしておく。 autotaker.hatenablog.com 動的ライブラリとは 動的ライブラリは静的ライブラリと異なり、実行時にリンクされる。 今まで誤解していた…

新しいMacを手に入れたので環境構築を行っている。 その過程で、Z3のインストールにハマったので忘備録を書いておく。 目標 Z3はMicrosoftが開発しているSMTソルバで、様々な言語のバインディングがある。 公式でサポートしているのはC/C++, Java, Python, O…

Data.List.sortがあまりに遅くてつらいので、vectorを使って書いてチューニングしたら約４倍速くなりましたという話をします。その過程でvectorのmonadic indexingとは何かという話をします。仕様としてData.Listと互換性を持たせるため、次のようなインター…

先週の土曜日にSECCONの決勝大会にnegainoidoというチームで参加してきました。 SECCON 2015 決勝大会 | SECCON 2015 NEWS北千住駅から降りて東京電機大学に着くと受付にかっこいい可視化システムが置いてありました。優勝したチームdodododoは試合開始前か…