懇親会
開催概要
微分幾何のプログラミングについて共同研究をしている深川宏樹特任助教 (九州大学大学院工学研究院機械工学部門) にEgisonセミナーを九州大学で主催していただけることになりました．
みなさま，ぜひご参加ください．
- 日程: 2018/6/6(水) 16:30-18:00
- 開催場所: 九州大学 伊都キャンパス センター1号館 1401号室 (58人部屋)
- 事前にEgisonをインストールしたノートパソコンを持参していただけるとより楽しめます．
- Macへのインストール方法 (Macユーザーの方はHomebrewを使うと簡単にインストールできます．)
- Linuxへのインストール方法
- Windowsへのインストール方法
参加登録
以下のページにて6/1(金)までに参加登録お願いします．
参加登録ページ目的
Egisonは，アルゴリズムをコンピューター向けに翻訳することなく，より直接的に記述することを目指して開発されているプログラミング言語です．
現在のEgisonは，数式処理システムを簡単に実装できるほど強力な表現力をもつパターンマッチと，テンソルの添字記法のような数学記法のプログラミングへの導入が大きな特徴のプログラミング言語となっています．
その結果，簡潔に記述できるアルゴリズムや数式の範囲が，既存のプログラミング言語や数式処理システムよりも大きく広がっています．
本セミナーでは，実際にEgisonを動かしながら，参加者の方々にこのことを感じてもらいながら進めていきたいと考えています．
内容
イントロダクション
- プログラミング言語理論の全体像とEgisonの位置づけ
- 強力な表現力をもつパターンマッチ
- パターンマッチの応用としての数式処理システム
- テンソルの添字記法のプログラミングへの導入
強力な表現力をもつパターンマッチ
- パターンの多相性
- 複数の結果をもつパターンマッチ
- 非線形パターンを効率的に処理するバックトラッキングアルゴリズム
パターンマッチの応用としての数式処理システム
- 数式に対するパターンマッチ
- パターンマッチによる微分の定義
- パターンマッチによる数式の簡約化
- 1の17乗根の計算
微分幾何の記法のプログラミングへの導入
- テンソルの添字記法のプログラミングへの導入
- リーマン曲率テンソルの計算
- 超弾性体の応力テンソルの計算
- 微分形式の記法のプログラミングへの導入
- ホッジラプラシアンの計算
- ナビエ・ストークス方程式の展開
Egisonのサンプルプログラム
過去の講演・論文
講演
論文
- パターンマッチについて
- 微分幾何のプログラミングについて
世話人
深川宏樹特任助教 (九州大学大学院工学研究院機械工学部門)