ぴーびーしー - 東方算程譚 ふむ． むしろ Microsoft の開発現場で，一番 DbC が流行っているのが Visual C++ 関連だと思うのですが．Header Annotations とか SAL Annotations，C/C++ コード障害の検出と修正 等． 最近の Visual C++ のインクルードファイ…