-title: オートマトンこの授業では、Agda を使って、計算機科学の基礎であるオートマトンとチューリングマシンについえ学びます。 -- 参考書「やさしい Haskell 入門 (バージョン98)」すごい Haskell Miran Lipova 達人プログラマーアンドリューハント、デビッドトーマス (ピアソン・エデュケーション) オブジェクト指向における再利用のためのデザインパターンエリックガンマ (著), ラルフジョンソン (著), リチャードヘルム ( 著), ジョンブリシディース (著), Erich Gamma (原著), Ralph Johnson (原著), Richard Helm (原著), John Vlissides (原著), 本位田真一 (翻訳), 吉田和樹 (翻訳) プログラミング作法ブライアンカーニハン (著), ロブパイク (著), Brian Kernighan (原著), Rob Pike (\ 原著), 福崎俊博 (翻訳) やさしいUML入門 Javaオブジェクト・モデリング浅海智晴 (著) コードコンプリート —完全なプログラミングを目指してMicrosoft PRESS スティーブマコネル (著), Steve McConnell (原著), 石川勝 (翻訳) Effective C++ 原著第3版 -- 評価方法演習の結果を総合して判定する。 --授業計画

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