講義動画のレジュメ: K-Theory, 3
予想した通りボリュームが多くて動画で全部は扱えませんでした. 動画 K-Theory 3: Vector Bundles 2K-Theory 3.5: Vector Bundles 3 レジュメ (pdf)
Mathematics
Boolean algebra v.s. Heyting algebra
【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む
講義動画のレジュメ: K-Theory, 1-2
先日K-Theoryの一人輪講シリーズを始めました. どうせならということで, 実験的にレジュメを共有してみようと思います (忙しいと作れないこともあるかも知れませんが). 興味をお持ちの方は参考にしてみてください. 動 … 続きを読む
[book review] Advanced Techniques in Applied Mathematics
こういうタイトルの本を頂きました。読む時間がなかなか取れなくて申し訳ないなぁと思いながら数週間経ったんですが、先ほど、なんとかModelingの章の1/4くらいだけ読んでみました。 この本ではチャプターごとに著者が違い、 … 続きを読む
orientation
The concept of orientation looks so magical if we think of various formulations all describe exactly the same … 続きを読む
common cellular structures on a topological space and their properties
Despite the cellular structure on a space is a fundamental ingredients of algebraic topology, this topic seems … 続きを読む