Mercurial > hg > Members > kono > Proof > automaton

comparison index.ind @ 0:e5aa1cf746cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
automaton lecture
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 13 Aug 2018 22:38:05 +0900
parents
children 9406c2571fe7
comparison
equal deleted inserted replaced
-1:000000000000 0:e5aa1cf746cb
1 -title: オートマトン
2
3 この授業では、Agda を使って、計算機科学の基礎であるオートマトンとチューリングマシンについえ学びます。
4
5
6 -- 参考書
7
8 <a href="http://www.sampou.org/haskell/tutorial-j/index.html">
9 「やさしい Haskell 入門 (バージョン98)」
10 </a>
11
12 <a href="http://www.amazon.co.jp/dp/4274068854">
13 すごい Haskell Miran Lipova
14 </a>
15
16
17 <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>
18 アンドリュー ハント、デビッド トーマス (ピアソン・エデュケーション)
19 オブジェクト指向における再利用のためのデザインパターンエリッ
20 ク ガンマ (著), ラルフ ジョンソン (著), リチャード ヘルム (
21 著), ジョン ブリシディース (著), Erich Gamma (原著), Ralph Johnson
22 (原著), Richard Helm (原著), John Vlissides (原著), 本位田
23 真一 (翻訳), 吉田 和樹 (翻訳)
24
25 <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>
26 ブライアン カーニハン (著), ロブ パイク (著), Brian Kernighan (原著), Rob Pike (\
27 原著), 福崎 俊博 (翻訳)
28
29 <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オブジェクト・モデリング
30 浅海 智晴 (著)
31
32 <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
33 スティーブ マコネル (著), Steve McConnell (原著), 石川 勝 (翻訳)
34
35 <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>
36
37 -- 評価方法
38 演習の結果を総合して判定する。
39
40
41 --授業計画
42
43 <ol>
44 <li> ソフトウェア工学
45 <li><a href="s01/lecture.html"> 集合、論理、関数</a>
46 <li><a href="s02-logic/lecture.html"> 一階述語論理とシーケント代数</a>
47 <li><a href="s02/lecture.html"> Haskell 入門</a>
48 <li><a href="s02/lecture-functor.html"> Haskell のFunctor</a>
49 <li><a href="s03/lecture.html"> Curry Howard 対応 </a>
50 <li><a href="s04/lecture.html"> Agda </a>
51 <li><a href="s05/lecture.html"> Category と Natural Transformation </a>
52 <li><a href="s06/lecture.html"> Monad </a>
53 <li><a href="s07/lecture.html"> Monad の合成 </a>
54 <li><a href="s08/lecture.html"> Design Pattern と Refactoring </a>
55 <li><a href="s09/lecture.html"> Test と Debug </a>
56 </ol>
57
58 電子メールおよび ura.ie.classes.software のニュースグループを使用する。
59
60 --古い授業　
61
62 <ol>
63 <li><a href="old/s02-perlmod/epkg.html"> EasyPackage </a>
64 <li><a href="old/s02-perlmod/lecture.html"> Perl と Perl module </a>
65 <li><a href="old/s03python/lecture.html"> Python</a>
66 <li><a href="old/s03ruby/Rubyin5minutes.html"> 5分でわかる Ruby</a>
67 <li><a href="old/s04haskell2/lecture-ruby.html"> Ruby part 2</a>
68 <li><a href="old/s03ruby/lecture.html"> Ruby UML Web framework</a>
69 <li><a href="old/s04haskell2/haskell.html"> Haskell part 1</a>
70 <li><a href="old/s04haskell2/haskell2.html"> Haskell part 2</a>
71 <li><a href="old/s04haskell2/haskell3.html"> Haskell part 3</a>
72 <li><a href="old/s04haskell2/haskell4.html"> Haskell part 4</a>
73 <li><a href="old/s05-emacslisp/lecture-lisp.html"> Emacs Lisp</a>
74 <li><a href="old/s06-UML/lecture-lisp.html"> Lisp part 2</a>
75 <li><a href="old/s05-logic/coq.html"> Coq</a>
76 <li><a href="old/s11-prolog/lecture.html"> Prolog</a>
77 <li><a href="old/s05-logic/prolog.html"> Prolog part 2</a>
78 <li><a href="old/s06-UML/object.html"> Object 指向</a>
79 <li><a href="old/s07-applescript/lecture.html"> AppleScript</a>
80 <li><a href="old/s07-objective-C/lecture.html"> Objective C</a>
81 <li><a href="old/s10-server/lecture.html"> Server Programming</a>
82 <li><a href="old/s12-erlang/lecture-erlang.html"> Eralang</a>
83 </ol>
84