2011-01-04から1日間の記事一覧
自分のスキルを棚上げして、開発ツールに対する勝手な要望を出してみたい。例えば、「難解だ」「現場では使えない」と酷評されがちな形式手法（SPIN等）は、ツールでもう少し簡単に利用出来れば、適用範囲が広がるのではないかと思う。コンパイラの最適化だ…
自分のスキルを棚上げして、開発ツールに対する勝手な要望を出してみたい。例えば、「難解だ」「現場では使えない」と酷評されがちな形式手法（SPIN等）は、ツールでもう少し簡単に利用出来れば、適用範囲が広がるのではないかと思う。コンパイラの最適化だ…
