About Us
Concept
Messages for Prospective Members
Members
Publications
Teaching
Access
JAPANESE
ENGLISH
Top
News
A paper on cryptographic formalization of a mathematical puzzle was accepted at COCOA 2023.
A paper on cryptographic formalization of a mathematical puzzle was accepted at COCOA 2023.
2023/10/11
See
Publication page
for details.
PREV
NEXT
