分散系state_LibraryでModelingする