このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2022-09-23から1日間の記事一覧

証明のツリー構造も描いてみる

「タルスキーの最小プレ不動点定理(訂正)」において: 証明の流れを完全に追えるように、中間の命題にいちいち名前(ブラケットで囲った文言)を付けて参照することにします。 と、やってはみたのですが、“証明の流れ”がテキストで直列に(シリアライズさ…

タルスキーの最小プレ不動点定理(訂正)

「不動点方程式/不動点不等式と不動点オペレーター」において、タルスキーの最小プレ不動点定理を出しましたが、記述が間違っていたので訂正し、省いていた証明を記します。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}} \newco…