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

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

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

参照用 記事

雑記/備忘

ブロックラムダ式

抽象的なセッティングで議論していても、最後は結局“具体的な計算”に頼ることはよくあります。具体的な計算には(インフォーマルな)ラムダ式/ラムダ計算が使われることが多いでしょう。具体的な計算をできるだけ楽にするために、ラムダ式の記法を工夫して…

長さが1のタプルと長さが0のタプル

昨日の記事「タプル1変数関数と多変数関数」の続きです。タプル1変数関数と多変数関数の区別なんて意識しないのが普通だと思いますが、単一の値 x と、その値だけを含む長さ1のタプル [x] って区別してますか? あるいはまた、長さ0のタプル [] って、この世…

タプル1変数関数と多変数関数

昨日(2020年11月28日)困惑していた方がいたのでフォロー記事。内容は一般的なので、このブログに書きます。タプル1変数関数と多変数関数を区別しなければならない状況として、複線形写像の話をして、最後に復圏と多圏に少し触れます。内容: 多値と多引数 …

アレンジメント計算 8: 計算練習

前回の「アレンジメント計算 7: AlmostSurelyEqual」において、二段ASE〈two-step ASE〉という概念を導入したのですが、この後あれは使わないかもなー(使う可能性も多少はあるけど)。まるっきり無駄だったというのもナンダカラ、計算練習の題材に使おう、…

アレンジメント計算 6: 用語・記法の整理

先に進む前に、用語・記法の整理をしておきます。既に、気になるオーバーロード/コンフリクト、記号の乱用が幾つか出てきているので、これらに注意を促しておきます。内容: 正規表現 確率測度、確率分布、条件付き確率 周辺、同時、条件、反転 確率変数、…

アレンジメント計算 5: リンク積

アレンジメント図は、幾つかのアレンジメントをワイヤーで繋いだ形をしています。ワイヤーで繋ぐとは何なのでしょうか? ワイヤーで繋ぐ操作に定式化を与えますが、この記事で完全な定義にまでは至っていません。内容: アレンジメントと因子グラフ 二部アレ…

アレンジメント計算 4: アレンジメント

アレンジメントは、三角形*1から何本かの脚が生えた図形、そしてその図形で表現される圏論的対象物です。今回はアレンジメントに対する操作と、その操作の絵図表現/テキスト表現について説明します。この記事での図の描画方向は「アレンジメント計算 1: 確…

アレンジメント計算 3: 絵算の基本技法

「アレンジメント計算 1: 確率グラフィカルモデル」にて: 次回は、Arrgmnt(P) の代数構造について述べる予定です。 えーと、第3回ですが、まだ基本的な話が続きます。絵算の基本事項で、今まで(このブログでは)明示的に語ってなかったことを補足します。…

アレンジメント計算 2: 簡単な実例と注意事項

「アレンジメント計算 1: 確率グラフィカルモデル」にて: 次回は、Arrgmnt(P) の代数構造について述べる予定です。 この予定は変更します。説明のための事例が欲しいので、簡単な事例を挙げます。事例を理解するには、圏論的確率論の予備知識は要りません…

忘却関手は難しい

昨日の記事「圏論的線形代数をもう少し: 自由ベクトル空間の圏」では、忘却関手という概念を使っています。昨日の記事での「忘却関手」は、ベクトル空間に台集合を対応させるものでしたが、他に次のような例もあります。 モノイドに、結合法則を要求しない…

圏論的線形代数をもう少し: 自由ベクトル空間の圏

昨日の記事「圏論的線形代数とフレームの話」の続きとして、自由ベクトル空間の圏を作ってしまいましょう。有限次元の自由ベクトル空間の圏は使い勝手が良い圏で、線形代数の難所であるテンソル積も比較的容易に構成できます。内容: 自由ベクトル空間の圏 …

圏論的線形代数とフレームの話

某所で圏論的線形代数の話をしたのですが、いきなり圏論バキバキでは面食らうだろうと思い、次のような方針にしました。 慣用の用語・記法は尊重する。 部分集合という概念を使う。 有限次元ベクトル空間に限定する。 忘却関手を強調しない。 これは、常識的…

指標モジュールの話を(いつか)したい

「多相関数: 補遺」にて: 多相関数、パラメトリック性/アドホック性、型クラスの正確な定式化には、かなりの抽象化が必要です。曖昧で錯綜した印象は、抽象化が足りてないからでしょう。ここらの話題も気が向いたら書くかも知れません(誰も興味なさそう…

Disintegrationは脱積分でよさそう

たまに disintegration という言葉に出会うのですが、辞書的な意味は: 分解、分裂、崩壊、風化作用、粉末化 とかです。が、integration が積分で、それに dis が付いたような気がします。気がするだけでよく分からないので、disintegration をなんと訳すの…

多相関数: 補遺

2020年9月に書いた一連の記事があります。 蒸し返し: アドホック多相 vs パラメトリック多相 多相関数の「パラメトリック性 vs 満足性」 多相関数と型クラス これらは多相関数に関する記事です。昨日の記事も多相関数を扱っています。 多相関数と依存型をち…

ボブ・クック教授による、対称とは限らないモノイド閉圏における絵の描き方

だいぶ以前の論文なのですが: Title: Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus Authors: Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh Submitted: 2 Feb 2013 Pages: 29p URL: https://ar…

日常論理の数理論理

日常論理とは、我々の生活において、「もっともだ」とか「一理ある」として受け入れられている推論の体系だとしましょう。ムチャクチャな物言いとかトンデモな議論とかは相手にしません。いちおうは「論理」ですからね。常識的・世間的に「まーまー妥当だ」…

ベイズ確率論とデータベース理論の統合: カップル化可能圏

今年(2020年)の6月にマルコフ圏というものを知りました。 マルコフ圏 A First Look -- 圏論的確率論の最良の定式化 マルコフ圏の直接的応用は圏論的確率論(「圏論的確率論におけるCタイプとAタイプ」参照)ですが、他の分野への応用もありそうです。「マ…

ハイパーグラフ圏 一瞥

昨日の記事「ダンジョン圏における確率伝搬法」に出てきたダンジョン圏〈dungeon category〉は、最近はハイパーグラフ圏〈hypergraph category〉と呼ぶことが多いようです。(個人的には「ダンジョン圏」の語感が好きですが。) nLab項目: https://ncatlab.…

ダンジョン圏における確率伝搬法

昨日の記事「確率グラフィカルモデルの背後にある圏は何か?」の課題にドンピシャで役立ちそうな論文を見つけました。 Title: Belief propagation in monoidal categories Author: Jason Morton Pages: 8p URL: https://arxiv.org/abs/1405.2618 短い論文で…

確率グラフィカルモデルの背後にある圏は何か?

確率的不確定性を伴う状況の記述や分析の手法に確率グラフィカルモデル〈probabilistic graphical model〉があります。ベイズネットワーク〈Bayesian network〉が有名です。ベイズネットワークは有向グラフを使いますが、無向グラフを使うグラフィカルモデル…

接続係数はなぜテンソルじゃないのか(テンソルなんだけど)

多様体の話で接続係数というものが出てきます。「接続係数はなぜテンソルじゃないのですか?」と聞かれると困ってしまいます。なぜなら、接続係数はテンソルだからです。「接続係数はテンソルである」という事実を考慮すると、質問は次の形になります。 接続…

随伴系の反転置写像とモナドのクライスリ拡張

用語と記号のオーバーロード〈多義的使用〉はホントに悩みのタネです。混乱と誤解を避けるためにオーバーロードはやめようと思うことは多いのですが、あまり律儀にオーバーロード解決すると用語と記号のインフレーション〈急激な増加〉を引き起こして現実的…

丸く収まらなかった基底とフレーム

今年の8月に「基底とフレーム、丸く収まる妥協案」という記事を書きました。その記事で、混同されがちな3つの概念を区別して、それぞれに別な名前を与えました。「うまくいった」と思ったのですが、まだ問題がありました。内容: 定義が狭すぎた 準備 再定義…

論理代数としての単位区間と確率的論理

「ベイズ確率論、ジェイコブス達の新しい風」で紹介したチャンネル方式〈the channel perspective, the channel approach〉では、状態(確率測度の別名、確率分布でも同義)と述語〈ファジー述語〉を双対的に扱います。述語はもちろん状態ではありません。ジ…

マルコフ核の随伴公式とフビニの定理

昨日の「拡張スタイルのジリィモナド」にて: 随伴公式は積分のフビニの定理です。ただし、マルコフ核が絡むと、単純なフビニの定理と少し違った形になります。単純なテンソル積測度ではなくて、依存テンソル積とでも呼ぶべき構成が必要です。が、この話題は…

拡張スタイルのジリィモナド

「絵算で見る、拡張スタイルのモナドとモノイド・スタイルのモナド」にて: 拡張スタイルは ...[snip]... モナド法則の証明がモノイド・スタイルより容易になる場合があります。 このことの実例として、ジリィモナドを拡張スタイルで記述してみましょう。モ…

絵算で見る、拡張スタイルのモナドとモノイド・スタイルのモナド

「Haskellの二重コロン「::」とバインド記号「>>=」の説明」で、拡張スタイルのモナドとモノイド・スタイルのモナドの話題が出ました。この話題はだいぶ昔に書いたことがありますが、絵算の応用として「拡張スタイル ←→ モノイド・スタイル」の相互変換をし…

Haskellの二重コロン「::」とバインド記号「>>=」の説明

圏論はある程度知っているけど、Haskellの記号との対応がよく分からない人のための説明です。内容: 二重コロン バインド記号 適用と結合 二重コロンHaskell風構文で f::A -> B と書かれていたら、二重コロンは単一コロンにして f:A → B と解釈すればいい --…

測定と尺度

長めのCha話会の記録用メモ(1トピックのみ)。内容: アフィン空間の圏 群の主等質空間 測定の分類 アフィン空間の圏圏の定義と、著名な幾つかの圏(例えば↓)については知っているものとします。 Set(集合と写像の圏) Ord(順序集合と単調写像の圏) Vec…