「math.CT」カテゴリーアーカイブ

The Compositional Structure of Bayesian Inference

投稿日: 2023年5月11日 作成者: jarxiv

要約 タイトル：ベイズ推論の構成的構造 要約：ベイズの法則は、新しい証拠に基づい … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, math.CT, math.PR | The Compositional Structure of Bayesian Inference はコメントを受け付けていません

Algebraic and Geometric Models for Space Networking

投稿日: 2023年4月4日 作成者: jarxiv

要約 タイトル：宇宙ネットワークの代数的および幾何学的モデル 要約： &#821 … 続きを読む →

カテゴリー: 16Y60 (Secondary), 55N31, cs.LG, cs.NI, math.AT, math.CT | Algebraic and Geometric Models for Space Networking はコメントを受け付けていません

A Formalization of Operads in Coq

投稿日: 2023年3月17日 作成者: jarxiv

要約 プログラミング言語内での実行の正確性について最高レベルの保証を提供するもの … 続きを読む →

カテゴリー: cs.CL, cs.PL, math.CT | A Formalization of Operads in Coq はコメントを受け付けていません

An algebraic approach to translating Japanese

投稿日: 2023年3月13日 作成者: jarxiv

要約 Lambek の pregroups と言語の構成分布モデルのフレームワー … 続きを読む →

カテゴリー: cs.CL, math.CT | An algebraic approach to translating Japanese はコメントを受け付けていません