t_wの輪郭

検証形式的
型システムはもっとも成功した軽量形式検証『本当に“ありがたい”理論が創れているか?』『あるソフトウェア工学者の失敗、日本のITは何故弱いか』