パターン形成の数理とその周辺