タイトルの通りです。
講演の配信アーカイブはこちら。
https://www.youtube.com/watch?v=9xS5o8tVZBU
講演で使用したスライドは後日こちらのすうがく徒のつどい@オンラインの公式サイトの方にアップされる予定です。
https://tsudoionline.netlify.app/03/schedule/
このブログは、
私のtwitterアカウント
や下記YouTubeチャンネルではできないことを補助したりするものです。
このブログの基本方針は「日頃の数学の勉強で気づいたことなどをメモする」です。
ちなみに proper_TAJIRI の proper の由来は当ブログでよく話題にしていた forcing とは関係ありません。
YouTubeチャンネルはこちら
タイトルの通りです。
講演の配信アーカイブはこちら。
https://www.youtube.com/watch?v=9xS5o8tVZBU
講演で使用したスライドは後日こちらのすうがく徒のつどい@オンラインの公式サイトの方にアップされる予定です。
https://tsudoionline.netlify.app/03/schedule/
タイトルの通りです。下のリンクは2022/04/30から開催予定の第3回すうがく徒のつどい@オンラインにて田尻が講演に使用するスライドを作成するために書いた下書きです。
当日聴講する講演の選択の参考にしてください。下記の内容について、全て十分に把握済みで目新しい内容が無い場合、私の講演はあまり有意義なものとは言えないでしょう。
また、当日の講演はYouTubeでの配信及びアーカイブも予定しています。
https://drive.google.com/file/d/1CD7n2u3d34pwraL8mGxgHShCqky0obll/view?usp=sharing
第2回です。chain condition と closure condition が iteration で保存されるための条件に関して論じた節です。ちょっと読み下しが難しい部分がいくつかありましたね……。結果的になんとかできましたが。
他にすべきことがあるので今後の投稿ペースは悪くなると思われます。
https://drive.google.com/file/d/1FkQhMnVbfXuglJQiC_IY-4AQM54tW7Wt/view?usp=sharing
久しぶりの記事投稿です。Baumgartner の Iterated forcing を精読し、初学者向けを想定して内容を日本語で解説したゼミ資料を作っていく企画です。
チャレンジ企画なので完遂できるかまだ現時点では分かりません。私自身の理解と並行してやっているので。不定期更新で原著のセクション分けに基づき全9回を予定しています。
初回は反復強制の定義と基本性質まで。まだなんら面白いところに入っていないので、反復強制初見の方でない限り流し読みで問題ないと思います。
https://drive.google.com/file/d/1TJt8CN4C1ZAXeJDzzlQC-CywjA96Hlj9/view?usp=sharing