Mercurial > hg > Members > atton > seminar_slides
comparison slides/20141128/slide.md @ 82:485f37d993cc
Add slide for seminar
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 28 Nov 2014 11:17:36 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
81:6033d4bf54f4 | 82:485f37d993cc |
---|---|
1 title: Categorical Semantics for Program Modification | |
2 author: Yasutaka Higa | |
3 profile: | |
4 lang: Japanese | |
5 | |
6 | |
7 # 研究目的 | |
8 * ソフトウェア開発において、プログラムが変更されることの意味を調べる | |
9 * プログラムの変更に対応する圏を構築し、その圏の性質からプログラムの変更の性質を導く | |
10 * 導いた性質から、プログラムの変更の意味とソフトウェア開発に使えるツールを提案する | |
11 * 本研究ではプログラムの変更をMonadとして定義し、Monad によって構成される圏を解析する | |
12 | |
13 # 近況報告 | |
14 * 業務連絡 : IP filtering | |
15 * 無限の変更を表す Delta を定義しました | |
16 * Sample : Bubble Sort | |
17 * Agda での証明がだいぶ詰まっています | |
18 | |
19 # IP filtering | |
20 * leo.cr のみが新規? | |
21 * メールのIP は leo.cr, insigma.cr, firefly.cr | |
22 * insigma.cr, firefly.cr は登録済み | |
23 * mumble.st, masa.cr はIPが被ってる | |
24 | |
25 # Delta : 当面のクリアするべき目標 | |
26 * Delta によってプログラムの全ての変更が表現できるか? | |
27 * Functor なのでいけると思ってます | |
28 * 無限の変更を Delta によって書けるか | |
29 * 定義してみました( mono と delta ) | |
30 * Delta によって構成される limit とは何か | |
31 * 先生とやりました | |
32 | |
33 # Sample : Bubble Sort | |
34 * prime count も bubble sort も動いてます | |
35 | |
36 ``` | |
37 *Main> primeCount 10 | |
38 Delta 4 (Mono 5) | |
39 | |
40 *Main> deltaFromList [10, 20, 30] >>= primeCount | |
41 Delta 4 (Delta 10 (Mono 15)) | |
42 ``` | |
43 | |
44 # limit of delta monad | |
45 * 先生と対応を考えてました | |
46 * limit | |
47 * index category の形状は preorderd sets だと思ってます | |
48 * has id, has pull back | |
49 * monotone でも良いかなとは | |
50 | |
51 # equalizer, product of delta monnad | |
52 * pull back があるので equalizer もある | |
53 * おそらく mercurial の merge の non-conflict 部分 | |
54 * id があるので product もある | |
55 * 任意の変更段階を対にできる | |
56 * parallel debugger の理論的背景 -> これを卒研の提案1にする | |
57 * and more? | |
58 * indexed category のパターンを調べようかと思ってます | |
59 | |
60 # Agda での証明につまってます | |
61 * functor 則は ok | |
62 * monad 則がとんでも | |
63 * mu (fmap mu) m = mu (mu m) | |
64 * 先週からずっと悩み続けてます | |
65 | |
66 <!-- vim: set filetype=markdown.slide: --> |