| 講義: 渕野昌 | |
| 内容: 強制法入門（連続体仮説の独立性証明など） | |
| 予備知識: | |
 |
形式: QuickTime (Version 7以上) |
| ソース: 数学基礎論サマースクール2007, 集合論のブール値モデルと強制法 2007年9月4日--9月7日, 静岡大学 | |
| 要約: | |
| 講演者よりのメッセージ: | |
キーワード: serial=0031, type=講義
ライセンス: ダウンロードした映像の再配布はOK. ただし付属のノートおよび資料, このページとともに再配布すること. また一切の変更は許可されない. (creative commons, 表示-改変禁止 2.1 ) 詳しい説明
講義資料のダウンロード (PDF)
| ノート (準備中, 参考文献のリンクも参照. , @s/2007/09 未公開)) |
|---|
講義映像
Windows上で Streaming で閲覧している場合, 停止するときは, 停止ボタンを必ずおしてください. x で停止しないように. ネットワークの接続速度が極端に遅くなる場合があります.)右クリックでダウンロード保存可能です.
[111-1]
| Streaming (96M, 約 48 min) | ダウンロード(低解像度, 96M) | ダウンロード(高解像度, 260M) |
|---|
[111-2]
| Streaming (17M, 約 8 min) | ダウンロード(低解像度, 17M) | ダウンロード(高解像度, 74M) |
|---|
[111-3]
| Streaming (100M, 約 50 min) | ダウンロード(低解像度, 100M) | ダウンロード(高解像度, 269M) |
|---|
[111-4]
| Streaming (99M, 約 49 min) | ダウンロード(低解像度, 99M) | ダウンロード(高解像度, 370M) |
|---|
[111-5]
| Streaming (3M, 約 1 min) | ダウンロード(低解像度, 3M) | ダウンロード(高解像度, 15M) |
|---|
[111-6]
| Streaming (100M, 約 50 min) | ダウンロード(低解像度, 100M) | ダウンロード(高解像度, 222M) |
|---|
[111-7]
| Streaming (14M, 約 7 min) | ダウンロード(低解像度, 14M) | ダウンロード(高解像度, 62M) |
|---|
[111-8]
| Streaming (96M, 約 48 min) | ダウンロード(低解像度, 96M) | ダウンロード(高解像度, 382M) |
|---|
[111-9]
| Streaming (10M, 約 5 min) | ダウンロード(低解像度, 10M) | ダウンロード(高解像度, 52M) |
|---|
参考文献およびリンク
$Id: 2007-09-04-ls-fuchino.html,v 1.3 2007/09/27 05:19:17 takayama Exp $