t_wの輪郭

形式的検証
『あるソフトウェア工学者の失敗、日本のITは何故弱いか』