lecture:design_with_prototyping:数理シミュレーション