Rakuten Technology Conference 2017

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.