LIBRE 2023 -Kyoto-