写像対象－型定理

７．７　型定理(Type Theory)

型定理という言葉に戸惑う人も多いことと思う。日本語版のウィキペディアで型理論を検索するとあまりにも短い記述にがっかりするだろう。得られる情報も余りない。しかし、さすがに英語版の方には詳しく書いてある。その記述の中に、圏論との関係についての記述がある。その中で、ジョン・ベル(John Lane Bell)が「圏は、ある種の型定理と見なすことができる」と書いていると紹介されている。その紹介に続いて、対象を型に変更すれば、圏は型定理になるとも書かれている。

対象を型に変えるという表現はどこかで見たような気がしないだろうか。そう、圏論をHaskellに変えるときに使っていた表現だ。なんてことはない。圏論の定理を型定理で解釈したほうが分かりやすい場合があることも経験的にわかっている。そこで、今回は、指数対象で成り立っている定理のいくつかについて、型定理での解釈を試みよう。

例を説明する前にこれまでの復習をしておこう。

\(A \Rightarrow B\)は、ドメイン\(A\)からコドメイン\(B\)への余すところのない、また、重複することのない射の集まり(集合)であった。そして、射の集まりは圏論では対象と見なすことができるので、これに特別な名前を与えて、写像対象と呼んだ。

\(A\)が\(m\)個の要素、\(B\)が\(n\)個の要素から成り立っているとき、射の総数は\(n^m\)である。

射の総数の表し方に似せて、写像対象\(A \Rightarrow B\)を\(B^A\)と書くことにする。\(B^A\)は指数対象と呼ばれる。指数対象が射の集まりであることに注意すると、二つの指数対象\(B^A\)と\(D^C\)が与えられた時、それぞれを構成している射の総数が同じである時、二つの指数対象には1対1の関係が成り立つ。この時、二つの指数対象は同型写像(Isomorphism)が成り立つという意味において同値であるといい、\(B^A = D^C\)と記述することとする。

また、Haskellでは対象は型(タイプ)として表される。指数対象\(B^A\)は型となるが、\(A\)も\(B\)も共に型である。Haskellでは型は小文字で記述されるので、\(a\),\(b\)と記述される。これは型変数とも呼ばれる。指数対象は射の集まりなので、Haskellでは型シグネチャで記述され、\(B^A\)は\(a \rightarrow b\)となる。

二つの指数対象\(B^A\)と\(D^C\)が同値の時、それぞれの型シグネチャは1対1に対応するので、
\begin{eqnarray}
a \rightarrow b \sim c \rightarrow d
\end{eqnarray}
と記述することにする。

それでは例を示すことにしよう。

1) \(A^{B+C}=A^B \times A^C\)

圏論では\(A^{B+C}=A^B \times A^C\)が成り立つ。これを、型定理、即ち、Haskellで解釈してみよう。

\(B+C\)は型定理では\(Either \ b \ c\)である。左辺\(A^{B+C}\)は\(B+C\)を入力とし\(A\)を出力とする射の集まりなので、型定理では\(Either \ b \ c \rightarrow a\)となる。

\(A\)と\(B\)のデカルト積、即ち、\(A \times B\)は型定理では\((a,b)\)である。右辺\(A^B \times A^C\)は二つの射の集まり\(A^B\)と\(A^C\)のデカルト積なので、型定理では\((b \rightarrow a, c \rightarrow a)\)となる。

従って、\(A^{B+C}=(A^B \times A^C)\)は型定理では
\begin{eqnarray}
Either \ b \ c \rightarrow a \sim (b \rightarrow a, c \rightarrow a)
\end{eqnarray}
といっている。

2) \(A^{B^C}=A^{B \times C}\)

左辺\(A^{B^C}\)は、\(C\)という入力から、(\(B\)を入力とし\(A\)を出力とする)射を出力とするような射の集まりなので、型定理では\(c \rightarrow (b \rightarrow a)\)となる。

右辺\(A^{B \times C}\)は、\(B \times C\)という入力から、\(A\)を出力とする射の集まりなので、型定理では\((b,c) \rightarrow a\)となる。

従って、\(A^{B^C}=A^{B \times C}\)は型定理では
\begin{eqnarray}
c \rightarrow (b \rightarrow a) \sim (b,c) \rightarrow a
\end{eqnarray}
となる。これは変数を増やすアンカリー化と変数を減らすカリー化である。

3) \((A \times B)^C=A^C \times B^C\)

左辺\((A \times B)^C\)は、\(C\)という入力から、デカルト積\(A \times B\)を出力とする射の集まりなので、型定理では\(c \rightarrow (a,b)\)となる。

右辺\(A^C \times B^C\)は、\(C\)という入力から\(A\)を出力とする射と\(C\)という入力から\(B\)を出力とする射の集まりのデカルト積なので、型定理では\((c \rightarrow a, c \rightarrow b)\)となる。

従って、\((A \times B)^C=A^C \times B^C\)は型定理では
\begin{eqnarray}
c \rightarrow (a,b) \sim (c \rightarrow a, c \rightarrow b)
\end{eqnarray}
となる。

前回説明したものについても、もう一度、挙げておこう。

4) \(A^0=1\)

左辺\(A^0\)は、\(0\)という入力から\(1\)を出力とする射の集まりである。型定理では、\(0\)は\(Void\)なので、左辺は\(Void \rightarrow a\)となる。

右辺は\(1\)である。型定理では、\(1\)はユニット\(()\)なので、右辺は\(()\)となる。

従って、\(A^0=1\)は型定理では
\begin{eqnarray}
Void \rightarrow a \sim ()
\end{eqnarray}
となる。これは、それぞれの集まりが1であることから、この関係が成り立つことが分かる。

5) \(A^1=A\)

左辺\(A^1\)は、\(1\)という入力から積\(A\)を出力とする射の集まりなので、型定理では\(() \rightarrow a\)となる。

右辺は\(A\)である。型定理では\(a\)となる。

従って、\(A^1=A\)は型定理では
\begin{eqnarray}
() \rightarrow a \sim a
\end{eqnarray}
となる。これは、それぞれの集まりが\(A\)の要素数であることから、この関係が成り立つことが分かる。

6) \(1^A=1\)

左辺\(1^A\)は、\(A\)という入力から積\(1\)を出力とする射の集まりなので、型定理では\(a \rightarrow ()\)となる。これは、終対象への写像であり、写像の総数は1である。

右辺は\(1\)である。型定理では\(()\)となる。

従って、\(1^A=1\)は型定理では
\begin{eqnarray}
a \rightarrow () \sim ()
\end{eqnarray}
となる。これは、それぞれの集まりが\(1\)であることから、この関係が成り立つことが分かる。

最後に型定理とプログラミングの関係を説明した本を紹介しておこう。Benjamin C. PierceのTypes and Programming Languagesがよいと思う(日本語訳も出ているようだ)。彼は、コンピュータ科学の人たちに向けて圏論の本も書いている。

また、最近のホットな話題はホモトピータイプ定理(Hotomopy Type Theory)である。型の概念をさらに抽象化した数学の一分野で、いずれは、コンピュータ科学に大きな影響を及ぼすだろうと期待している。

写像対象－指数対象

７．６　指数対象

写像対象には別の表現法がある。また、こちらの方がよく知られてもいる。それは指数対象と呼ばれる。

対象\(A\)から対象\(B\)への射の集まり\(A \Rightarrow B\)を写像対象と呼んだ。同じように射の集まりなのだが、ドメイン\(A\)を肩に、コドメイン\(B\)をその下に、即ち、\(B^A\)と記述したものを、指数対象という。写像対象と指数対象は記述の仕方が異なるだけで、意味するところは同じである。しかし、指数対象の形で記述すると、何となく馴染みやすい。これは、指数という概念を中学生の時に学ぶので、熟知しているためだ。都合のよいことに、指数対象は指数と概念を共有している。その例を示そう。

ドメイン\(A\)を変えたときに、その指数対象には射がいくつ存在するかを考えてみよう。\(B^A\)は\(A\)から\(B\)への射の集まり(集合)を表している。\(A\)を定めたとき、あるいは\(B\)を定めたとき、その射の集合がどれだけの要素からなりなっているかを考えることにしよう。その時、\(A\)と\(B\)はそれぞれその要素数を表していると考えて解釈する。

まず、ドメイン\(A\)が始対象の時を考えてみよう。Haskellでは始対象は\(Void\)と記述される。これは、ただ一つの関数\(absurd\)という関数を有していた。\(absurd :: Void -> b\)である。Haskellで確認してみる。

Prelude> import Data.Void
Prelude Data.Void> :t absurd
absurd :: Void -> a

始対象は要素を持たないので、その要素数を0である。従って、指数関数が有する射の数は\(B^0\)となる。また、射の数は1個であったので、\(B^0=1\)となる。これは、指数の定義と同じである。

ドメイン\(A\)が要素を一つだけ持つ場合を考えてみよう。これは、Haskellではユニット(Unit)と呼ばれ、\(()\)と記述される。\(()\)からコドメイン\(B\)への射は下図のようになる。

これらの射は定数関数と呼べれるが、その数は\(B\)の要素の数となる。\(A\)の要素は一つなので1とする。そこで、指数関数が有する射の数は\(B^1\)となる。また、射の数は\(B\)個であったので、\(B^1=B\)となる。これも、指数の概念と同じである。

ドメイン\(A\)が要素を二つだけ持つ場合を考えてみよう。これは、ブール値\(\{True, False \}\)となる。このため、指数関数が有する射の数は\(B^2\)となる。射の数は\(B \times B\)個なので、\(B^2=B \times B\)となる。これも、指数の概念と同じである。
一般に、ドメイン\(A\)が要素を\(n\)個持つときは、\(B^n=\prod_{i=1}^{n}B=B \times B \times...B\)となる。

それでは、コドメインの方を変えてみよう。コドメインが空集合の時は、射を定義することができないので、\(0^A=0\)となる。やはり、指数の概念と同じである。

コドメインが一つの要素の時、即ち、終対象、Haskellではユニットの時は、下図のように、関数は一つである。

これから、\(1^A=1\)となる。やはり、指数の概念と同じである。

この章では、数学的な厳密さを追わずに、要素数が同じということで説明したが、次の章ではもう少し数学的な概念を用いて同値であるということを明確にする。

写像対象－Haskellで表現する

７．３　写像対象とは

ここでは写像対象を定義することにしよう。前回の記事で写像対象を説明するための図として下図を提示した。

上図で、\(Z\)は最善の表現であるとすると、これは\(A\)から\(B\)への可能な写像を重なることなくすべてを含むような関数の集合であった。これは、\(A\)と\(B\)が定まれば一意に決まるので、\(A \Rightarrow B\)と表すことにしよう。\(A \Rightarrow B\)を縦方向に、\(A\)を横方向にして、その中央には、\((A \Rightarrow B) \times A\)の値を計算する関数を定義する(先の記事ではこれを表で表したが、より、一般的にするため関数とした)。この関数は一意的に定まるので\(eval\)で表す。即ち、上記の図で、\(Z\)は\(A \Rightarrow B\)で表し、\(g\)を\(eval\)で表す。そして、\(Z\)と\(g\)が空席になったので、\(Z’\)は\(Z\)で\(g’\)は\(g\)で書き換えると、下記の可換図式を得る。

この図で、\(A \Rightarrow B\)は関数の集合である。このため、これは対象とみなすことができる。そこで、これを関数対象と呼ぶことにする。なお、上の図が可換図式であることから、\(g\)には次のことが成り立つことが分かる。
\begin{eqnarray}
g = eval \circ (h \times id)
\end{eqnarray}
である。

そこで、上記の可換図式を圏として表しておこう。
①対象：\(A\), \(B\), \(Z\), \(A \Rightarrow B\), \(Z \times A\), \((A \Rightarrow B) \times A\)
②射：\(h\), \(h \times id\), \(g\), \(eval\)
③ドメイン、コドメイン：\(h : Z\rightarrow A \Rightarrow B\), \(h \times id : Z \times A \rightarrow (A \Rightarrow B) \times A \), \(g : Z \times A \rightarrow B\), \(eval : (A \Rightarrow B) \times A \rightarrow B\)
④恒等射：\(id_A\), \(id_B\), \(id_Z\), \(id_{A \Rightarrow B}\), \(id_{Z \times A}\), \(id_{(A \Rightarrow B) \times A}\)
⑤合成：\(g=eval \circ (h \times id)\)
また、結合律、単位律が成り立っていることは明らかである。

これで、\(A\)から\(B\)への関数の集合を写像対象として圏として表すことができた。

７．４　Haskellで表すための準備

ここで、対象\(Z\)から関数対象\(A \Rightarrow B\)への射(\(h\)をHaskellの型シグネチャを用いて表すことを考えよう。Haskellでは対象は型(Type)タイプで、射は関数で表す。型シグネチャは関数に入力される型と出力される型を示す。
型が分かっているときは大文字で表される型コンストラクタを用いる(例えば、整数という型であればInt)。また、型がその関数が利用される環境によって決まるときは小文字の型変数を用いる。例えば、2入力、1出力の関数\(f\)の型シグネチャは\(f :: (a, b) \rightarrow c\)で表される。ここで、\(a,b\)が入力、\(c\)が出力である。しかし、入力あるいは出力の中で、型が同じものについては、同じ型変数を用いる。例えば、上記で、2入力、1出力とも同じ型の場合には\(f :: (a, a) \rightarrow a\)とかく。

Haskellでは、関数は関数を入力とすることもできる。今、\(f\)が、1入力1出力の関数を入力するとき、\((a \rightarrow b) \rightarrow a \rightarrow c\)となる。この時、\((a \rightarrow b) \)は入力される関数となり、その次の\(a\)はこの関数への入力である。そして、最後の\(c\)は\(f\)の出力である。なお、型が同じ場合には型変数も同じにするのは前と同じである。

簡単な例を示そう。次のプログラムでは、関数\(dbl\)は関数\(f\)によって得られた値を倍にする。

dbl :: (Num b) => (a -> b) -> a -> b
dbl f a = f a * 2

実行してみよう。

Prelude> :load "dbl.hs"
[1 of 1] Compiling Main             ( dbl.hs, interpreted )
Ok, modules loaded: Main.
*Main> dbl length "abc"
6
*Main> dbl sin 5
-1.917848549326277
*Main> dbl sqrt 4
4.0

ある実数の2乗を出力する関数\(f\)を定義してみよう。

f :: Floating a => (a -> a)
f = \x -> x ** 2

これを実行してみよう。

Prelude> :load "outputFunction.hs"
[1 of 1] Compiling Main             ( outputFunction.hs, interpreted )
Ok, modules loaded: Main.
*Main> f 2
4.0
*Main> f 5
25.0
*Main> f 3.4
11.559999999999999
*Main> f (-2.6)
6.760000000000001

二つの数を入力し、その積をを出力する関数\(g\)を定義してみよう。

g :: Num a => ((a, a) -> a)
g = \ (x, y) -> x * y

これを実行してみよう。

*Main> g (3,4)
12
*Main> g (3.5, 7.8)
27.3
*Main> g (-3.6, -2.5)
9.0

このように、関数の入出力で関数を用いているとき、入出力で用いられている関数は写像対象である。

７．５　写像対象をHaskellで表す

関数の入出力に関数を用いることを学んだので、写像対象の可換図式に現れた射\(h\),\(g\)をHaskellの型シグネチャで表すと次のようになる。

h :: z -> (a -> b)
g :: (z,a) -> b

それでは、関数対象\(A \Rightarrow B\)を定義してみよう。ここでは、前回の記事で説明した例を用いる。例では、\(A\)は\(\{1,2,3\}\)は\(B\)は\(\{T,F\}\)であった。そこで、写像対象\(A \Rightarrow B\)は\(A\)から\(B\)への関数をすべて定義すればよいので、Haskellで表すと次のようになる。

f0 = \a -> case a of 
             1 -> True  
             2 -> True 
             3 -> True
             _ -> error "Not Assigned."
f1 = \a -> case a of 
             1 -> True  
             2 -> True 
             3 -> False
             _ -> error "Not Assigned."
f2 = \a -> case a of 
             1 -> True  
             2 -> False 
             3 -> True
             _ -> error "Not Assigned."
f3 = \a -> case a of 
             1 -> True  
             2 -> False 
             3 -> False
             _ -> error "Not Assigned."
f4 = \a -> case a of 
             1 -> False  
             2 -> True 
             3 -> True
             _ -> error "Not Assigned."
f5 = \a -> case a of 
             1 -> False  
             2 -> True 
             3 -> False
             _ -> error "Not Assigned."
f6 = \a -> case a of 
             1 -> False  
             2 -> False 
             3 -> True
             _ -> error "Not Assigned."
f7 = \a -> case a of 
             1 -> False  
             2 -> False 
             3 -> False
             _ -> error "Not Assigned."

次に、\(Z\)を定義しよう。これは、前回の例では以下の関数を表すものであった(但し、\(Z'\)は\(Z\)に変えてある)。

そこで、対象\(Z\)は関数の名前の集合としよう。即ち、\(Z=\{“f’0”, “f’1”, “f’2”, “f’3”, “f’4”, “f’5”, “f’6”\}\)
次に、\(H:Z \rightarrow (A \Rightarrow B) \)を定義しよう。次のようになる。

h = \z -> case z of
             "f'0" -> f0
             "f'1" -> f1
             "f'2" -> f2
             "f'3" -> f3
             "f'4" -> f4
             "f'5" -> f4
             "f'6" -> f6
             _     -> error "Not Assigned."

さらに、\(g : Z \times A -> B\)を定義しよう。\(g = eval \circ (h \times id)\)より、次のようになる。

g (z, a) = eval (h z, a)
eval (f, a) = f a

可換図式をHaskellで表すと次のようになる。

それでは実行してみよう。

Prelude> :load "fObject.hs"
[1 of 1] Compiling Main             ( fObject.hs, interpreted )
Ok, modules loaded: Main.
*Main> g ("f'0", 1)
True
*Main> g ("f'0", 2)
True
*Main> g ("f'0", 3)
True
*Main> g ("f'1", 1)
True
*Main> g ("f'1", 2)
True
*Main> g ("f'1", 3)
False
*Main> g ("f'1", 4)
*** Exception: Not Assigned.
CallStack (from HasCallStack):
  error, called at fObject.hs:10:19 in main:Main
*Main> g ("f'2", 3)
True
*Main> g ("f'3", 1)
True
*Main> g ("f'4", 1)
False
*Main> g ("f'7", 2)
*** Exception: Not Assigned.
CallStack (from HasCallStack):
  error, called at fObject.hs:50:19 in main:Main

思い通りに機能していることが分かった。

７．５　カリー化とアンカリー化

入出力に関数を用いることを学んだが、関数は一般に\(n\)変数である。そこで、\(n\)変数の関数をそれより一つ少ない変数の関数に次のように変えることをカリー化という。即ち、最初の変数を変数とする関数の戻り値を関数として、これが残りの変数を受けて元の関数と同じ値を返すようにすることをカリー化という。いま、\(f : A_0 \times A_1 \times, ..,\times A_n \rightarrow B\) とした時、\(g : A_0 \rightarrow h\), \(h : A_1 \times A_2 \times, ..,\times A_n \rightarrow B\)となるとき、\(h\)は\(f\)をカリー化した関数と呼ばれる。 また、その逆はアンカリー化という。
カリー化とアンカリー化の例として、ここでは、2変数の関数を1変数の関数に、1変数の関数を2変数の関数に、変えることを考えよう。これを、再帰的に利用すれば、カリー化とアンカリー化を一般化できる。定義に従えば、カリー化\(curry'\)とアンカリー化\(uncurry'\)の関数は次のように定義できる。

curry' :: ((a, b) -> c) -> (a -> (b -> c))
curry' f = \ a -> (\ b -> f(a,b)) 

uncurry' :: (a -> (b -> c)) -> ((a, b) -> c)
uncurry' f = \ (a,b) -> (f a) b

\(curry'\)の定義は次のようになっている。入力が2変数\((a,b)\)出力が\(c\)である関数は、入力\(a\)を受けて、入力が\(b\)で出力が\(c\)の関数を出力する。

それでは、利用してみよう。長方形の面積を求める2入力の\(area\)という関数を定義する。そして、カリー化したときの型シグネチャを求めてみよう。

Prelude> :load "curry.hs"
[1 of 1] Compiling Main             ( curry.hs, interpreted )
Ok, modules loaded: Main.
*Main> area (a,b) = a * b
*Main> :t curry area
curry area :: Num c => c -> c -> c

カリー化した時の型シグネチャは \(Num c => c -> c -> c\)となっている。これは、実は\(Num c => c -> (c -> c)\)と同じである。後者の\(Num c => c -> (c -> c)\)では、最初のタイプ\(c\)の入力を与えると、関数\((c -> c)\)を得る。この関数はタイプ\(c\)の入力を与えると出力\(c\)を得ることを意味する。前者の\(Num c => c -> c -> c\)では、タイプ\(c\)の入力を与えた後で、タイプ\(c\)の入力を与えるとタイプ\(c\)の出力を得ることを意味する。従って、全者と後者は同じである。従って、期待通りにカリー化されていることが分かる。そこで、計算を実行してみよう。

*Main> area (3,4)
12
*Main> curry area 3 4
12

カリー化は、ざっくばらんにいうと、多変数の入力をバラバラにして入力することとなる。

それでは、アンカリー化についても調べてみよう。同じように、面積を求める関数area'を次のように定義する。

*Main> area' a b = a * b
*Main> :t uncurry area'
uncurry area' :: Num c => (c, c) -> c

\(area'\)の定義は、\(area' a b\) は\(area' a\)を実行して関数を得て、この関数に\(b\)を与えて面積を求めることと同じである。即ち、次のように定義しても同じである。

*Main> (area' a) b = a * b

\(area'\)をアンカリー化すると、\((c,c) -> c\)の2入力関数が得られることが分かる。

そこで、これを実行する。

*Main> area' 3 4
12
*Main> uncurry area' (3,4)
12

期待通りになっていることが分かる。

伊豆箱根鉄道駿豆線沿いの遺跡を訪ねる

伊豆箱根鉄道駿豆線は東海道線の三島駅から伊豆市の修善寺までの19.8Kmを結び、車窓からは富士山を楽しむことができるローカル線だ。歴史的遺産が多く楽しむことができる。今回はこの路線の近くにある古い遺跡を訪れた。

三島市の中心にあるのが伊豆国分寺である。三島駅の隣の三島広小路駅から3分の近さだ。門は新しく、寺の表札も鮮やかだ。

本堂も最近建て替えられたのか綺麗だ。

時代はさかのぼるが、741年に聖武天皇が全国に国分僧寺と国分尼寺を建立するように命を出した。伊豆国でも二つの寺が建てられた。僧寺は現在の国分寺の地に建てられたが、現在では、塔跡しか残っていない。本堂の裏に塔の跡がある。

伊豆仁田駅から東へ2km、歩いて25分のところに粕谷(かしや)横穴群がある。静岡県内では最大規模の横穴墓群で、300基あったのではと予想されている。横穴群は函南町の粕谷公園の中にある。子供たちの絶好の遊び場になっていたが、時折、横穴群を目当てに訪れる旅行者も見受けられた。

6世紀から8世紀の200年間にわたって使われたそうだ。後半期には新たに墓は造られず、前からあった墓に追葬が行われたそうである。最後の頃には火葬骨を納めた例もあったとのことである。

墓の内部(玄室)は次のようになっていた。

墓の手前(墓前域)と玄室の間は閉塞石で閉じられていたそうである。墓前域では亡くなった人の霊を慰めるために供養祭が行われたと予想されている。それを示すように、墓前域からはたくさんの土器が出土している。

また、住居跡は見つかっていないそうだが、モデル展示として弥生時代の住居跡や倉庫が展示されていた。

さらには埴輪もモデル展示されていた。

最後は、駿豆線の終点の修善寺駅から旧中伊豆町の方へ4.2Km、歩くと1時間程度かかると思われるところに上白岩遺跡がある。ここは、4000年前の縄文時代中期から後期にかけての遺跡である。ここからは、縄文時代後期を中心とする大規模な配石遺構が発見された。その中に、環状配列の遺構がある。20単位ほどの環状・組石状の小配列が鎖のように連続して並べてあって、直径15mの環状になっている。
次の写真は環状配列である。

別の角度から見ると次のようになる。

組石の写真である。

後ろの方には土壙の跡もある。

環状列石の周りには土壙があり、さらにその外側に住居跡がある。

近くには、長野県の井戸尻遺跡を参考に縄文時代の竪穴住居が復元されていた。


建物の内部には炉があった。

遺跡の全体は次のようになっている。手前二つが住居跡。最後部が環状列石、その手前が組石である。

近くに資料館があったので立ちよる。
入り口近くに、縄文時代の竪穴住居の模型があった。

その横には環状列石の模型もあった。

さらに進むと遺構で発見された縄文時代の土器が展示されていた。


顔面把手も展示されていた。

耳飾りなどの装飾品も飾られていた。

世界最古に属する土器片もあった。

何か怪しい石棒も片隅に置かれていた。

ゴールデンウィークの前半にこれらの遺跡を訪ねた。天気にも恵まれ、富士山の眺望や、柔らかい緑に覆われた里山などが目を楽しませてくれた。

今回は訪問しなかったが、駿豆線に沿って、源頼朝の配流地や、北条氏ゆかりの地、江戸後期の代官であった江川家跡、世界遺産に指定された韮山反射炉などがある。いくつかは既に見学したが、北条氏ゆかりの場所は訪問していないので、次の機会にはぜひ訪れたいと思っている。

写像対象―入門

しばらく休みを頂いたが、この間、古代史の関係の書物を読み漁った。特に、松木武彦さんの本が気に入った。
『美の考古学：古代人は何に魅せられてきたか』と『旧石器・縄文・弥生・古墳時代　列島創世記』を、また、共著だが『弥生時代って、どんな時代だったのか？』を楽しく読むことができた。日本列島の古代を知ろうとすると、中国に残されているわずかなものを除くと全く文字資料がないため、考古学的な遺跡を頼りに解明するしかない。しかし、どこそこでどのような土器が発見されたとか、どのようなタイプの墓が発見されたのかということを述べるだけでは、この時代に人々がどのように生活していたのかを伝えてはくれない。そこで、松木さんは認知考古学を導入することで、この時代の人がどのように考えて、土器や住居や墓を作ったのかを説明してくれる。無機的な世界に息吹を与えてくれ、歴史を楽しく知ることができる。

認知考古学の系統を手繰っていくと、英国のスティーブ・ミズン(Steven Mithen)というレディング大学(University of Reading)の教授にたどり着く。彼は『心の先史時代(The Prehistory of the Mind)』、『氷河期以降(After the Ice: A Global Human History)』という本を書いている。前者はまだ読んでいないのでその内容は説明できないが、後者の本では紀元前2万年から5千年までの時代を変わったスタイルで描いている。ラボック君に世界中を旅をさせ、見聞きしたことを伝えるという手法で歴史を語らせる。もちろん、縄文時代の日本列島も訪問する。最初に降り立つのは、桜島近くの上野原遺跡だ。歯が一本もない少し年老いた女性が縄文土器を作り出す様子などを説明してくれる。上野原遺跡で発見された土器などを元に認知考古学を用いてその当時の生活を描き出してくれる。点と点のつながりでしかなかった古代の遺物がビジュアルにつながり読む人を楽しませてくれる。

英国には別のアプローチをとる考古学者もいる。コリン・レンフルー(Colin Renfrew)だ。彼はケンブリッジ大学の教授を務めた。『先史時代と心の進化(Prehistory: The Making of the Human Mind)』、『考古学―理論・方法・実践 (Archaeology: Theories, Methods, and Practice)』を著作している。人類の進歩には2段階あって、遺伝子が進化した時代と、共通の知識の蓄積により変化した時代とがあると説明している。人類がアフリカを出る6万年前には、遺伝子的な進化は終了し、現代人と同じ遺伝子を有していたと述べている。アフリカを出た後、それぞれの地域によって異なる文化を築いたのは、共通知識の蓄積の仕方が異なったためだと説明している。

認知考古学の助けを借りて文字がなかった時代を読み解くという方法は、圏論での関手を利用してある圏から別の圏を覗くいう方法と重なり合い、興味深かった。

他にもうひとつ面白い本があったのでそれも紹介しておこう。ここ数十年の考古学の研究の新しい流れの中で、最新技術が考古学に応用されている。その結果、これまでとは異なる見解が多く示されこともある。特に、放射性炭素14年代測定法やDNAの解読などの寄与は大きい。斎藤成也の『日本列島人の歴史』は、中学生・高校生でも楽に読めるように書かれている良書である。現代から古代の方に歴史を逆にたどっていき、最後に彼が主張する「三段階渡来モデル」の説明がある。DNAの解析結果をベースとしているので、説得力のある理論だと思う。

７　写像対象

これらの理論に圏論を応用できないかと考えているのだが、まだ、そこまでの準備はできていない。さて、前振りが長くなったが、これから、圏論の中でも面白い分野に属する写像対象(functional object, map object)について説明しよう。写像対象は指数対象(exponential object)とも呼ばれる。

７．１　集合と関数

ここから読み始める人もいると思うので、これまでの説明を前提にしないでも、理解できるように説明する。圏は、5つの構成要件と2つの条件により定義されている。その中で、重要な構成要件は対象(objects))と射(morphismsまたはarrows)の二つである。集合(Sets)と関数(functions)を圏として表そうとすると、集合を対象として表すことができ、関数は射として表すことができる。

ここからしばらくは、圏論の世界を離れて集合と関数の世界で話をすることにしよう。

集合と関数の関係は次のように決められている。関数\(f\)はある集合\(A\)からある集合\(B\)への方向性のある対応関係を与える。そして、一つの制約がある。それは、\(A\)の全ての要素\(a\)に対して、\(B\)のある要素\(b\)が対応しなければならない。但し、\(B\)の全ての要素\(b\)に対しては対応する\(A\)の要素がなくても構わない。即ち、関数\(f:A \rightarrow B\)は次の条件を満足するものである。
\begin{eqnarray}
\forall a \in A, \exists b \in B, b = f(a)
\end{eqnarray}

\(A\)から\(B\)への関数を定義することができる(この時、\(A\)をドメイン、\(B\)をコドメインと呼ぶ)。例えば、\(A\)は\(\{1,2,3\}\)という3つの数字の集まりで、\(B\)は\(\{T,F\}\)はブール値であるとすると、可能な関数は下図に示すように8つである。

７．２　関数の集合

集合と関数を圏として表す時の最も自然な方法は、集合を対象に、関数を射とすることである。先ほどの例では、圏\(\mathcal{C}\)において、対象の集まり(対象の類）\(ob(\mathcal{C})\)は\(\{A,B\}\)であり、射の集まり(射の類）\(\rm{Hom}(\mathcal{C})\)は\(\{f_0,f_1,f_2,f_3,f_4,f_5,f_6,f_7\}\)である。圏として完成させるためには、この後の作業として、恒等射(\(id_A:A \rightarrow A,id_B:B \rightarrow B\))、射の合成(\(\circ\))を定め、結合律、単位律(\(id_A \circ f_i = f_i,f_i \circ id_B=f_i\)である。但し、\(i=0..7\))が成り立つようにすればよい。

集合と関数を圏として表す方法は一つではない。先の例で、\(A\)から\(B\)への関数を数え上げた。\(A\)から\(B\)への関数の集まりを集合と見なすと対象にできるのではと考えても不思議ではない。そこで、関数の集まりを\(Z=\{f_0,f_1,f_2,f_3,f_4,f_5,f_6,f_7\}\)とし、以下のように縦方向に\(Z\)を横方向を\(A\)を配置し、交わったところを\(B\)即ち\(b=f_i(a)\)となるようにして、表を作成してみよう。

どこかで見たような表ではないだろうか。そう、デカルト積だ。デカルト積は圏として表すことができる。それは圏の積と呼ばれる。積の圏では、二つの対象が存在し、さらにその二つの対象の積も対象になる。今説明している例では、\(A\)と\(Z\)とさらにその積の\(Z \times A\)である。

積の圏はさらに\(Z \times A\)と性質を同じにする対象\(C\)を有する。数学的な説明でないが、\(Z \times A\)は最善の表現であり\(C\)はそれより劣った表現である。\(Z \times A\)はしばしば極限といわれる。極限とは何を表しているのだろう。\(\times\)は論理積を意味するときがある。\(Z \land A\)と考えると\(A\)と\(Z\)の共通部分だ。最善な共通部分とは、余すところなく共通部分を拾ったものだろう。それより劣る表現は共通部分の一部分を表したものだろう。あるいは、共通部分を二重に表現したものも劣る表現であろう(これはすぐ後で説明するが共通部分への写像が選択になるので最善とは言えなくなる）。このようなことを考えると、\(A\)と\(Z\)が整数である時、\(\times\)が共通に含まれる素数ということを表しているものと理解すると、最善な表現は最大公約数となる。そして、積の圏の場合には、\(\times\)は\(A\)から\(B\)への写像を表しているので、最善の表現は無駄のない余すことのない写像の集まりになるだろう。このように理解して次に進もう。

数学的な厳密さを用いて説明しよう(下図参照）。積の圏で\(Z \times A\)が最善の表現であるとは、どのような\(C\)を持ってきたとしても、\(C\)から\(Z \times A\)への変換\(u\)は一意に定まり、\(C\)から\(Z\)への変換は\(p'=p \circ u\)で、\(C\)から\(A\)への変換は\(q'=q \circ u\)で与えられることをいう。但し、\(p:Z \times A \rightarrow Z, q:Z \times A \rightarrow A\)である。

次に、\(Z \times A\)と性質を同じにする対象\(C\)について話を進めよう。先の例では、\(A\)から\(B\)への写像を重複させるまたすべて含むような関数の集まりを求めた。そこで、今回は、\(A\)から\(B\)への写像をすべて含まなくてもよいし、重複してもよいということにしよう。このような関数の集まりを\(Z'\)とする。例えば、下図のようなものを作成したとする。

この関数の集まりを\(Z'=\{f'_0,f'_1,f'_2,f'_3,f'_4,f'_5,f'_6\}\)としよう。表を作成すると次のようになる。

この例で、\(Z'\)から\(Z\)へは次のように変換することができる。
\begin{eqnarray}
f'_0 \rightarrow f_0 \\
f'_1 \rightarrow f_1 \\
f'_2 \rightarrow f_2 \\
f'_3 \rightarrow f_3 \\
f'_4 \rightarrow f_4 \\
f'_5 \rightarrow f_4 \\
f'_6 \rightarrow f_6 \\
\end{eqnarray}

この例に限ることなく、一般にどのような関数の集まり\(Z'\)が与えられたとしても、\(Z'\)から\(Z\)への写像\(h\)を一意に定めることができる。即ち、\(Z' \times A\)から\(Z \times A\)への写像\(u=(h \times id)\)を一意に定めることができる。

\(Z\)は特別な存在であった。即ち、これは\(A\)から\(B\)への写像を重複することなくすべてを含むような集まりであった。そしてどのような\(A\)から\(B\)への関数の集まりを持ってきたとしても\(Z'\)から\(Z\)への写像\(h\)を一意に定めることができる。積の圏では、先にも述べたが、このようなものを極限という。Milewskiの言葉を借りれば最善な表現(Best Representation)である。

しかし、可換図式を見て分かると思うが、恒等射\(id\)が多すぎてあまり面白くはない。そこで、次の節で述べる関数対象を扱えるようにするために、ドメインを対象として組込み、次の可換図式を用意する。

この図で、\(Z'\)が\(Z\)より劣る表現である時、\(Z'\)から\(Z\)へ一意に定まる関数\(h\)が存在する。また、いかなる\(Z'\)に対しても、\(Z'\)から\(Z\)へ一意に定まる関数が存在するとき、\(Z\)は最善の表現と呼ぶことにする。\(Z'\)が\(Z\)より劣る表現のとき、\(Z' \times A\)から\(Z \times A\)へ一意の関数\((h \times id)\)が存在する。そして、\(Z' \times A\)から\(B\)への関数を\(g'\)とし、\(Z \times A\)から\(B\)への関数を\(g\)としたとき、\(g'=g \circ (h \times id)\)である。

これで、関数の集合\(Z\)を対象として扱う準備ができたので、次はその役割について説明しよう。

サラダたまねぎでコース料理を楽しむ

春の訪れとともに、水俣の復興に協力されている方から、新玉葱が送られてくる。これは「サラダたまねぎ」という名前で売られている。その名の通り瑞々しさが売り物だ。水俣の特産品を紹介しているブログには、「サラダたまねぎは、早い時期に収穫する（極早生）品種で、温暖な水俣・芦北地方を中心に栽培されている限定品」と書かれている。

さらにブログを手繰っていくと、「安心に対するこだわり方」というコーナーに出会う。ここには、栽培基準が紹介されている。どのような農薬がどの程度使われたかが記載されている。無農薬ではないが、極力、農薬を極力使わないようにしたいという姿勢に感激する。

頭書に「水俣病を経験した水俣だからこそ、安心して食ベていただくために事実を表示しています」と書かれている。水俣病は、1950年代から60年代に発生した公害で、有機水銀が食物連鎖により人の体内に摂取されたことにより生じる疾病である。1973年の認定患者は、新潟の罹患者も含めると、3000人にも及ぶ。現時点でも完全には解決しているとは言えないとても悲惨な事件である。

さて、水俣にまつわる話はこのくらいにして、サラダたまねぎを活かしてコースの料理に挑戦してみた。前菜は「シーチキンをトッピングしたサラダたまねぎステーキ」、スープは「丸ごとサラダたまねぎスープ」、主菜は「あじの塩焼き」である。

そして、白ワイン。産地は南豪州のマクラーレン・ベール、生産者はダーレンベルグ、品種はヴィオニエとマルサンヌだ。かつてオーストラリアに住んでいた時に頻繁に訪れたワイナリーだ。横浜君嶋屋のブログを見ると、「ヴィオニエは豊かな香りと果実味の中にエスニックな一面を持ち合わせた個性派。なめらかで厚みがあり、魚貝系のグリルやカレー風味ソースなどのエスニック系味付けの料理にもおすすめ。マルサンヌは緻密ながら比較的穏やかな味わいで魚料理と好相性、特にあんこう鍋などの和食と合わせると目から鱗のマリアージュ」と書いてある。今日の料理に合いそうだ。

それぞれの料理は作り方は単純なのだが、コース料理として食膳に供するためには、うまく手順を考えないとパニック状態になる。最初にスープの作成に取り掛かる。これは出来上がった後でも弱火で温めておける。

「丸ごとサラダたまねぎスープ」の料理に使用した材料は、サラダたまねぎ2個、コンソメ2袋、黒コショウ、水1000ccだ。二人分だ。

また、庭にあるパセリも使用した。

今回は、3品を同時に料理したため、料理を作成しているときの写真を撮る暇がない。文章だけで勘弁して欲しい。
鍋に水、表面の皮をむいたサラダたまねぎ、コンソメを入れて蓋をし、強火にして沸騰させる。その後、水があふれてこないように中火あるいは弱火にして、30分ほど煮る。これで終わりである。あとは出番が来るまで、冷めないように弱火で温め続ける。

「丸ごとサラダたまねぎスープ」の料理に使用した材料は、サラダたまねぎ1個、シーチキン２缶、マヨネーズ、モッツァレラチーズ、塩、胡椒である。

サラダたまねぎを４等分に輪切りする。シーチキンは油を切った後、マヨネーズを加えて混ぜる。マヨネーズの量は味を見ながら調整する。フライパンにオリーブオイルをひき、輪切りにしたたまねぎの両面を、塩・胡椒をして、少し焦げる程度に焼く。そのあと、フライパンから取り出し、マヨネーズと混ぜたシーチキンをのせる。さらに、モッツァレラチーズを表面が隠れる程度に乗せる。オーブントースターでチーズをとろけさせるために１０分ほど温める。出来上がった時が、食卓に供する時間となる。

あじは、多くの場合下ごしらえしてあるので、塩をまぶしてそのまま焼けばよい。しかし、今回、味を購入した店は安売りが売り物のお店なので下ごしらえをしてくれない。そこで、内臓を取り出し、ぜいごと呼ばれるかたいうろこを取る。その後、塩をまぶしてグリルで焼く。残念ながら写真はない。

前菜はこのような感じ。

そして、スープは次のよう。黒胡椒をまぶし、パセリを加えて食卓に供した。

最後は主菜。残念だが写真はない。想像の世界だ。

サラダたまねぎ満載のコース料理であった。準備している段階で、サラダたまねぎの量が多すぎるかなと懸念したが、前菜もスープも新鮮で瑞々しいサラダたまねぎを堪能することができた。不要な懸念であった。

神奈川県中央部の勝坂遺跡公園を訪ねる

相模線にゆられて縄文の遺跡を訪ねた。これは横浜から出ている相模本線ではない。JRだ。神奈川県の中央部を縦断するように、東海道線茅ヶ崎駅と横浜線橋本駅の間を結んでいるローカル線だ。東京の近郊には珍しい単線運転でもある。

往きは小田急線の海老名駅で乗り換えた。小田急線の駅とJRの駅との間は連絡橋で接続されており、丹沢山塊の景色を楽しみながら渡ることができる。小田急側の駅は大きな駅で町の中心を担っていることを実感させてくれるが、JR側の駅は何とも萎びている。鉄道マニアは既に承知のことと思うが、JR線に沿ってもう一本線路が引かれている。相模本線の方から延びてきて厚木の駅までJR線と並走する。かつて、相模線は相鉄の所有であったが戦時中に国鉄に買収された。並走している線は、これを反映する歴史的な名残なのだろう。

今回、訪れたのは勝坂遺跡公園である。この遺跡は国指定の史跡になっている。最寄り駅は下溝駅である。とはいっても都心の感覚での最寄り駅ではない。田舎の感覚でとらえないと大変なことになる。電車を降りて撮った写真が以下である。

駅員さんももちろんいない。駅を出て振り返っての写真。とてもそっけない。

ここは相模台地の西側であり、さらにその西側を相模川が流れている。川の向こう側に見えるのが丹沢山塊である(下の写真の右側の大きな建物はヤマト運輸の厚木ゲートウェイ)。


相模線に沿って造られている県道46号線を南下する。道の山側にだけ幅の狭い歩道がついている。トラックの交通量が多く歩道を歩いていてもこすられそうな感じがして心地よくない。20分近く歩いたところで、勝坂遺跡公園の駐車場への案内に出会う。駐車場の脇に沿って遺跡に入る道が作られている。幅の狭い山道のようなところを進んでいく。途中には、春の訪れを知らせてくれるかのように、花大根の群れが紫色の可憐な花を咲かせていた。

山道を抜け台地に出ると、走り回る子供たちの大きな歓声が迎えてくれた。遠くに竪穴住居らしきものが見える何もない大きな公園だ。

近くに遺跡があったので、取り敢えずカメラに納める。敷石住居跡だ。

温暖な気候に恵まれた縄文時代は中期末(4500年前)になると冷涼化する。これとともに、竪穴住居の構造が大きく変わり、石を敷いた住居が出現する。写真は敷き詰められた石である。石を温めることで、部屋の温度を上げたのであろう。

縄文時代は前期から中期にかけては、温暖な気候に恵まれていた。当時の生活様式は採取狩猟である。しかし、一般的な採取狩猟民とは異なり、縄文の人たちは定住生活を送っていた。森を開いて住むための空間をつくり、また、住居の周りにはドングリやクリやクルミの木を植樹して、定住しやすい環境を作っていた。住居の周りに作られた林は二次林と呼ばれるが、勝坂遺跡公園にもそれがあった。緑に生い茂っていれば想像できるのだろうが、この時期、葉が落ちてしまって隙間だらけで寂しいけれども次の写真である。

そうこうしているうちに、公園の一番隅にある竪穴住居にたどり着いた。二つほどあったが、一つは笹で他の一つは土で屋根が葺かれていた。笹で作られた竪穴住居は4700年前ごろに作られたものの復元である。入口付近は、

中に入ってみる。内部の壁は木で作られている。豪勢だ。また、少し奥まったところに炉が設けられている。お決まりのパターンだ。温度計と湿度計があるがもちろん当時はない。

建物を支えている柱だ。この当時は石斧しかないので、作るのは大変だったろうと思う。
外に出て全景を取る。

次は屋根が土で葺かれた竪穴住居だ。入口の写真を一枚。家というよりもなんとなく土で盛られた墓に入っていくような気分になる。

炉の上に、燻製でも作るのだろうか吊るし棚があった。

内から入口の方を見ると、

二つの住居を一緒に撮る。

建物跡も近くにある。

少し離れたところに中村家住宅があることを案内で知ったのでそこに向かう。この建物は、国登録有形文化財に指定されている。幕末期の和洋折衷の珍しい建物だ。当初は三階建てだったが関東大震災後に三階部分を取り除いたそうだ。

中村家と勝坂遺跡には因縁がある。大正15年に休暇で帰省していた学生の清水二郎が、この家の当主中村忠亮が所有する畑で散在する多数の土器を発見し、それを考古学者の大山柏(維新の元勲の大山巌は父)に標本として渡したことが、この遺跡発見の発端となった。

中村家から少し離れたところに、勝坂式土器発見の地があった。また、勝坂遺跡は相模川の小さな支流の鳩川沿いの谷戸に形成されたとのことであった。

最初に来た公園に戻り管理棟を訪れた。小さな会議ができるかなと思えるぐらいの空間であったが、そこには復元だが大山柏発掘の土器が展示されていた。

また、この遺跡で発見された土器は、勝坂式土器と呼ばれ、中部・関東地方の縄文時代中期の指標となった。

縄文土器は、この後の弥生式土器や古墳時代の土器と比べると重厚感にあふれている。松木武彦さんは『進化考古学の大冒険』のなかで、なぜ形は変わるのかについて説明している。それによれば、縄文時代には祭祀と調理具・食器の両方で使われたため豪華であったが、弥生時代になると後者のためだけに使われるようになり実用的な形になったと認知心理学を用いて説明している。

帰りは相模線の風景をもう少し満喫したかったので、海老名の方には戻らず、相模線をそのまま乗り継いで橋本駅に向かった。春がそこまで来ていることを知らせてくれるのどかな一日を相模の地で楽しむことができた。

プログラマーのための圏論（中）

『プログラマのための圏論』は(上)の後の部分をまとめ(中)にしてPDFファイルにしました。参考にしてください。なお、(上)のホームページはこちら。

関手ープロファンクタ

６．１０　プロファンクタ

１）双関手の復習

プロファンクタの話をする前に、双関手を再度勉強しておこう。関手と反関手は矢印が逆向きであるという関係を有していたが、双関手とプロファンクタも同じような関係にある。

Haskellでは双関手はData.Bifunctorで定義されている。それによれば、

Prelude Data.Bifunctor> :i Bifunctor
class Bifunctor (p :: * -> * -> *) where
  bimap :: (a -> b) -> (c -> d) -> p a c -> p b d
  first :: (a -> b) -> p a c -> p b c
  second :: (b -> c) -> p a b -> p a c

このうち、\(bimap\)を図で表すと次のようになる。

この図から分かるように、二つの対象がそれぞれの対象に対して与えられた射によって計算が行われる。双関手は\(Either\)と\( (,) \)などのデータ型に対して用意されている。

\(bimap\)はこれらのデータ型に対しては次のように定義されている。

instance Bifunctor (,) where
  bimap f g ~(a, b) = (f a, g b)

instance Bifunctor Either where
  bimap f _ (Left a) = Left (f a)
  bimap _ g (Right b) = Right (g b)

双関手になれるために少し実行してみよう。二つの関数を必要とするので、これを定義する。左側は3倍する関数としよう。また、右側は文字の長さを計算する関数としよう。

Prelude> import Data.Bifunctor
Prelude Data.Bifunctor> a = bimap (*3) length

これを利用してみる。まず、タプルに対してだ。

Prelude Data.Bifunctor> --cf a = ((*3), length)
Prelude Data.Bifunctor> a (5, "Bifunctor")
(15,9)

次は\(Either\)に対してである。

Prelude Data.Bifunctor> a (Left 5)
Left 15
Prelude Data.Bifunctor> a (Right "Either is used as a bifunctor.")
Right 30

２）プロファンクタ

プロファンクタの型クラスは次のように定義される。

class Profunctor f where
    dimap :: (a -> b) -> (c -> d) -> f b c -> f a d

図で示すと

となる。

双関手の時の図と比較すると、\(a\)と\(b\)とが逆になっているのが分かる。今、関数\(\rightarrow\)をプロファンクタのインスタンスとすると、\(f\)のところを関数に変えればよいので、\(dimap\)は次のようになる。

instance Profunctor (->) where
  dimap :: (a -> b) -> (c -> d) -> (b -> c) -> (a -> d)
  dimap f g h = g.h.f

となる。

少し利用してみよう。

*Main Data.Bifunctor> a = dimap length odd (`div` 2)
*Main Data.Bifunctor> a "Do you like Profunctor?"
True

長かったが、関手の説明はこれで一応終了である。

関手―反関手

６．９　反関手

以前に、\(Reader\)と呼ばれる関手について説明したことがある。二つの射を得て一つの射を出力するという分かりにくい関手だったのではと想像している。圏論は、射を中心にして考えるので、射を射の入力や出力として利用するのは自然なのだが、値で慣れている場合には頭の切り替えが必要になり、分かりにくいことと思う。

そこで、\(Reader\)の復習をした後で、反関手の話をしよう。

１）射を関手にする―復習

具体的な例を用いて、前に説明したファンクタ\(Reader\)を再度考えてみる。そのため、次の問題を考えてみよう。

【問題】苗字という概念がなかったある地域\(\mathcal{C}\)で名前の文字数をカウントする関数\(f\)が用いられていたとしよう。この地域と交流のあった別の地域\(\mathcal{D}\)に、様々な技術移転が生じ、文字数をカウントする関数も他のものと一緒に移転された。しかし、\(\mathcal{D}\)での名前は氏や階級などが一緒になった複雑な構造をなしていた。数学の得意な人がいろいろと考えて、複雑な構造の名前から「名」の部分を取り出す関数\(g\)を考え出した。\(\mathcal{D}\)での名前から名の部分の文字数を得るためにはどうしたらよいかを関手を用いて説明しなさいというのがこの問題である。

それぞれの地域を圏とし、それぞれの圏の構成を下図に示す。

\(\mathcal{C}\)では、名前を対象\(A\)で文字数を対象\(B\)で表わした。また、名前から文字数に変換する射はそのまま\(f\)である。\(\mathcal{C}\)の対象と射は関手\(F\)によって\(\mathcal{D}\)に移される。即ち、\(\mathcal{C}\)の\(A,B\)は\(F(A),F(B)\)に移され、\(f\)は\(F(f)\)に移されている。

複雑な構造の名前の対象は\(F(R)\)で表した(これは、\(\mathcal{C}\)の対象\(R\)を\(\mathcal{D}\)に移したと読める。このように意図しているのだが、\(\mathcal{C}\)にはもしかすると\(R\)は存在しないかもしれない。この問題の場合には明らかに存在しないのだ。従って、ここでは、この国の名前は\(F(R)\)であるという程度に考えて欲しい。\(F\)がついている理由はHaskellのプログラムになった時に分かる)。(同じ理由から)複雑な名前から名に変換する射を\(F(g)\)とした。ここで、求めたいのが、\(F(R)\)から\(F(B)\)への写像である。これは次のようになる。

圏でのこの関係をHaskellで記述すると次のようになる。

具体的にプログラムで記述すると、

{-# LANGUAGE InstanceSigs #-}
newtype Reader r a = Reader { getName :: r -> a }

instance Functor (Reader r) where
  fmap :: (a -> b) -> Reader r a -> Reader r b
  fmap f (Reader g) = Reader (f.g)

first :: (a,a,a) -> a
first (a,_,_) = a

count :: Reader (String, String, String) Int
count = fmap (length :: String -> Int) (Reader first)

smap =[("Takuya","Omi","Kimura"),("Goro","Muraji","Inagaki"),("Hiroaki","Tomonomiyakko","Nakai"),("Singo","Agatanusi","Katori")]

このプログラムで\(count\)が\(Reader \ r \ r\)即ち\(F(r)\)から\(Reader \ r \ b\)即ち\(F(b)\)への射を出力してくれる。そこで、データ型(\(Reader \ r \ a\))で定義されているフィールド\(getName\)を利用して射\(r \rightarrow a\)を取り出す。ここで取り出される射は\(r\)から\(b\)への関数である。

これに、複雑な構造の名前(といっても、ここでは、ファーストネームと氏姓制度での地位とラストネームからなるトリプルだが)を入力に与えると、その文字数を与えてくれる。なお、名を散りだす関数は\(first\)である。これは、トリプルの最初の要素を取り出す。

最初の実行例は個人名を与えたものである。\(count\)は\(F(r)\)から\(F(b)\)への射を与える。これに、\(getName\)を施すと\(r\)から\(b\)への射\(length.first)\)を与える。これに("Mike", "Omuraji", "Brooks")という名前を与えてるとファーストネームの文字数が出力される(因みに、友人のMike Brooksは現在は学長だ。「大連」より偉いかもしれない)。少し、複雑だがこのプログラムはこのようになっている。

次は、あるグループを構成していた人たちの名前を入力とした。<$>もファンクタの一種だが、配列での適応を可能にしてくれる。

*Main> getName count ("Mike","Omuraji","Brooks")
4
*Main> getName count <$> smap
[6,4,7,5]

*Main> getEven even' "Taro"
True
*Main> getEven even' <$> smap'
[True,True,False,False]

データ型\(Reader\)は関数を表現しているので、関数型(Function Type)とも呼ばれる。

圏での表現を書き換えると下図のように表すこともできる。

この図から、\(\mathcal{C} \times \mathcal{D}=\mathcal{D}\)であることから、デカルト積になっていることもわかる。

２）反関手

それでは先ほどの文字数を求める問題にもう一度戻ることにしよう。

【問題】さらに別の地域\(E\)があって、そこでは文字数が偶数であるかどうかを判断していたとする。

取り敢えず\(C,E\)を圏にして図を示すことにしよう。

ここで、\(f\)は\(A\)から\(B\)に写像する。それにもかかわらず、矢印の方向は\(F(B)\)から\(F(A)\)である。同様に\(g\)は\(B\)から\(C\)に写像するが、矢印の方向は\(F(C)\)から\(F(B)\)である。このように、ドメイン側の圏\(C\)の全ての射に対して、コドメイン側の圏\(E\)ではその方向が逆になるものを反関手(\(Contravariant\)あるいは\(Cofunctor\))と呼ぶ。

方向が逆向きになることを説明する。今回も前回と同じように、射を利用して、関手を張ることとする。前回は\(Reader\)という関手であった。これは\( new type \)を利用してデータ型を定義したが、その時のデータ型は\(Reader \ r \ a = Reader \ r \rightarrow a\)であった。
その時、\(r\)の方は固定して\(a\)の方が変われるようにした。\(Reader \ r \ a\)は、\(r\)を入力とし、\(a\)を出力とすると考えることができる。従って、データ型の\(Reader \ r \ a\)とフィールドで定義した\(r \rightarrow a\)とは方向が同じと見なせる。

次に、これから説明しようとするものは、反関手\(Writer \ c\)で張られる。後で示すが、そのデータ型は、\(Writer \ c \ a = Writer \ a \rightarrow c\)である。これは、前者\(Reader\)が射の入力を固定したのに対し、後者\(Writer \)は射の出力を固定するためである。このため、\(Writer \ c \ a\)は\(c\)を入力とし、\(a\)を出力とするようにふるまう。これに対して\(Writer \ a \rightarrow c\)は逆である。このため、方向はお互いに逆になる。

さて、本題に移ろう。ここで求めたいのは、\(F(C)\)から\(F(A)\)への射である。下図のようになる。
図

Haskellでの表記に変えると以下のようになる。
図

プログラムは以下のようになる。

{-# LANGUAGE InstanceSigs #-}
class Contravariant f where 
  contramap :: (a -> b) -> f b -> f a

newtype Writer c a = Writer { getEven :: a -> c }

instance Contravariant (Writer c) where
  contramap :: (a -> b) -> Writer c b -> Writer c a
  contramap f (Writer g) = Writer (g.f)

even' = contramap (length :: String -> Int) (Writer even)

smap' =["Takuya","Goro","Hiroaki","Singo"]

前と同じように実行してみよう。予想通りの動きになっている。

*Main> getEven even' "Taro"
True
*Main> getEven even' <$> smap'
[True,True,False,False]

\(Reader\)の場合と同じようにこれも圏の積になるが、反関手なので、\(C^{op} \times E \rightarrow E \)と記す。\(\mathcal{C}^{op}\)は\(\mathcal{C}\)の全ての矢印を逆にした圏を表す。

次回はいよいよ関手の最後、プロファンクタのお出ましだ。

秦野市桜土手古墳公園

小田急線を利用して秦野市にある古墳を見に行った。最寄り駅は渋沢である。北口に出てまっすぐに丹沢の方に向かって歩く。島津製作所や日産自動車などの工場街の中にあるのが桜土手古墳公園だ。

中に入るとすぐにこんもりと盛り上がった小さな丘がある。古墳だ。

近づいてみるとこのような説明書きがある。

それぞれの古墳について築造された時期が記されていなかったが、ウィキペディアで調べてみると、7世紀後半を中心に6世紀末から8世紀初頭に作られたとのことだ。35基の古墳が確認されているそうで、公園内にはそのうちの6基が保存されている。

展示館に古墳時代のジオラマがあった。すべてが円墳である。

公園の中は古墳を取り巻くように散歩道が作られているのでそれに沿って歩く。古墳の中には木が生えているものもある。

この古墳には次のような説明があった。径が15.6mあるそうだ。

しばらく行くと復元された古墳に出会う。

1号古墳を復元したものだ。周りは葺石で覆われ、そして、2段になっている。お墓は横穴式石室である。石室の入り口は

石室の中から外側を覗くと

公園事務所の人が掃除をしている姿も見ることができる。
横穴式の石室の説明は、

石室の中ではなく墳丘の上部から、割られた大きな須恵器の甕が発見されたそうである。埋葬儀式のときに割られたものと考えられている。

手前の大きな甕がそれである。穴が空いている部分が、割るために何かをぶつけた場所と考えられている。死者がもたらす災いから免れるために甕を割ったのであろうかなどと葬祭儀式の意義を見つけながら眺めた。

お墓を作っている場面を想定したジオラマもあった。

墓の復元にはフォークリフトなどを用いて30日程度かかったそうである。当時の人たちはどれだけの日数をかけたのであろうか。また、築造中の事故も多かったのではなどと思いを巡らしながら、お腹もすいてきたこともあって古墳公園を後にした。

関手―余積をファンクタで実現する

６．８　余積をファンクタで実現する

前回の記事では関手を利用しての積と余積を定義する中で\(Identity\)を用いたが、その詳しい説明はしなかった。そこで、ここでは、まず、データ型\(Identity\)の定義から話を始めよう。関手\(Identity\)の可換図式は下図のようになる。

これを参考にしてHaskellで\(Identity\)のデータ型とファンクタを実現すると次のようになる。

data Identity a = Identity a deriving (Eq, Show, Read) 

instance Functor Identity where
  fmap f (Identity a) = Identity (f a)

終対象への写像に似ている関数で、一つの値\(c\)に写像する定数関数\(const\)と呼ばれるものがある。これを下図のように関手として利用してみよう。

\(Const\)のデータ型とファンクタは次のようになる。

data Const c a = Const c deriving (Eq, Show, Read)

instance Functor (Const c) where
  fmap f (Const c) = Const c

少し利用してみよう。

*Main> a = Identity 4
*Main> fmap (*3) a
Identity 12
*Main> fmap (+6) a
Identity 10
*Main> b = Const 3
*Main> fmap (*3) b
Const 3
*Main> fmap (+6) b
Const 3

今得た二つの可換図式を左右を逆にして重ねてみよう。

この可換図式は定数\(Const \ c\)と値\(Identity \ a\)との余積と見ることができる。しかも、余積はファンクタとしての\(Identity\)と\(Const\)により実現されている。

それでは、\(Const \ c\)を\( ( ) \)で置き換えてみよう。

これも余積である。Haskellは余積を\(Either\)で表していたので、これは\(Either \ (Const \ ()) \ (Identity \ a)\)と書くことができる。

これは何かに似ていないだろうか。\(Maybe\)は値を持たないか値を持つかのいずれかであった。値を持たない場合には\(Nothing\)で表し、持つ場合には\(Just \ a\)で表した。そこで、これを今得た\(Either\)に当てはめてみよう。\(Nothing\)を\(Const \ ( )\)と、\(Just \ a\)を\(Identity \ a\)と考えてみよう。相互に表現法が違うだけで同じものであることが分かる。そこで、\(Either \ (Const \ ()) \ (Identity \ a)\)をタイプを用いて次のように\(Maybe'\)で言い換えてみる。

type Maybe' a = Either (Const () a) (Identity a)

少し利用してみよう。変数のデータ型を定めながらの利用になるが以下の様である。

*Main> a = Identity (3 :: Integer)
*Main> b = Right a :: Maybe' Integer
*Main> c = Const () :: Const () Integer
*Main> d = Left c :: Maybe' Integer
*Main> :t a
a :: Identity Integer
*Main> a
Identity 3
*Main> b
Right (Identity 3)
*Main> c
Const ()
*Main> d
Left (Const ())
*Main> :t a
a :: Identity Integer
*Main> :t b
b :: Maybe' Integer
*Main> :t c
c :: Const () Integer
*Main> :t d
d :: Maybe' Integer
*Main> :i a
a :: Identity Integer 	-- Defined at <interactive>:9:1
*Main> :i b
b :: Maybe' Integer 	-- Defined at <interactive>:10:1
*Main> :i c
c :: Const () Integer 	-- Defined at <interactive>:11:1
*Main> :i d
d :: Maybe' Integer 	-- Defined at <interactive>:12:1

このことからも、\(Maybe\)と\(Either\)は同じ概念を表していることが分かる。沢山のファンクタについて説明してきたが、次は反関手の話をする。

関手ー積と余積

６．７　関手ー積と余積

前回の記事で関手のおさらいをした。一段と理解が深まったことと思う。今回は、再び積と余積について論じよう。前々回では、双関手としての積と余積について述べたが、ここは、この話ではない。

もう一度、積と余積の定義に戻って、そこから関手の世界へと入ることにしよう。

デカルト積は圏論では積の圏として定義され、その可換図式は下図のようになっていた。

積の圏には対象\(C\)、射\(p,q\)、対象\(A,B\)が存在し、さらに、一意的な関数\(m=(f, g)\)が存在して、その他の対象\(C'\)に対して、\((f,g): C' \rightarrow C\)となる。
即ち、
1) 積と呼ばれる対象が一つ存在する。これを\(C\)とする。
2) \(C\)には投影(Projection)と呼ばれる二つの射\(p,q\)が存在する。これらは\(C\)をそれぞれ\(A,B\)に投射する。
3) \(C\)以外の任意の対象\(C'\)は\(A,B\)へ投影する射\(p',q'\)を持つ。そして、ただ一つの射\( (f, g) \)が存在し、これは\(p'=p \circ f,q'= q \circ g\)を満たす。

\(C\)が上記を満たす時、これは\(A,B\)の積と呼ばれ\(C=A \times B\)と記される。

これをHaskellで表現する。大文字で表されている対象が、小文字で表される型変数に変わることに注意すると次の図のようになる。

ところで、\(B\)を終対象\(T\)で置き換えよう。次のようになる。

ここで、\(unit\)は終対象への射とする。この結果、\(C\)から\(T\)への射は一意に定まる。同様に、\(C'\)から\(T\)への射も一意に定まる。従って、\(g=unit\)となり、一意に定まる。同様に、\(f\)は\(C\)から\(A\)への射として与えられたものであるため、\(f,g\)は一意に定まる、このため、この図は圏の積となっている。

これをHaskellで描いてみよう。

ところで、積といっているので、算術での掛け算と考えて、\(C=A \times T\)と\(C=A' \times T\)にある\(T\)を1に替えてみよう(\(T\)は一つという意味で\(unit\)と呼ばれることがある。一つを顕在化し1とする)。可換図式は次のようになる。

さらに、\(A \times 1\)は\(A\)と考えてよいだろうから次の可換図式を得る。ここで、\( (f,unit) \)は\(f\)となることに注意しよう。

それでは、それぞれの対象は別々の圏\(\mathcal{C,D,E}\)に存在しているとしよう。そして、それらは関手\(Identity,Unit\)により結ばれているものとする。

対象間はデータ型\(Identity,Unit\)で、関数間は\(fmap\)で写像されることを考慮に入れて、Haskellで実装すると以下のようになる(なお、\(Identity\)とその\(fmap\)の実装については次回で述べる)。

さて元々あった積の可換図式を重ねてみる。

この図から、\( (a,( ) )\)と\(a\)は同型写像であることが分かる(\( (a,( ) )\)と\(a\)の間の写像がエピ射でありモノ射であることを証明すればよい)。即ち、同値というわけではないけれど、同型である。圏論では同型という概念は非常に重要である。それは自然な形で変換できることに起因している。そして、圏論では自然変換を重宝に利用する。

また、余積に対しても同様な可換図式を得る。

ここで得た積と余積の概念を発展させるとテンソル積(tensor product)の世界へと進むことができる。

市ヶ尾の横穴墓群と古墳群を訪れる

東京の冬は、寒い寒いと挨拶するときに常套句としてかわすが、本当は過ごしやすい。20年以上も前になるが、隣に住んでいたドイツ人が、東京の冬は素晴らしいといっていた。ドイツの冬はどんよりと曇っていて、夜の帳が下りるのも早いそうだ。

今日は快適な冬の一日、晴天に恵まれ風一つない穏やかな日だったので、近くの古墳時代の遺跡を訪ねてみた。

きっかけをくれたのは、高田寛太さんの『海の向こうから見た倭国』である。

Amazonの宣伝を見て面白そうなので予約購入した本だ。電子版の販売の日(24日)はいつものように朝早く目を覚ました。昨夜の読みかけで枕元にKindleが置いてあったので、もう配布されているかなと期待して開いてみたところ、すでに読める状態になっていた。予想通りなかなか面白い本で、用事の合間を縫いながらではあったが、その日の夕方までには読み終えた。

3世紀前半から6世紀前半までの古墳時代の倭国と佳那、百済、新羅、高句麗の政治的・経済的・文化的交流関係を古墳や副葬品を通して論述している。現在のそれぞれの国という枠組みでこの時代を見てはいけない、朝鮮半島と日本列島の海岸線に沿った流域が一つの文化圏をなしていると思えるほどに豊かな関係にあった、などなどを明らかにしてくれる。優れた本だと思う。

この本を読む前に、森下章司さんの『古墳の古代史』を読んだ。

この本は前方後円墳が発生した背景を中国そして朝鮮半島との相互作用の中から引き出そうと意欲的な試みをしている。ダイアモンドではないけれど、原始社会を考えるときは文化人類学的な視点が必要なのではないかと感じていた時だったので、森下さんの「渦巻」という用語は大変面白かった。この用語は、各地域での社会の集団化と階層化が進む中で、有力者・支配者が生まれ、さらには王や大王へと進展していくということを表している。ダイアモンドも踏襲していた新進化論の流れの中にあるものだ。分かりやすい議論だと思う。

さて、今日訪れた古墳を紹介しよう。訪れた場所は横浜市都筑区市ヶ尾である。ここには、市ヶ尾横穴古墳群と稲荷前古墳群がある。近くを谷本川が流れ、二つの古墳群は対峙する丘の上にそれぞれある。

横穴古墳群は6世紀後半から7世紀後半の古墳時代末期に作られた。農民の中でも階層化が進み、その中の有力な家族がここに埋葬されていると考えられている。古墳群は、A,B二つの群からできている。

A群の墓はこのような感じ。この左右にも同じような墓がある。

横穴はこのような状態になっている。

墓に近付いてみる。

中に入ってみる。壁画が描かれていれば素晴らしいのだが、さすがにそのようなものはない。

別の墓の中に入って外側を見る。

B群の墓も同じような感じである。

墓からの景色はとても素晴らしいようだ。

道路に出て、市ヶ尾小学校越しに写真を撮ってみる。先ほどの絵の様には見事ではないが、丹沢山塊がかすんで見える。

市ヶ尾横穴古墳群から稲荷前古墳群へと向かう途中で、梅が満開だった。

稲荷前古墳群は４世紀後半から７世紀にかけてのこの地域の首長とそれに連なる人々の墓地と考えられている。ここには、古墳の博物館といわれるほどに色々なタイプ(前方後円墳、前方後方墳、円墳、方墳)が作られていた。現在は、前方後方墳と方墳二基が残されている。

正方形をした二つの墳丘で構成された前方後方墳を横から見ると

てっぺんに上って見ると

また、てっぺんから付近の景色を見ると

この墳丘からは、底部に孔をあけた壷型土器や器台などが8個体発見されていて、これらの遺物から4世代後期に構築したと考えられている。この墓は、全長37.5m、後方部幅15.5m、前方部幅14.0、くびれ部幅10.0～11.5mである。

前方後方墳は東日本に特徴的にみられる碁制である。その理由については諸説存在する。その中の一つに、倭国と対立していた狗奴国の系譜であるという見方がある。もし、そうだとすると、市ヶ尾も狗奴国と関係のあった地域となり、面白さが増す。

このすぐそばにある方墳では、小学生が子犬と遊んでいた。

この墓は、先ほどの墓よりは新しい時期に作られたことが分かっている。

反対側にももう一つ方墳があった。

これは先に説明した前方後方墳と同様に大量の盛土で作られたことが分かっているそうである。

市ヶ尾横穴古墳群は市が尾駅から10分、稲荷前古墳群は市ヶ尾横穴古墳群から20分ぐらいなのだが、遺跡への入り路が分からずに余分に歩いたこともあり、通算で1万歩を越えた。週末の良い運動になった。

関手―Haskellで関手をどのように理解したらよいか

６．６　Haskellで関手をどのように理解したらよいか

圏論の中で重要な概念の一つは関手(functor)だ。そして、Haskellでも最も便利な道具の一つはファンクタである。数回の記事の中で、いくつかの例を挙げながら、圏論での関手を説明してきた。また、それとのつながりの中で、Haskellでのファンクタの使い方についても説明してきた。だいぶ慣れてきたとは思うが、次のステップに行くために、ここでもう一度原点に立ち戻って関手とは何だったのか、ファンクタとは何だったのかをもう一度振り返ることにする。

まず、圏とはという話からしてみよう。圏は構造を持った世界である。構造は簡単に言ってしまうと点の集まりとその間を矢印で結んだものである。数学の用語を用いると点は対象であり、矢印は射である。点と矢印はとても抽象化された世界である。その実例はいろいろなものを考えることができる。

点は個々のものであっても構わないし、集まりであっても構わない。例えば、小学校での学級という世界を考えるときは、点は一人一人の生徒になるであろう。しかし、小学校という世界を考えるときは、点はそれぞれの学級になるであろう。対象が学級となった時は、それを構成している要素である個々の生徒については考えないということになる。さらに進んで、横浜市の小学校という世界になれば、点は小学校ということになり、学級でさえ無視されることとなる。

矢印は点の間の関係を表す。点が学級の場合であればどのような矢印が考えられるであろうか。朝礼の時の並び順は二人の児童の関係を表しているので矢印として利用することができそうだ。同じような意味で成績順なども矢印として利用できそうだ。しかし、圏では二つの矢印は合成できるという約束になっている。このため、二つの点の関係を表しているものでも矢印として利用できないものも存在する。例えば、好きや嫌いを表すような関係は難しい。A君がB君を好きで、B君がC君を好きだとしても、A君がC君を好きだとは限らない。往々にして嫌いなことがある(圏論では矢印はつなげられるのでA君はC君が好きでないと破綻してしまう)。このため、圏論を実際の場面に応用しようとした時、工夫をしないとうまく表せないものもある。

世界を点と矢印で構成したら、二つの圏の構成を比べてみたいと自然に思うようになるだろう。例えば、学級の世界と大人社会の世界を比較したいと思うだろう。学級での児童間での上下関係と大人社会での権力構造とを比較してみようと思うだろう。どうしたらできるだろうか。一つの考え方は、子供の上下関係を大人の権力構造に移すことだろう。うまく移すことができれば、学級でのある構造が大人社会にも内在しているということを発見するであろう。このような役割を担ってくれるのが関手である。

関手をビジュアルに示したのが、上図である。図には二つの圏\(\mathcal{C,D}\)がある。それぞれの圏で、点で表されたのが対象であり、矢印で表されたのが射である。従って、\(\mathcal{C}\)では、点として表されている\(A,B,C\)が対象であり、矢印として表されている\(f,g\)が射である。また、\(f\)と\(g\)を合成した矢印\(g \circ f\)も射である。この他に自身への射、恒等射\(id_A,id_B,id_C\)が存在する。

\(\mathcal{C}\)の構造を移したのが、右側の\(\mathcal{D}\)である。こちらには\(\mathcal{C}\)の構造を移したものしか表示していない。このため、この他にも点や矢印は存在しても構わないものとする。

\(\mathcal{C}\)の構造を\(\mathcal{D}\)に写したものが関手\(F\)である。従って、\(A,B,C\)は\(F(A),F(B),F(C)\)に移される。また、\(f,g,g \circ f\)は\(F(f),F(g),F(g \circ f)\)に移される。さらに、関手には次のようは次のような約束を求めている。合成した射を関手で写像したものは、それぞれの射を関手で写像しそれを合成したものと同値である、即ち、\(F(g \circ f)=F(g) \circ F(f)\)である。即ち、関手で写像する前に合成しても関手で写像した後で合成したとしても同じであるという約束をしている。これは恒等射についても同じである。

関手の定義には、写像(射)を写像するという概念が入り込むので、最初はとっつきにくきもする。しかし、射を写像の集合と見なせば、これまで馴染んできた集合の写像の概念と同じになるのですんなりと受け入れられるようになる(圏では射の集合は\({\rm Hom}(A,B)\)で表す。これは、対象\(A\)から対象\(B\)への射の集合と読む)。

Haskellで関手をどのように利用したらよいのだろうか。Haskellを使っていて便利だなと思うのは、データ型を自由に設定できることだ。プログラムはある応用分野に向けて書くのが普通だ。会計のシステムを作りたいとか、量子力学の問題を解きたいとか、ゲームを作ってみたいとか、それぞれ目的としているところがあると思う。そして、それぞれの応用分野には、それぞれ独自の用語がある。あるいは、それぞれの用語がその世界を規定しているといってもよいと思う。プログラムを書くとき、それぞれの用語を用いて、会計システムであれば会計の用語や約束事を用いて、プログラムを記述できれば読みやすいプログラムを実現することができる。

そのように用意されたプログラミング言語をドメイン固有言語(domain specific language)というが、応用分野ごとにこのような言語を用意するのではたまらない。Haskellの良さは、応用分野に向けたデータ型を開発者が定義することで、ドメイン固有言語が容易に用意できることだ。先ほどらいの関手という概念を用いるならば、Haskellが用意している汎用的な世界を、新たに定義したデータ型が関手として働くことによって、応用分野に移してくれる。このため、開発者はHaskellのプログラミング手法を用いて、ドメイン固有言語が与えられているような感覚で、自然な姿で特定の分野に向けたプログラムを書くことができる。

Haskellでの関手を実装するためのプロトタイプを下図に示す。

Haskellでは射は関数である。また、対象はデータ型と呼ばれる。Haskellのプログラムでは、関数の入力と出力の関係を型シグネチャで表す。入力と出力のそれぞれの値はあるデータ型に属している。しかし、そのデータ型はいくつかの可能性がある場合がある(例えば、加算であれば、整数であることもあるし、分数であることもあるし、小数であることもある)。そこで、可能性がいくつかある場合には変数と見なして小文字で表す(これを型変数という)。このため、圏では対象を大文字で表すのが通例となっているが、Haskellで記述するときは、小文字で表す。

圏論では関手によって写像される先は\(F(A),F(f)\)のように、\(F\)を用いて表していた。しかし、Haskellでは、対象と射の写像を別々に表す。対象はデータ型によって移され、射はクラス(この場合はファンクタを定めているクラス)をインスタンス化することで実現される。図に示したように、前者は

data Type_Constructor = Data_Constructor ..

で、後者は

instance Functor Type_Constructor where
  fmap f = ...

となる。

このテンプレートを用いて\(Maybe\)を実装したのが下図である。

この上図で\(Maybe\)が型コンストラクタ、\(Nothing\)と\(Just\)がデータコンストラクタである。\(Maybe\)の横にある\(a\)を型引数と呼ぶが、\(a\)が属する型を\(Maybe\)というデータ型の世界に移したのが、ここでの記述である。

それでは、\(Maybe\)を定義することで、どのような応用分野が提供されたのであろうか。\(Maybe\)が利用される範囲が広すぎて具体的に述べることは難しいのだが、計算の世界で値が定まらなかったときにエラーが生じないような世界を提供したということになるであろうか。次回に話すが、余積の概念を実現したということだ。