研究キーワード

mathematical model ; formalization