ドメイン固有テンソル言語：アインシュタイン表記の形式化と実行可能なセマンティクス

本稿では、アインシュタイン表記の利便性と、テンソルの数学的構造の厳密さを兼ね備えた、Haskellに埋め込まれたドメイン固有言語(DSL)を提案する。