人間ドックに梅毒検査は含まれるからな
HIVは含まれないけど

なんでや