最近のデータ分類とhomotopy persistentな組み合わせ対象について

用途に合う構造 (e.g. 形式や型) を与えたデータは (c.f. モデリング)、蓄積された時に表す意味を解釈しやすい。 現実の世界では全てのデータにこうした構造を与えられる訳ではなく、また個々のデータに構造が与えられ … 続きを読む

Boolean algebra v.s. Heyting algebra

【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む

[book review] Advanced Techniques in Applied Mathematics

こういうタイトルの本を頂きました。読む時間がなかなか取れなくて申し訳ないなぁと思いながら数週間経ったんですが、先ほど、なんとかModelingの章の1/4くらいだけ読んでみました。 この本ではチャプターごとに著者が違い、 … 続きを読む

モノドロミーとは

モノドロミーって何? という話になって, いつもちゃんと答えられない. 考えてみればこの現象について知らないことが多すぎるのだ. 取り合えず考えられることをまとめてみた. 勿論これは暫定的な答えで, 今後改正されるであろ … 続きを読む