ゼミ・輪講 (2017年度後学期)†
2017年度後学期は以下のゼミと輪講を行います.
岡本研ゼミ†
火曜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:B1渡邊,栢沼
- 12/8:休み
- 12/12:休み
- 12/15:北野,滝
- 12/19:東,寺尾
- 12/22:中村,B4渡邉
院輪講†
月曜1限 @2階のセミナー室
読む本
- Richard Stanley, Algebraic Combinatorics, Springer, 2013.
割当
- 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輪講†
村松研,高橋(里)研と合同 火曜4限 @
読む本
- 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:
- Chapter 6: Some Limit Theorems
- Chapter 7: Markov Chains
- Chapter 8: Continuous Markov Processes
最適化輪講†
有志による @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: 滝
論理輪講†
有志による @2階のセミナー室
読む本
- 萩谷昌己,西崎真也,「論理と計算のしくみ」,岩波書店,2007.
ローテーション
割当
- 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): 北野
(文責:岡本吉央)