差分
この文書の現在のバージョンと選択したバージョンの差分を表示します。
|
lectures [2010/09/14 21:05] mlabadm |
lectures [2011/11/13 15:28] (現在) mlabadm [担当 宮野 悟 （理７－００７教室 １３：００－１４：３０）] |
||
|---|---|---|---|
| ライン 1: | ライン 1: | ||
| - | ====== 2010年度 形式言語理論（金曜３限） ====== | + | ====== 2011年度 形式言語理論（0510002: 金曜３限） ====== |
| ライン 5: | ライン 5: | ||
| - | ===== 担当 宮野 悟 （駒場１２２５教室 １３：００－１４：３０）===== | + | ===== 担当 宮野 悟 （理７－００７教室 １３：００－１４：３０）===== |
| **講義日程について** | **講義日程について** | ||
| - | ^2009年10月9日|第1回| | + | ^2011年10月7日|第1回| |
| - | ^2009年10月16日|第2回| | + | ^2011年10月14日|第2回| |
| - | ^2009年10月23日|第3回| | + | ^2011年10月21日|第3回| |
| - | ^2009年10月30日|第4回| | + | ^2011年10月28日|第4回| |
| - | ^2009年11月6日|第5回| | + | ^2011年11月4日|第5回| |
| - | ^2009年11月13日|休講| | + | ^2011年11月11日|休講| |
| - | ^2009年11月27日|第6回| | + | ^2011年11月18日|第6回| |
| - | ^2009年12月4日|第7回| | + | ^2011年12月2日|第7回| |
| - | ^2009年12月11日|第8回| | + | ^2011年12月9日|第8回| |
| - | ^2009年12月18日|第9回| | + | ^2011年12月16日|第9回| |
| - | ^2010年1月8日|休講| | + | ^2012年1月6日|第10回| |
| - | ^2010年1月22日|第10回| | + | ^2012年1月13日|第11回| |
| - | ^2010年1月27日|第11回| | + | ^2011年1月20日|第12回| |
| + | ^2011年1月27日|第13回| | ||
| **講義資料のダウンロード** | **講義資料のダウンロード** | ||
| - | {{20101008lecture2010.pdf|}} | + | {{formal_language_lecture2011.pdf|}} |
| *パスワードは講義で配布します． | *パスワードは講義で配布します． | ||
| ライン 33: | ライン 33: | ||
| - | ====== 2008年度DNA情報解析特論（火曜２限） ====== | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== 担当 宮野 悟 ===== | ||
| - | |||
| - | * 講義のテキスト | ||
| - | * 倉田博之，宮野 悟（訳），Uri Alon著：システム生物学入門－生物回路の設計原理．共立出版, 2008. | ||
| - | * 休講のお知らせ | ||
| - | * 2009年1月20日（火）は休講です． | ||
| - | * 講義レポート課題 | ||
| - | * 締切 2009年2月9日（月）17:00 | ||
| - | * 提出方法：メールで<miyano@ims.u-tokyo.ac.jp>まで送付 | ||
| - | * **レポート課題のダウンロード** {{2008WS.pdf|}} | ||
