日常状況を理解するためのツールとしての数学的モデリング | Synapse