どういうこと？キリンビールと大阪大学がコップに注いだギネスビールの泡が作り出す模様の発生メカニズムの数式表現を実現