Apiros3 Portfolio Page
Merton College Oxford
University of Oxford
Yanai-Tadashi Foundation
Undergraduate Student at Merton College, Oxford
Yanai-Tadashi Foundation Scholar 6th
Research Interests:
・Interactive Theorem Proving (ITP)
・Algorithms
・Optimization
and related areas
以下翻訳中（完成時期未定）
