Document is current
Any future updates will be listed below
-
Authors
-
Funding
Funding for this research was provided by:
Japan Society for the Promotion of Science (JP20H05703)
Japan Society for the Promotion of Science (JP20H04162)
Japan Society for the Promotion of Science (JP19K22842)
Japan Science and Technology Agency (JPMJER1603)
The University of Tokyo
- License Information
-
More Information
Article History
Received: 2 August 2022
Accepted: 25 December 2024
First Online: 24 February 2025
Declarations
:
: This work was supported by JSPS KAKENHI Grant Numbers JP20H05703, JP20H04162, and JP19K22842, and ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. The authors have no other Conflict of interest to declare that are relevant to the content of this article.
