Mercurial > hg > Members > atton > seminar_slides
comparison slides/20141007/slide.md @ 72:916d62123b1c
Update slide note
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 07 Oct 2014 18:10:29 +0900 |
parents | 243328f8f857 |
children |
comparison
equal
deleted
inserted
replaced
71:243328f8f857 | 72:916d62123b1c |
---|---|
10 * ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい | 10 * ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい |
11 * これによりリファクタリング支援や後方互換性の支援などを行なう | 11 * これによりリファクタリング支援や後方互換性の支援などを行なう |
12 | 12 |
13 # 近況報告 | 13 # 近況報告 |
14 * Agda で証明始めました | 14 * Agda で証明始めました |
15 * 卒研は英語で発表しようと思っています | |
16 * 11月中旬くらいまでに目処を付けたいです | |
15 | 17 |
16 # Similar in Agda | 18 # Similar in Agda |
17 * Similar の定義だけ | 19 * Similar の定義だけ |
18 * あとは String と List を使いそうなのでそれも | 20 * あとは String と List を使いそうなのでそれも |
19 * 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?) | 21 * 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?) |