![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
#author("2017-07-10T13:17:18+09:00","","") #author("2017-07-10T13:48:43+09:00","","") * ゼミ・輪講 (2017年度前学期) [#e87eed2d] 2017年度前学期は以下のゼミと輪講を行います． ** 岡本研ゼミ [#yeebf0d0] 月曜4限，木曜5限 ＠2階のセミナー室 -4/13木：岡本 -4/17月：東，寺尾 -4/20木：中村，B4渡邉 -4/24月：栢沼，北野 -4/27木：滝，菅 -5/1月：陳，橋渡 -5/4木：休み -5/8月：蛭田，M1渡邊 -5/11木：後田多，東 -5/15月：寺尾，中村 -5/18木：休み -5/22月：B4渡邉，栢沼 -5/25木：北野，滝 -5/29月：菅，陳 -6/1木：橋渡，蛭田 -6/5月：M1渡邊，後田多 -6/8木：東，寺尾 -6/12月：休み -6/15木：休み -6/19月：中村，B4渡邉 -6/22木：栢沼，北野 -6/26月：滝，菅 -6/29木：陳，橋渡 -7/3月：休み -7/6木：休み -7/10月：蛭田，M1渡邊 -7/13木：後田多，東 -7/17月：休み -7/20木：休み -7/24月：寺尾，中村 -7/27木：休み ** 院輪講 [#yc8951ef] 火曜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： 渡邊 ** B輪講 [#y3f4081e] 金曜3限 村松研，高橋(里)研と合同 ＠西4-103 読む本 -Y. A. Rozanov, Probability Theory: A Concise Course, Revised English Edition Translated & Edited by Richard A. Silverman, Dover, 1977. ローテーション -小島→小藤田→松田→東→寺尾→中村(健)→渡邉→李→風折→木村→中村(大)→泉 割当 -Chapter 1: Basic Concepts --1.1: 小島 --1.2: 小藤田 --1.3: 松田 --1.4: 東 --1.5: 寺尾 --1.6: 中村(健) --1.7: 渡邉 --1.8: 李 --1.9: 風折 --1.10: 木村 --1.11: 中村(大) --1.12: 泉 --1.13: 小島 --1.14: 小藤田 --1.15: 松田 --1.16: 東 --1.17: 寺尾 -Chapter 2: Combination of Events --2.1: 中村(健) --2.2: 渡邉 --2.3: 李 --2.4: 風折 --2.5: 木村 --2.6: 中村(大) --2.7: 泉 --2.8: 小島 --2.9: 小藤田 --2.10: 松田 --2.11: 東 --2.12: 寺尾 --2.13: 中村(健) --2.14: 渡邉 --2.15: 李 --2.16: 風折 --2.17: 木村 --2.18: 中村(大) --2.19: 泉 -Chapter 3: Dependent Events --3.1: 小島 --3.2: 小藤田 --3.3: 松田 --3.4: 東 --3.5: 寺尾 --3.6: 中村(健) --3.7: 渡邉 --3.8: 李 --3.9: 風折 --3.10: 木村 --3.11: 中村(大) --3.12: 泉 --3.13: 小島 --3.14: 小藤田 --3.15: 松田 --3.16: 東 --3.17: 寺尾 --3.18: 中村(健) -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: --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.16: --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: -Chapter 6: Some Limit Theorems --6.1: --… --6.17: -Chapter 7: Markov Chains --7.1: --… --7.16: -Chapter 8: Continuous Markov Processes --8.1: --… --8.10: ** 乱数輪講 [#bb8f39ee] 木曜4限 有志による ＠2階のセミナー室 読む本 -小柴健史，「乱数生成と計算量理論」，岩波書店，2014． 割当 - p.1 から (滝) - p.7 から (北野) - p.12 補題2.2の証明から (後田多) - p.18 2.2から (滝) - p.22 補題2.9から (北野) - p.26 2.3から (後田多) - p.32 3.1.2から (滝) - p.37 3.1.6から (北野) - p.42 3.3から (後田多) - p.46 3.4から (滝) - p.49 下から9行目から (北野) - p.52 3.5から (後田多) - p.57 3.7から (滝) - p.60 3.7.3から (北野) - p.63 3.7.4から (後田多) - p.66 定理から (滝) - p.70 定理3.25から (北野) - p.73 下から3行目から (後田多) - p.76 補題3.30から (滝) - p.79 6行目から (北野) - p.81 下から7行目から (後田多) - p.85 3.7.6から (滝) - p.88 補題3.36から (北野) - p.92 7行目からp.95まで (後田多) ** 最適化輪講 [#pa5a2b29] 月曜1限 有志による ＠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： 滝 ** 論理輪講 [#bdd6d93f] 木曜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:(文責：岡本吉央)
