勉強会/輪講/抽象によるソフトウェア設計
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[勉強会]]
*抽象によるソフトウェア設計 [#b3e37a11]
2011年後期開講。
----
#contents
**資料 [#d65d288f]
-抽象によるソフトウェア設計
--http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy.pdf
-数学ガール-ゲーデルの不完全性定理
--http://aslweb.u-aizu.ac.jp/aslwiki/download/set_theory/math_girl.pdf
**スケジュール [#nb211d81]
-プレゼンのテンプレートはコチラ
#ref(勉強会/輪講/よくわかる有限要素法/asl_template.ppt)
|日付|章|担当者|本|スライド|
||目次||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-toc.pdf)||
|10/18|第1章|五十嵐|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-01.pdf)|#ref(software_abstraction_01_02.ppt)|
|10/18|第2章|五十嵐|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-02.pdf)|#ref(software_abstraction_01_02.ppt)|
|10/31, 11/1|第3章|吉田|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-03.pdf)|#ref(software_abstraction_03.ppt)|
|11/8|第4章|森田|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-04.pdf)|#ref(software_abstraction_04_1.pptx)|
|11/14|~|~|~|#ref(software_abstraction_04_2.pptx)|
|11/15|第5章|田沢|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-05.pdf)|#ref(software_abstraction_05.pptx)|
|11/21|第6章|M2|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-06.pdf)|#ref(software_abstraction_06_01.pptx) |
|~|~|~|~|#ref(software_abstraction_06_02.ppt)|
|11/22|~|~|~|#ref(software_abstraction_06_03.pptx)|
|~|~|~|~|#ref(software_abstraction_06_04.ppt)|
|11/28, (11/29)|付録A|みんなで!|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-a.pdf)||
||付録B||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-b.pdf)||
||付録C||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-c.pdf)||
||付録D||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-d.pdf)||
||付録E||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-e.pdf)||
||付録F||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-f.pdf)||
||付録G||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-g.pdf)||
||索引||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-index.pdf)||
**練習問題 [#fe4dd9b0]
#ref(software_abstraction_appA.docx)
名前、解いた問題、資料を記載すること
資料の添付方法は、Wiki上部の添付でファイルをアップロードし、#ref(...)でそのファイル名を指定する
----
-森田:自由課題(VoIPソフトウェアのモデル図設計)
#ref(software_abstraction_ex_morita.pptx)
-田沢:古典的パズル(Halmosの握手問題・ヤギ、キャベツ、狼)
#ref(software_abstraction_appA_m5141106.ppt)
-五十嵐:単純なモデルを拡張する(囚人の割り当て)
#ref(software_abstraction_A.2.3_m5141119.ppt)
-佐藤:古典的パズル(床屋のパラドックス)
#ref(software_abstraction_A33_s1160102.pptx)
-吉田:論理の問題(単純木・スパニング木・リング・非循環無向グラフ)
#ref(software_abstraction_A1_5-8_m5141146.pptx)
-長谷川:古典的パズル(驚くような3段論法)
#ref(software_abstraction_ex_A.3.1_s1170120.ppt)
-大内 : 単純なモデルを拡張する(電話網内のスイッチング接続)
#ref(software_abstraction_A21_s1170007.ppt)
-大塚 : 論理の問題 (二項関係の性質)
#ref(software_abstraction_A1_1_s1170008.ppt)
**備考 [#t7fbea8c]
-参考書
--なっとくする集合・位相
---http://www.amazon.co.jp/%E3%81%AA%E3%81%A3%E3%81%A8%E3%81%8F%E3%81%99%E3%82%8B%E9%9B%86%E5%90%88%E3%83%BB%E4%BD%8D%E7%9B%B8-%E3%81%AA%E3%81%A3%E3%81%A8%E3%81%8F%E3%82%B7%E3%83%AA%E3%83%BC%E3%82%BA-%E7%80%AC%E5%B1%B1-%E5%A3%AB%E9%83%8E/dp/4061545345/ref=sr_1_11?s=books&ie=UTF8&qid=1318300161&sr=1-11
--数学ガール-ゲーデルの不完全性定理
---http://www.amazon.co.jp/%E6%95%B0%E5%AD%A6%E3%82%AC%E3%83%BC%E3%83%AB-%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86-%E7%B5%90%E5%9F%8E-%E6%B5%A9/dp/4797352965/ref=sr_1_5?ie=UTF8&qid=1318300070&sr=8-5
-参考ページ
--Alloy解析器(Alloy Analyzer)
---http://alloy.mit.edu
--書籍の補足資料と例
---http://softwareabstractions.org/
終了行:
[[勉強会]]
*抽象によるソフトウェア設計 [#b3e37a11]
2011年後期開講。
----
#contents
**資料 [#d65d288f]
-抽象によるソフトウェア設計
--http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy.pdf
-数学ガール-ゲーデルの不完全性定理
--http://aslweb.u-aizu.ac.jp/aslwiki/download/set_theory/math_girl.pdf
**スケジュール [#nb211d81]
-プレゼンのテンプレートはコチラ
#ref(勉強会/輪講/よくわかる有限要素法/asl_template.ppt)
|日付|章|担当者|本|スライド|
||目次||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-toc.pdf)||
|10/18|第1章|五十嵐|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-01.pdf)|#ref(software_abstraction_01_02.ppt)|
|10/18|第2章|五十嵐|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-02.pdf)|#ref(software_abstraction_01_02.ppt)|
|10/31, 11/1|第3章|吉田|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-03.pdf)|#ref(software_abstraction_03.ppt)|
|11/8|第4章|森田|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-04.pdf)|#ref(software_abstraction_04_1.pptx)|
|11/14|~|~|~|#ref(software_abstraction_04_2.pptx)|
|11/15|第5章|田沢|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-05.pdf)|#ref(software_abstraction_05.pptx)|
|11/21|第6章|M2|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-06.pdf)|#ref(software_abstraction_06_01.pptx) |
|~|~|~|~|#ref(software_abstraction_06_02.ppt)|
|11/22|~|~|~|#ref(software_abstraction_06_03.pptx)|
|~|~|~|~|#ref(software_abstraction_06_04.ppt)|
|11/28, (11/29)|付録A|みんなで!|#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-a.pdf)||
||付録B||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-b.pdf)||
||付録C||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-c.pdf)||
||付録D||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-d.pdf)||
||付録E||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-e.pdf)||
||付録F||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-f.pdf)||
||付録G||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-appendix-g.pdf)||
||索引||#ref(http://aslweb.u-aizu.ac.jp/aslwiki/download/software_abstraction_alloy/software_abstraction_alloy-index.pdf)||
**練習問題 [#fe4dd9b0]
#ref(software_abstraction_appA.docx)
名前、解いた問題、資料を記載すること
資料の添付方法は、Wiki上部の添付でファイルをアップロードし、#ref(...)でそのファイル名を指定する
----
-森田:自由課題(VoIPソフトウェアのモデル図設計)
#ref(software_abstraction_ex_morita.pptx)
-田沢:古典的パズル(Halmosの握手問題・ヤギ、キャベツ、狼)
#ref(software_abstraction_appA_m5141106.ppt)
-五十嵐:単純なモデルを拡張する(囚人の割り当て)
#ref(software_abstraction_A.2.3_m5141119.ppt)
-佐藤:古典的パズル(床屋のパラドックス)
#ref(software_abstraction_A33_s1160102.pptx)
-吉田:論理の問題(単純木・スパニング木・リング・非循環無向グラフ)
#ref(software_abstraction_A1_5-8_m5141146.pptx)
-長谷川:古典的パズル(驚くような3段論法)
#ref(software_abstraction_ex_A.3.1_s1170120.ppt)
-大内 : 単純なモデルを拡張する(電話網内のスイッチング接続)
#ref(software_abstraction_A21_s1170007.ppt)
-大塚 : 論理の問題 (二項関係の性質)
#ref(software_abstraction_A1_1_s1170008.ppt)
**備考 [#t7fbea8c]
-参考書
--なっとくする集合・位相
---http://www.amazon.co.jp/%E3%81%AA%E3%81%A3%E3%81%A8%E3%81%8F%E3%81%99%E3%82%8B%E9%9B%86%E5%90%88%E3%83%BB%E4%BD%8D%E7%9B%B8-%E3%81%AA%E3%81%A3%E3%81%A8%E3%81%8F%E3%82%B7%E3%83%AA%E3%83%BC%E3%82%BA-%E7%80%AC%E5%B1%B1-%E5%A3%AB%E9%83%8E/dp/4061545345/ref=sr_1_11?s=books&ie=UTF8&qid=1318300161&sr=1-11
--数学ガール-ゲーデルの不完全性定理
---http://www.amazon.co.jp/%E6%95%B0%E5%AD%A6%E3%82%AC%E3%83%BC%E3%83%AB-%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86-%E7%B5%90%E5%9F%8E-%E6%B5%A9/dp/4797352965/ref=sr_1_5?ie=UTF8&qid=1318300070&sr=8-5
-参考ページ
--Alloy解析器(Alloy Analyzer)
---http://alloy.mit.edu
--書籍の補足資料と例
---http://softwareabstractions.org/
ページ名: