セルオートマトンによる交通流モデルの基本図について 松村 智尋 (数値数理解析研究室)