Satoshi Egi - 江木 聡志
Profile
Software
Refereed Papers
- Satoshi Egi and Yuichi Nishiwaki: Functional Programming in Pattern-Match-Oriented Programming Style, The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 7, DOI: 10.22152/programming-journal.org/2020/4/7
- Satoshi Egi: Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types, The Scheme and Functional Programming Workshop 2019
- Satoshi Egi and Yuichi Nishiwaki: Non-linear Pattern Matching with Backtracking for Non-free Data Types, APLAS 2018 - Asian Symposium on Programming Languages and Systems, DOI: 11.1007/978-3-030-02768-1_1
- Satoshi Egi: Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures, The Scheme and Functional Programming Workshop 2018
- Satoshi Egi: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation, The Scheme and Functional Programming Workshop 2017
Drafts
- Satoshi Egi, Yoshiaki Maeda, Steven Rosenberg: Diffeomorphism groups of circle bundles over symplectic manifolds, arXiv:2011.01800 [math.DG]
Essays
Essays in English
Essays in Japanese
Awards
Online Information on Egison and Me
Egison Website and Paper
Articles on Egison
Online Media
By Me
Presentation on Egison
公式Webサイト(日本語)
Egisonについての記事(日本語)
Egisonについて言及している記事
私が執筆した記事
プレゼンテーション
ネタ
Memos