Mercurial > hg > Papers > 2015 > atton-osc

comparison slide.html @ 14:43c56be5f779 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix typo
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sat, 24 May 2014 11:30:42 +0900
parents 37a7b8c31a0c
children
comparison
equal deleted inserted replaced
13:37a7b8c31a0c 14:43c56be5f779
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-05-24 10:56:09 +0900 with Markdown engine kramdown (1.3.3) 46 on 2014-05-24 11:29:40 +0900 with Markdown engine kramdown (1.3.3)
47 using options {} 47 using options {}
48 --> 48 -->
49 49
50 <!-- _S9SLIDE_ --> 50 <!-- _S9SLIDE_ -->
51 51
642 <h1 id="section-13">交換法則の証明 : + の定義による変形</h1> 642 <h1 id="section-13">交換法則の証明 : + の定義による変形</h1>
643 </header> 643 </header>
644 <!-- _S9SLIDE_ --> 644 <!-- _S9SLIDE_ -->
645 645
646 <ul> 646 <ul>
647 <li> 647 <li>_ + _ の定義である x + (S y) = S (x + y) により変形</li>
648 <ul>
649 <li>の定義である x + (S y) = S (x + y) により変形</li>
650 </ul>
651 </li>
652 </ul> 648 </ul>
653 649
654 <pre><code> add-sym (S x) (S y) = begin 650 <pre><code> add-sym (S x) (S y) = begin
655 (S x) + (S y) 651 (S x) + (S y)
656 ≡⟨ refl ⟩ 652 ≡⟨ refl ⟩