- 計算による数理科学の展開, Video Archives -

プロジェクトのホーム (訂正等はこちらに掲示されることもあります)

講義: 渕野昌
内容: 強制法入門(連続体仮説の独立性証明など)
予備知識:
形式: 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)


参考文献およびリンク

  1. スライド
  2. テキスト
$Id: 2007-09-04-ls-fuchino.html,v 1.3 2007/09/27 05:19:17 takayama Exp $