-
- 江木, 聡志
- 楽天技術研究所
書誌事項
- タイトル別名
-
- Calculations in Differential Geometry with the Egison Programming Language (Computer Algebra --Theory and its Applications)
- プログラミング言語Egisonで計算する微分幾何
- プログラミング ゲンゴ Egison デ ケイサン スル ビブン キカ
この論文をさがす
説明
Egisonはユーザ一定義関数を含む任意の関数について, 特別な記述なしにテンソルの添字記法を使うことができるプログラミング言語である. 微分形式を使った計算の簡潔な記述もサポートしており, ウェッジ積, 外微分, ホッジ作用素, 内部積をはじめとする微分形式についての作用素もEgisonで簡潔に定義できる. それゆえ, Egisonを使えば, 添字記法を多用する微分幾何の計算を, 既存の数式処理システムよりも, 簡潔に表現できる. 本稿は, リーマン曲率テンソルやラプラシアンなどといった微分幾何において重要な概念を計算するプログラムを紹介し, 微分幾何の研究・学習において, Egisonが役に立つことを示す.
収録刊行物
-
- 数理解析研究所講究録
-
数理解析研究所講究録 2138 1-11, 2019-12
京都大学数理解析研究所
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050567175332538496
-
- NII論文ID
- 120006888164
-
- NII書誌ID
- AN00061013
-
- ISSN
- 18802818
-
- HANDLE
- 2433/254877
-
- NDL書誌ID
- 030233253
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles