このエントリーをはてなブックマークに追加

11月

23

Egison Workshop 2018

効率的で強力な表現力をもつEgisonのパターンマッチとその応用

ハッシュタグ :#egison2018
募集内容

発表枠

無料

先着順
2/5

参加枠

無料

先着順
28/40

イベントの説明

開催概要

Egisonのパターンマッチの理論を広めるために,Egison作者(江木)を東大在学時に指導していただいた萩谷 昌己教授と,Egisonパターンマッチ論文の共著者である西脇 友一さんにEgisonワークショップを東京大学で開催していただけることになりました. Egisonのパターンマッチに興味ある方なら誰でも参加できます. みなさま,ぜひご参加ください.

目的

Egisonは,正規表現のような効率的で強力な表現力を持つパターンマッチを,多重集合や集合,グラフ,数式のような正規形を持たないデータ型を含む任意のデータ型に対して,ユーザーが定義できるプログラミング言語です. Egisonのこの機能は,アルゴリズムをコンピューター向けに翻訳することなく,より直接的に記述することを目指して開発されました. この機能により,既存のプログラミング言語では実装が煩雑になる数式処理システムも,Egisonでは簡潔に実装できます. パターンマッチを活かした簡潔な実装であることにより,この数式処理システムが簡単に拡張できることを活かして,この数式処理システムの上では,テンソルの添字記法を導入するための手法をはじめとする新しいプログラミング言語のアイデアがどんどん実装されています. 本ワークショップは,実際にEgisonを動かし,参加者の方々にEgisonのパターンマッチの威力を感じてもらいたいと考えています.

内容

  • 13:00-13:10: 参加者の自己紹介
  • 13:10-13:30: Egisonの現状と今後の展望 - 江木聡志 (楽天技術研究所)
  • 13:30-13:40: 休憩
  • 13:40-14:40: Egisonパターンマッチ論文の紹介 - 西脇友一 (東京大学)
  • 14:40-15:40: 休憩
  • 14:50-15:50: Egisonプログラミングコンテスト
  • 15:50-16:00: 休憩
  • 16:00-16:30: Egisonの型システムとその型検査器の実装 - 河田旺 (京都大学)
  • 16:30-17:00: 新機能で知るEgison - 郡茉友子 (東京大学)
  • 17:00-17:10: 休憩
  • 17:10-17:40: Egisonで微分幾何 - 江木聡志 (楽天技術研究所)
  • 17:40-18:10: 参加者講演枠
  • 18:30-20:30: 懇親会

講演募集

Egisonに関連するテーマで講演を募集しております. 講演時間については,30分ほどを想定していますが,変更したい場合は相談に応じます.

Egisonについての論文

パターンマッチについて

テンソルプログラミングについて

発表者

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

Satoshi Egi

Satoshi Egi さんが Egison Workshop 2018 を公開しました。

2018/09/18 22:10

Egison Workshop 2018 has been published!

開催前

2018/11/23(金)

13:00
18:00

イベントに申し込むには
ログインしてください

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2018/09/18(火) 22:09 〜
2018/11/23(金) 18:00

会場

東京大学本郷キャンパス

東京都文京区本郷7-3-1

管理者

参加者(30人)

Satoshi Egi

Satoshi Egi

I joined Egison Workshop 2018!

a_kawashiro

a_kawashiro

Egison Workshop 2018 に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

Egison Workshop 2018に参加を申し込みました!

g000001

g000001

Egison Workshop 2018 に参加を申し込みました!

hmikisato

hmikisato

Egison Workshop 2018 に参加を申し込みました!

tamaki

tamaki

Egison Workshop 2018 に参加を申し込みました!

ToshiyaOgawa

ToshiyaOgawa

Egison Workshop 2018 に参加を申し込みました!

tos

tos

Egison Workshop 2018に参加を申し込みました!

bd_gfngfn

bd_gfngfn

Egison Workshop 2018に参加を申し込みました!

a2uky

a2uky

Egison Workshop 2018に参加を申し込みました!

参加者一覧(30人)

キャンセルした人(3人)