# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1402477195 -32400
# Node ID cd7fed908f438b1374e51be4bb57e89f06f9d86b
# Parent  5691bd96dd45f32d73bcbb33964f41045fce2479
Add slide for seminar

diff -r 5691bd96dd45 -r cd7fed908f43 slides/20140611/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140611/slide.md	Wed Jun 11 17:59:55 2014 +0900
@@ -0,0 +1,57 @@
+title: プログラムのデバッグ支援(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+# 研究目的(仮)
+
+* 卒研用テーマを考え中です
+* プログラミングのデバッグやリファクタリングを支援するツールを提供します
+
+
+# まえふり
+
+* ゼミはたぶん三週間ぶりです。おひさしぶりです
+* 近況報告
+* 卒論のネタについて
+
+
+# 近況報告
+
+* 灘高の[圏論](http://www.npca.jp/works/magazine/2013_10/)の冊子を流し読みしてました
+* Strong Noramization は、「lambda は有限回のβ簡約によって簡約の手順に関わらずに正規形になる」とのこと
+* 流し読みしましたが、「こういう圏はこういうデータ構造などにマッピングされる」みたいな紹介でした
+* 利点欠点は分からず……
+* R on System F はちょっとやりましたれどやっぱり無理だったので投げてます
+
+
+# 卒研ネタ(from 先生)
+
+* Parallel Debugger
+* tmux + tmuxinator で単純なものならできる
+    * setw synchronize-pane
+* 追加するとしたら
+    * Diff Highlighter
+    * work with Mercurial
+
+# 卒研ネタ(from 自分)
+
+* Eq Function
+* 任意の関数2つの等価性を証明無しで判定する
+* 用途としてはリファクタリング前後の正当性の
+* 全てのobjectを lambda term に落として正規形を比較でいけないかな、とか
+
+
+# Eq Function の課題と欠点
+* 課題
+    * Pattern match をしなくても良いように
+    * 制御構造全てを lambda-term に落とせるか
+        * lisp はどうだろう、と考えています
+* 欠点
+    * そもそも新規性があるのか
+    * メリットはあるのか
+    * 正規形が同じものしか比較できない
+* プログラムの静的解析になる?
+
+<!-- vim: set filetype=markdown.slide: -->