Mercurial > hg > Members > atton > seminar_slides
changeset 62:af2d176a4f2c
Update slide
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 12 Aug 2014 17:56:16 +0900 |
| parents | b4bf52190b5a |
| children | 34f398a5f52a |
| files | slides/20140812/slide.md |
| diffstat | 1 files changed, 14 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/slides/20140812/slide.md Tue Aug 12 17:04:50 2014 +0900 +++ b/slides/20140812/slide.md Tue Aug 12 17:56:16 2014 +0900 @@ -42,6 +42,20 @@ * page6-7 とか * 確実に引数を1つ持つ関数どうしの Equation? +# Notions of computation and monads : ながれ +* あとは流し読み +* Many sorted Monadic Equational Language -> The Simple metalanguage + * (let とか。) 1Monad を複数回適用可能? +* A Simple Programming Language + * existential とかが導入されるらしいですが…… + +# Notions of computation and monads : ながれ +* Extending the simple metalanguage + * Strong Monad (A x T B) -> T A B +* Interpretation and formal system +* Strong monads over a topos + * location, if とかが が入る + # Monad for CbC? * Monad は codomain が 2つある * A と T A