  As of 2020, COVID-19 is spreading in the world. In Japan, the Ministry of
Health, Labor and Welfare developed COVID-19 Contact-Confirming Application
(COCOA). The researches to examine the effect of COCOA are still not
sufficient. We develop a mathematical model to examine the effect of COCOA and
show examined result.
