3 citations · 10 across the 8 of their papers we have counts for
8 papers
The Geometry of Loop Spaces III: Isometry Groups of Contact Manifolds
Satoshi Egi, Yoshiaki Maeda, Steven Rosenberg
Let be a circle bundle with first Chern class over a closed -dimensional integral symplectic manifold . Equivalently, is a closed…
Functional Programming in Pattern-Match-Oriented Programming Style
Satoshi Egi, Yuichi Nishiwaki
Throughout the history of functional programming, recursion has emerged as a natural method for describing loops in programs. However, there does often exist a substantial cognitiv…
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Satoshi Egi
Pattern matching is an important feature of programming languages for data abstraction. Many pattern-matching extensions have been proposed and implemented for extending the range…
Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures
Satoshi Egi
The Kleene star operator is an important pattern construct for representing a pattern that repeats multiple times. Due to its simplicity and usefulness, it is imported into various…
Symbolical Index Reduction and Completion Rules for Importing Tensor Index Notation into Programming Languages
Satoshi Egi
In mathematics, many notations have been invented for the concise representation of mathematical formulae. Tensor index notation is one of such notations and has been playing a cru…
Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Satoshi Egi
In this paper, we propose a method for importing tensor index notation, including Einstein summation notation, into functional programming. This method involves introducing two typ…