저자 소개
아이트릭스(Itrix) 책임 연구원
서울대학교 수리과학부 박사 과정
수학과 계산 인프라의 경계에서, 계산의 새로운 기본 단위를 검토하는 일에 관심을 두고 있다. 이 사이트는 AXIOM-CRE (박준후 석사 논문)와 FQNM (arXiv 2604.06947)을 비전공 독자가 따라갈 수 있는 언어로 옮긴다. 약속이나 시연 대신 질문을 다룬다.
✉️ hkim@itrix.co.kr
💻 GitHub
아이트릭스(Itrix) 책임 연구원
서울대학교 수리과학부 박사 과정
수학과 계산 인프라의 경계에서, 계산의 새로운 기본 단위를 검토하는 일에 관심을 두고 있다. 이 사이트는 AXIOM-CRE (박준후 석사 논문)와 FQNM (arXiv 2604.06947)을 비전공 독자가 따라갈 수 있는 언어로 옮긴다. 약속이나 시연 대신 질문을 다룬다.
✉️ hkim@itrix.co.kr
💻 GitHub