#author("2017-11-08T13:10:40+09:00","default:contest","contest") #author("2017-12-19T16:18:12+09:00","default:contest","contest") * ゼミ・輪講 (2017年度後学期) [#ye8b42a4] 2017年度後学期は以下のゼミと輪講を行います. ** 岡本研ゼミ [#l4c91dbb] 火曜2限,金曜1限 @2階のセミナー室 -10/17:栢沼,北野 -10/20:滝,菅 -10/24:陳,橋渡 -10/27:蛭田,後田多 -10/31:休み -11/3:休み -11/7:東,寺尾 -11/10:中村,B4渡邉 -11/14:栢沼,北野 -11/17:滝,菅 -11/28:陳,橋渡 -12/1:蛭田,後田多 -12/5:M1渡邊,栢沼 -12/8:休み -12/12:休み -12/15:北野,滝 -12/19:東,寺尾 -12/22:中村,B4渡邉 -1/5:東,中村,B4渡邉 -1/9:菅,陳 -1/12:橋渡,蛭田 -1/16:後田多,M1渡邊 -1/19:寺尾,菅 -1/23:陳,橋渡 -1/26:蛭田,後田多 -1/30:M1渡邊,寺尾 ** 院輪講 [#bbea639a] 月曜1限 @2階のセミナー室 読む本 -Richard Stanley, Algebraic Combinatorics, Springer, 2013. --著者による情報 http://www-math.mit.edu/~rstan/algcomb/ 割当 -Preface + p.1 ~ p.4: 滝 -p.5 ~ 6, p.11 ~ 12: 後田多 -p.12 (2.1 Lemma) ~ p.14: 栢沼 -p.14 (2.4 Corollary) ~ p.17: 北野 -p.21 ~ p.23: 菅 -p.24 ~ p.27: 陳 -p.31 ~ p.34: 橋渡 -p.34 (4.4 Proposition) ~ p.37: 蛭田 -p.37 (4.7 Theorem) ~ p.40: 渡邊 -p.43 ~ p.47:滝 -p.47 ( 5.7 Lemma ) ~ p50:後田多 -p.50 ( 5.10 Theorem ) ~ p.53:栢沼 -p.57 ~ p61:北野 -p.61 ( 6.4 Example ) ~ p.64:菅 -p.64 ( 6.8 Lemma ) ~ p.67:陳 -p.67 ( 6.11 Theorem ) ~ p.69:橋渡 -p.70 ~ p.72:蛭田 ** B輪講 [#vc9cfaa0] 村松研,高橋(里)研と合同 火曜4限 @ 西4-103 読む本 -Y. A. Rozanov, Probability Theory: A Concise Course, Revised English Edition Translated & Edited by Richard A. Silverman, Dover, 1977. ローテーション -小島→小藤田→松田→東→寺尾→中村(健)→渡邉→李→風折→木村→中村(大)→泉 割当 -Chapter 4: Random Variables --4.1: 渡邉 --4.2: 李 --4.3: 風折 --4.4: 木村 --4.5: 中村(大) --4.6: 泉 --4.7: 小島 --4.8: 小藤田 --4.9: 松田 --4.10: 東 --4.11: 寺尾 --4.12: 中村(健) --4.13: 渡邉 --4.14: 李 --4.15: 風折 --4.16: 木村 --4.17: 中村(大) --4.18: 泉 --4.19: 小島 --4.20: 小藤田 --4.21: 松田 --4.22: 東 --4.23: 寺尾 --4.24: 中村(健) -Chapter 5: Three Important Probability Distributions --5.1: 渡邉 --5.2: 李 --5.3: 風折 --5.4: 木村 --5.5: 中村(大) --5.6: 泉 --5.7: 小島 --5.8: 小藤田 --5.9: 松田 --5.10: 東 --5.11: 寺尾 --5.12: 中村(健) --5.13: 渡邉 --5.14: 李 --5.15: 風折 (以下変更があるので注意) --5.16: 木村 -Chapter 6: Some Limit Theorems --6.1: 中村(大) --6.2: 泉 --6.3: 小島 --6.4: 小藤田 --6.5: 松田 --6.6: 東 --6.7: 寺尾 --6.8: 中村(健) --6.9: 渡邉 --6.10: 李 --6.11: 風折 --6.12: 木村 --6.13: 中村(大) --6.14: 泉 --6.15: --6.16: --6.17: -Chapter 7: Markov Chains --7.1: --… --7.16: -Chapter 8: Continuous Markov Processes --8.1: --… --8.10: ** 最適化輪講 [#ybe676ec] 有志による 月曜3限 @2階のセミナー室 読む本 -室田一雄,塩浦昭義,「離散凸解析と最適化アルゴリズム」,朝倉書店,2013. 割当 -p.2 ~ p.10 命題1.7まで: 滝 -p.10 (1.3 最小木の最適性条件)~ p.15 : 栢沼 -p.17 ~ p.22(命題2.4): 渡邊 -p.22(終わり)~ p.26(2.3前まで): 蛭田 -p.26(2.3 最短路のアルゴリズム) ~ p.30:陳 -p.32 ~ p.39(定理3.6まで): 橋渡 -p.39 ~ p.45: 滝 ** 論理輪講 [#v0b7b4d0] 有志による 金曜3限 @2階のセミナー室 読む本 -萩谷昌己,西崎真也,「論理と計算のしくみ」,岩波書店,2007. --訂正と補足:http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/shikumi/errata.html ローテーション -後田多→蛭田→北野→栢沼→寺尾 割当 -1章は各自読む -章末問題は各自でやる -2.1(a)-(c) まで (pp.15-22) : 後田多 -2.1(d)-(e) の定理2.2の前まで (pp.22-29): M1渡邊 -2.1(e) の定理2.2からp34の推論規則の前まで (pp.29-34): 蛭田 -p.34の推論規則から2.1(g)の終わりまで (pp.34-40): 北野 -2.1(h)から2.2(a)の終わりまで (pp.40-48): 栢沼 -2.2(b)からp.54の7行目まで (pp.48-54): 寺尾 -p54の8行目から2.2(c)まで (pp.54-60): 後田多 -2.2(d) (pp.60-65): 蛭田 -2.2(e)から2.2(f)の代入の終わりまで (pp.65-71): 北野 -2.2(f)の単一化から2.2の終わりまで (pp.71-77): 栢沼 -2.3から3.1(a)の終わりまで (pp.77-87): 寺尾 -3.1(b)すべて (pp.87-94): 後田多 -3.1(c)すべて (pp.95-102): 蛭田 -3.1(d)から3.2(c)の終わりまで (pp.102-107): 北野 -3.2(d)から3.3(a)タブロー法の終わりまで (pp.107-115): 栢沼 -3.3(a)計算木論理から3.3(d)の終わりまで (pp.115-122): 寺尾 -3.3(e)から3.4(a)の終わりまで (pp.122-128): 後田多 -3.4(b)すべて (pp.128-134): 蛭田 -3.4(c)から4.1(a)の終わりまで (pp.134-145): 北野 RIGHT:(文責:岡本吉央)