Mercurial > hg > Members > atton > generated_seminar_slides

<!DOCTYPE HTML>

<html lang="Japanese">
<head>
	<title>Modify Program by Monad</title>
	<meta charset="UTF-8">
	<meta name="viewport" content="width=1274, user-scalable=no">
	<meta name="generator" content="Slide Show (S9)">
	<meta name="author" content="Yasutaka Higa">
	<link rel="stylesheet" href="themes/ribbon/styles/style.css">
</head>
<body class="list">
	<header class="caption">
		<h1>Modify Program by Monad</h1>
		<p>Yasutaka Higa</p>
	</header>
	<div class="slide cover" id="Cover"><div>
		<section>
			<header>
				<h2>Modify Program by Monad</h2>
				<h3>Yasutaka Higa</h3>
			</header>
		</section>
	</div></div>

<!-- todo: add slide.classes to div -->
<!-- todo: create slide id from header? like a slug in blogs? -->

<div class="slide" id="2"><div>
		<section>
			<header>
				<h1 id="section">研究目的</h1>
			</header>
			<!-- === begin markdown block ===

      generated by markdown 1.1.1 on Ruby 2.1.4 (2014-10-27) [x86_64-darwin13.0]
                on 2014-11-11 18:03:27 +0900 with Markdown engine kramdown (1.4.2)
                  using options {}
  -->

<!-- _S9SLIDE_ -->

<ul>
  <li>プログラムを変更することの詳細を知りたい</li>
  <li>完成に近づいているか、実行結果はどう変わったか、など</li>
  <li>過去のプログラムを保存しながら変更する Delta Monad を定義した</li>
  <li>改変前と改変後のプログラムの実行結果から、正しく完成に近づく変更なのか判断する</li>
  <li>Monad の理論的背景である圏論の視点から、プログラムが完成に向かうことはどう表現できるのか探る</li>
</ul>


		</section>
</div></div>

<div class="slide" id="3"><div>
		<section>
			<header>
				<h1 id="section-1">近況報告</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>スライドのデザインちょっと変えました</li>
  <li>圏論勉強会動画#3</li>
  <li>Delta Monad
    <ul>
      <li>Pretty Print</li>
      <li>Sample (Bubble sort)</li>
    </ul>
  </li>
</ul>


		</section>
</div></div>

<div class="slide" id="4"><div>
		<section>
			<header>
				<h1 id="section-2">圏論勉強会動画#3</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Introduction of some Categories
    <ul>
      <li>1,2,3, Product Category, Functor Category …</li>
    </ul>
  </li>
  <li>Algeblic data type</li>
  <li>Free Target
    <ul>
      <li>Magma, SemiGroup, Monoid, …</li>
    </ul>
  </li>
  <li>代数的位相幾何学もやろうぜって言われてたのでうわー</li>
</ul>


		</section>
</div></div>

<div class="slide" id="5"><div>
		<section>
			<header>
				<h1 id="delta-monad">Delta Monad</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Show を自前で定義しました</li>
  <li>ちょっとは見易くなった?
    <ul>
      <li>どうだろう</li>
    </ul>
  </li>
</ul>


		</section>
</div></div>

<div class="slide" id="6"><div>
		<section>
			<header>
				<h1 id="sample-of-delta-monad">Sample of Delta Monad</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Bubble Sort を書きました</li>
  <li>大きいのを取ってくるもの</li>
  <li>改変として小さいものを取ってきて最後に反転させるもの</li>
  <li>fmap でやらざるを得ない
    <ul>
      <li>どうせなのでfmapの時にも show するように</li>
      <li>まだ証明はしてないです</li>
    </ul>
  </li>
  <li>結構こんがらがる</li>
</ul>

<!-- vim: set filetype=markdown.slide: -->
<!-- === end markdown block === -->

		</section>
</div></div>


	<!--
		To hide progress bar from entire presentation
		just remove “progress” element.
		-->
	<script src="scripts/script.js"></script>
	<!-- Copyright © 2010–2011 Vadim Makeev, http://pepelsbey.net/ -->
</body>
</html>
author	Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date	Tue, 18 Nov 2014 14:26:47 +0900
parents	75b24219e2d9
children	d4e4ecc1c347