SMT solver 入門 - suer のブログ
SAT solver が周りでほのかに流行っている(いた?)ので，個人的には SAT solver よりも断然便利な SMT solver について書いてみようと思いたった． SMT って? SMT は Satisfiable Modulo Theories の略で，SAT だと命題変数を並べて CNF で記述しなければいけないところを，int とか，プログラムで使うような変数が扱える上，述語が使える． なので一般に記述量が減り，人間に(SAT問題よりは)読みやすくなる傾向にあると思う． SMT Solver SMT Solver については http://combination.cs.uiowa.edu/smtlib/ でいろいろ見つかるけれど，ここでは The Yices SMT Solver を使ってみる． 環境準備 Mac OS X Leopard Yices 4.2.2 例題 S
本当はすごい codefirst の開発環境 - suer のブログ
(本記事は @suer, @mallowlabs, @mzp がノリノリで共同執筆しました！) 近代的なソフトウェア開発に必要なツールは3つある。 分散バージョン管理ツール ITS CI ツール 私はこれに AsakusaSatellite (以下AS)を加えたいと思う。 以上の4ツールを使用することによって、迅速なコミュニケーション、洗練された自動化をベースとした開発リズムを体験することができる。 このあとの節では具体的なユースケースをベースに、上記ツールの連携方法及びそのメリットをみていく。 ユースケース：開発中にソースコードの特定行で例外が発生した原因を探る ここは codefirst の開発室。 @suer と @mallowlabs と @mzp はリズム良くコードを書いています。 そんなとき、ビルドの異常を知らせるポップアップが表示されます。 さっそくAS 上でミーティングがは
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
