k-sunako/category_theorem

機械学習セミナー

abscract

expected

機械学習の基礎理論を学ぶことである。基礎理論の前提としてある確率論も併 せて勉学の対象となる。

resources

• スピヴァックデヴィッド I - みんなの圏論: 演習中心アプローチ

artifacts

• 演習問題のレポート

badget

• iPX 08:00 - 09:00

schedule/tasks

NEXT 第1章 生成的効果：順序とガロア接続

第2章 資源理論：モノイダル擬順序と豊穣化

第3章 データベース：圏，関手，普遍的構成

第4章 協調設計：プロ関手，圏化，モノイダル圏

第5章 信号流れ図：prop，表示，証明

第6章 電気回路：ハイパーグラフ圏とオペラッド

第7章 振る舞いの論理：層，トポス，内部言語

time tracking

this week

Headline	Time
Total time	0:30
schedule/tasks	0:30
\_ 第1章 生成的効果：順序とガロア接続		0:30

this month

Headline	Time
Total time	0:50
schedule/tasks	0:50
\_ 第1章 生成的効果：順序とガロア接続		0:50

references