t_wの輪郭

あれ
『プログラム検証論 (情報数学講座 8)』『あるソフトウェア工学者の失敗、日本のITは何故弱いか』