明治大学先端数理科学インスティテュート博士課程後期修了 博士(数理科学) 「Model-Aided Understanding of Pattern Formation in Chemotactic E.coli Colonies」