-title: オートマトン

この授業では、Agda を使って、計算機科学の基礎であるオートマトンとチューリングマシンについえ学びます。


-- 参考書

<a href="http://www.sampou.org/haskell/tutorial-j/index.html">
「やさしい Haskell 入門 (バージョン98)」
</a> 

<a href="http://www.amazon.co.jp/dp/4274068854">
すごい Haskell   Miran Lipova
</a>


<a href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=ur2&tag=shinjkonoshom-22&camp=247&creative=1211&path=external-search%3Fsearch-type=ss%26index=books-jp%26keyword=%25E9%2581%2594%25E4%25BA%25BA%25E3%2583%2597%25E3%2583%25AD%25E3%2582%25B0%25E3%2583%25A9%25E3%2583%259E%25E3%2583%25BC">達人プログラマー</a>
アンドリュー ハント、デビッド トーマス (ピアソン・エデュケーション)
    オブジェクト指向における再利用のためのデザインパターンエリッ
    ク ガンマ (著), ラルフ ジョンソン (著), リチャード ヘルム (
    著), ジョン ブリシディース (著), Erich Gamma (原著), Ralph Johnson
    (原著), Richard Helm (原著), John Vlissides (原著), 本位田
    真一 (翻訳), 吉田 和樹 (翻訳)

<a href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=ur2&tag=shinjkonoshom-22&camp=247&creative=1211&path=external-search%3Fsearch-type=ss%26index=books-jp%26keyword=%25E3%2583%2597%25E3%2583%25AD%25E3%2582%25B0%25E3%2583%25A9%25E3%2583%259F%25E3%2583%25B3%25E3%2582%25B0%25E4%25BD%259C%25E6%25B3%2595">プログラミング作法</a>
    ブライアン カーニハン (著), ロブ パイク (著), Brian Kernighan (原著), Rob Pike (\
    原著), 福崎 俊博 (翻訳)

<a href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=ur2&tag=shinjkonoshom-22&camp=247&creative=1211&path=external-search%3Fsearch-type=ss%26index=books-jp%26keyword=%25E3%2582%2584%25E3%2581%2595%25E3%2581%2597%25E3%2581%2584UML%25E5%2585%25A5%25E9%2596%2580">やさしいUML入門</a> Javaオブジェクト・モデリング
    浅海 智晴 (著)

<a href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=ur2&tag=shinjkonoshom-22&camp=247&creative=1211&path=external-search%3Fsearch-type=ss%26index=books-jp%26keyword=%25E3%2582%25B3%25E3%2583%25BC%25E3%2583%2589%25E3%2582%25B3%25E3%2583%25B3%25E3%2583%2597%25E3%2583%25AA%25E3%2583%25BC%25E3%2583%2588">コードコンプリート</a> —完全なプログラミングを目指してMicrosoft PRESS
    スティーブ マコネル (著), Steve McConnell (原著), 石川 勝 (翻訳)

<a href="http://www.amazon.co.jp/exec/obidos/redirect?link_code=as2&path=ASIN/4894714515&tag=shinjkonoshom-22&camp=247&creative=1211">Effective C++ 原著第3版</a> 

-- 評価方法
    演習の結果を総合して判定する。
    

--授業計画

<ol>
<li> ソフトウェア工学
<li><a href="s01/lecture.html"> 集合、論理、関数</a>
<li><a href="s02-logic/lecture.html"> 一階述語論理とシーケント代数</a>
<li><a href="s02/lecture.html"> Haskell 入門</a>
<li><a href="s02/lecture-functor.html"> Haskell のFunctor</a>
<li><a href="s03/lecture.html"> Curry Howard 対応 </a> 
<li><a href="s04/lecture.html"> Agda </a>
<li><a href="s05/lecture.html"> Category と Natural Transformation </a> 
<li><a href="s06/lecture.html"> Monad  </a> 
<li><a href="s07/lecture.html"> Monad の合成  </a> 
<li><a href="s08/lecture.html"> Design Pattern と Refactoring </a> 
<li><a href="s09/lecture.html"> Test と Debug </a> 
</ol>

電子メールおよび ura.ie.classes.software のニュースグループを使用する。

--古い授業　

<ol>
<li><a href="old/s02-perlmod/epkg.html">  EasyPackage </a>
<li><a href="old/s02-perlmod/lecture.html">  Perl と Perl module </a>
<li><a href="old/s03python/lecture.html"> Python</a>
<li><a href="old/s03ruby/Rubyin5minutes.html"> 5分でわかる Ruby</a>
<li><a href="old/s04haskell2/lecture-ruby.html"> Ruby part 2</a>
<li><a href="old/s03ruby/lecture.html">  Ruby UML Web framework</a>
<li><a href="old/s04haskell2/haskell.html"> Haskell part 1</a>
<li><a href="old/s04haskell2/haskell2.html"> Haskell part 2</a>
<li><a href="old/s04haskell2/haskell3.html"> Haskell part 3</a>
<li><a href="old/s04haskell2/haskell4.html"> Haskell part 4</a>
<li><a href="old/s05-emacslisp/lecture-lisp.html"> Emacs Lisp</a>
<li><a href="old/s06-UML/lecture-lisp.html"> Lisp part 2</a>
<li><a href="old/s05-logic/coq.html"> Coq</a>
<li><a href="old/s11-prolog/lecture.html"> Prolog</a>
<li><a href="old/s05-logic/prolog.html"> Prolog part 2</a>
<li><a href="old/s06-UML/object.html"> Object 指向</a>
<li><a href="old/s07-applescript/lecture.html"> AppleScript</a>
<li><a href="old/s07-objective-C/lecture.html"> Objective C</a>
<li><a href="old/s10-server/lecture.html"> Server Programming</a>
<li><a href="old/s12-erlang/lecture-erlang.html"> Eralang</a>
</ol>