07 SIQRモデルの厳密解とコロナ対策の最適化について