Back To Schedule
Saturday, October 28 • 5:00pm - 5:22pm
Riemannian Geometry in Egison

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Most of the technical notations in mathematics and physics are not supported in programming languages.Therefore, we need to translate mathematical expressions to represent them in programming languages.As the result, programs are more complicated than mathematical expressions.This is a big obstacle to cope with problems in mathematics and physics using computers.Egison is a programming language that has been developed to solve this problem.Recently, as part of the solution to this problem, I developed a method for importing tensor index notation into programming with a simple extension of languages.In this lecture, I will show a hint of what kind of ideas are necessary to import mathematical notation into programming by showing this example.

avatar for Satoshi Egi

Satoshi Egi

RIT Scientist, Rakuten
Satoshi Egi is a researcher of Rakuten Institute of Technology, focusing on Programming Languages. He graduated from the University of Tokyo, Graduate School of Information Science and Technology, where he majored in Computer Science in 2012. He started the development of the Egison... Read More →

Saturday October 28, 2017 5:00pm - 5:22pm JST
4F Rakuten A