現在はYouTubeのおかげで情報量の多い動画コンテンツでいろいろなことができるようになり、私の現在の活動方針では主戦場をそちらとしています。なので、ここはほとんど廃墟と化しました。
なぜかGoogleの検索にも引っかからないようですし、ここにいろいろアップしても見に来れる人はYouTubeチャンネル経由ぐらいのようです。ここでの活動はもはや無意味です。いや、それならばちゃんと検索に引っかかる新しいブログサービスを探すべきなのかもしれませんが……そもそも限られた人向けコンテンツなので、どうせならYouTubeで動画化リメイク企画のようなことをする方が効率も効果も高いのではないかと思います。
YouTubeに乗せないPDFデータ等の置き場としては今後も使用していくつもりです。
なにはともあれ、今後ともよろしくお願いします。
タイトルの通りです。
講演の配信アーカイブはこちら。
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
