sanjutsu_yu's Live

00:00
直感の破壊者、Aaron/Aaron, Intuition Destroyer @sanjutsu_yu
  • Level 12
  • Fanned 36
千葉大学理学部数学・情報数理学科卒、北陸先端科学技術大学院大学博士前期課程修了。Master of Science (Information Science). Constructive MathやRecursive Math (Not Recursion Theory)やNon-Classical Logicに興味。