Mercurial > hg > Members > atton > generated_seminar_slides

comparison slides/20140812/slide.html @ 36:c590e46d848d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 12 Aug 2014 17:04:51 +0900
parents 1c06da3b790e
children 803e86852630
comparison
equal deleted inserted replaced
35:1c06da3b790e 36:c590e46d848d
41 <h1 id="section">研究目的(仮)</h1> 41 <h1 id="section">研究目的(仮)</h1>
42 </header> 42 </header>
43 <!-- === begin markdown block === 43 <!-- === begin markdown block ===
44 44
45 generated by markdown 1.1.1 on Ruby 2.1.2 (2014-05-08) [x86_64-darwin13.0] 45 generated by markdown 1.1.1 on Ruby 2.1.2 (2014-05-08) [x86_64-darwin13.0]
46 on 2014-08-12 16:49:19 +0900 with Markdown engine kramdown (1.3.3) 46 on 2014-08-12 17:04:50 +0900 with Markdown engine kramdown (1.3.3)
47 using options {} 47 using options {}
48 --> 48 -->
49 49
50 <!-- _S9SLIDE_ --> 50 <!-- _S9SLIDE_ -->
51 51
116 <ul> 116 <ul>
117 <li>proving Equivalence of programs 117 <li>proving Equivalence of programs
118 <ul> 118 <ul>
119 <li>beta-eta conversion wipes out 119 <li>beta-eta conversion wipes out
120 <ul> 120 <ul>
121 <li>non-termination</li> 121 <li>non-termination, non-determinisim, side-effects</li>
122 <li>non-determinisim</li>
123 <li>side-efects</li>
124 </ul> 122 </ul>
125 </li> 123 </li>
126 </ul> 124 </ul>
127 </li> 125 </li>
128 <li>follows monads 126 <li>follows monads
129 <ul> 127 <ul>
130 <li>Categorical Semantics of computations based on monads</li> 128 <li>Categorical Semantics of computations based on monads</li>
131 </ul> 129 </ul>
132 </li> 130 </li>
131 <li>T is notion of computation</li>
133 </ul> 132 </ul>
134 133
135 134
136 135
137 </section> 136 </section>
146 145
147 <ul> 146 <ul>
148 <li>Kleisli triples との対応 147 <li>Kleisli triples との対応
149 <ul> 148 <ul>
150 <li>(T, eta, mu) と (T, eta, _ * )</li> 149 <li>(T, eta, mu) と (T, eta, _ * )</li>
151 <li>このあたりはソフトウェア工学でやった</li> 150 <li>このあたりはソフトウェア工学でやったところなのでどうにか</li>
152 </ul> 151 </ul>
153 </li> 152 </li>
154 <li>Many Sorted Monadic Equational Launguage くらいから謎 153 <li>Many Sorted Monadic Equational Launguage くらいから謎
155 <ul> 154 <ul>
156 <li>page6-7 とか</li> 155 <li>page6-7 とか</li>
157 <li>確実に引数を1つ持つ関数どうしの Equation?</li> 156 <li>確実に引数を1つ持つ関数どうしの Equation?</li>
157 </ul>
158 </li>
159 </ul>
160
161
162
163 </section>
164 </div></div>
165
166 <div class="slide" id="7"><div>
167 <section>
168 <header>
169 <h1 id="monad-for-cbc">Monad for CbC?</h1>
170 </header>
171 <!-- _S9SLIDE_ -->
172
173 <ul>
174 <li>Monad は codomain が 2つある
175 <ul>
176 <li>A と T A</li>
177 <li>なので A と T A 間での identitiy はきちんと取る必要がありそう</li>
178 </ul>
179 </li>
180 <li>f : A -&gt; T B
181 <ul>
182 <li>f x の場合は x : A</li>
183 <li>f =« x の場合は x : T A</li>
158 </ul> 184 </ul>
159 </li> 185 </li>
160 </ul> 186 </ul>
161 187
162 <!-- vim: set filetype=markdown.slide: --> 188 <!-- vim: set filetype=markdown.slide: -->