エージェントの大きさの定義

エージェントの表示上の大きさを変更するには、

マップ出力設定 > マップ要素設定（エージェント） > 拡大率　で指定できます。

ちなみにエージェントの実体は位置座標のみ持つため、

エージェント同士のぶつかりを考慮したい場合は、エージェント間の距離を計算して求めてください。