t_wの輪郭

『プログラム検証論 (情報数学講座 8)』
あれ