Lila Team/論理システム実験