profunctor の線形分解
$ \newcommand{\CC}{\mathbb{C}} \newcommand{\DD}{\mathbb{D}} \newcommand{\EE}{\mathbb{E}} \newcomm...
0
0
Comment0
13 search resultsShowing 1~13 results
Stocked
You need to log-in
4444 puzzle in Haskell
4444 puzzle とは $4$つの$4$と四則演算$+,-,\times,\div$また，べき乗$a^b$によって$1$から$100$までの自然数を作成するパズルである． (((4+4)-...
0
0
Comment0
マイナス×マイナスがプラスの値になるワケ
-(-a)=a の証明 $-(-a)=a$ を示すにはいくつかの前準備が必要である． 逆元の一意性 任意の$a$に対して, $a$の逆元はただ一つである. 証明 $a$の逆元を$b,c$とする．...
0
0
Comment0
paiza Haskell で mod7占い
mod7占い (paizaランク S 相当) 問題はここから mod 7 の足し算 整数$a$を$7$で割ったあまりを$\bar{a}$と書くことにすると， \bar{a} + \bar{b} ...
4
0
Comment0
モノイダル圏とプロ函手と表現と
圏で定義された群 モノイド$(\mathbb{1},\cdot,id_*)$であって，全ての射が同型射であるとき群という． $\mathbb{G}:=(\mathbb{1},\cdot,id_*...
0
0
Comment0
Day畳み込みの保存量
プロ函手の自然変換 $(F\star G)_\mathscr{D}^\mathscr{C},R_\mathscr{D}^\mathscr{C}\in\mathbb{Prof}(\mathscr{...
0
0
Comment0
Day畳み込みの結合律
結合律 前回定義したDay畳み込みには単位元が存在した． 今回はDay畳み込みには結合法則が成り立つことを確認する． 圏$\mathscr{C,D}$をモノイダル圏とし，$F_\mathscr{...
0
0
Comment0
モノイダルプロ函手のDay畳み込み
モノイダル圏 モノイダル圏$\mathscr{M}$とはモノイダル函手$\oplus:\mathscr{M}\times\mathscr{M}\rightarrow\mathscr{M}$が定ま...
0
0
Comment0
モノイドとプロ函手~表現論を齧ろう~
自己射はモノイドを構成する． モノイドとは 集合$A$と演算$(\cdot):A\times A\rightarrow A$の組$(A,\cdot)$であり，次を満たすものを言う． 演算が結合的...
0
0
Comment0
米田埋め込みは単位的プロ函手
米田埋め込み 米田埋め込みを \begin{align} \Delta^\mathbb{C}_{(a)}&:=\text{Hom}_\mathbb{C}(-,a)\\ \Delta^{(...
1
0
Comment0
コエンドとエンドは和と積の関係に似ている．
記法について． いままではコエンド$\int^{c\in\mathbb{C}}H(c,c)$を積分として \int H(c,c)dc エンド$\int_{c\in\mathbb{C}}H(c,c...
0
0
Comment0
乗法的積分と米田の補題
乗法的積分 リーマン積分の定義式を変形していくと次の結果が得られる． \begin{align} \int^b_a f(x) dx &= \lim_{n \rightarrow \inf...
0
0
Comment0
Haskell で AtCoder Beginners Selection
PracticeA - Welcome to AtCoder 問題 main :: IO () main = do a <- readLn bc <- fmap (read :: S...
1
1
Comment0
13 search resultsShowing 1~13 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles