no code implementations • 3 Nov 2020 • Satoshi Egi, Yoshiaki Maeda, Steven Rosenberg
We study the diffeomorphism and isometry groups of manifolds $\overline {M_p}$, $p\in\mathbb Z$, which are circle bundles over a closed $4n$-dimensional integral symplectic manifold.
Differential Geometry
2 code implementations • 10 Sep 2018 • Satoshi Egi
The Kleene star operator is an important pattern construct for representing a pattern that repeats multiple times.
Programming Languages Logic in Computer Science
3 code implementations • 31 Aug 2018 • Satoshi Egi, Yuichi Nishiwaki
Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm for non-linear patterns, ii) extensibility of matching process, and iii) polymorphism in patterns.
Programming Languages
1 code implementation • 21 Feb 2017 • Satoshi Egi
In this paper, we show that introducing these two types of parameters and our simplified index rules enables us to apply arbitrary user-defined functions to tensor arguments using index notation including Einstein summation notation without requiring an additional description to enable each function to handle tensors.
Programming Languages Mathematical Software
1 code implementation • 2 Jul 2014 • Satoshi Egi
I have realized that with a rule that pattern-matching is executed from the left side of a pattern and a rule that a binding to a variable in a pattern can be referred to in its right side of the pattern.
Programming Languages