Notice As of October 18, 2023, this repository will no longer be maintained. documents repository for uploading documents, seminar materials, etc. that have been organized in relation to development.