コード作成コストは激減したが、コードを読んで正当性を検証するコストは増大しており、開発現場におけるこのズレが課題であることを指摘する。