論理システム実験楽しそうな予感