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

**Speakers**
## Satoshi Egi

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.

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

4F Rakuten A