写像対象―入門

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

認知考古学の系統を手繰っていくと、英国のスティーブ・ミズン(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\)が利用される範囲が広すぎて具体的に述べることは難しいのだが、計算の世界で値が定まらなかったときにエラーが生じないような世界を提供したということになるであろうか。次回に話すが、余積の概念を実現したということだ。

関手ー双関手

６．５　双関手

１）関手としての積と余積

前々回の記事で、Haskellが用意している関手のリストを示した。

Prelude> :i Functor
class Functor (f :: * -> *) where
  fmap :: (a -> b) -> f a -> f b
  (<$) :: a -> f b -> f a
  {-# MINIMAL fmap #-}
  	-- Defined in ・eGHC.Base’
instance Functor (Either a) -- Defined in ‘Data.Either’
instance Functor [] -- Defined in ‘GHC.Base’
instance Functor Maybe -- Defined in ‘GHC.Base’
instance Functor IO -- Defined in ‘GHC.Base’
instance Functor ((->) r) -- Defined in ‘GHC.Base’
instance Functor ((,) a) -- Defined in ‘GHC.Base’

この中で、\( ((\rightarrow) r)\)については説明したが、\( ((,) a)\)と\( (Either \ a)\)については説明しなかった。これらは、圏論での積と余積についてのところで説明した。その時は、一つの圏の中での二つの対象と一つの対象の普遍的な関りを説明する中で述べた。

それでは積の方から説明を始めよう。Haskellでは積は\((a,b)\)と書かれる。常套手段だが、カンマを中置関数と見なして、これを前置関数にすると\((,) \ a \ b\)と書くことができる。このようにすると、\((,) \)は型コンストラクタと見なすことができる。あるいは、一つのデータ型を作り出しているといってよいであろう。データを取り出す手段が、\((,) \)である(同じようなことは関数すべてにいえる。関数は型コンストラクタで、データを取り出す手段である)。

\((,)\)が型コンストラクタであることから、これは関手として利用することが可能である。その例を下図に示す。

ここで、(,)は次のように関手として定義されている。

Instance Functor ((,) a ) where
  fmap (x,y) = (x, f y)

また、Eitherは次のように定義されている。

Instance Functor ((,) a ) where
  fmap (x,y) = (x, f y)

２）関手としての積と余積

関手はある圏からある圏(同じ圏でも構わない)への写像であった。それでは、ドメインが一つの圏ではなくて、二つの圏の場合はどうであろうか。その例を示そう。

この図は、先に説明した積を一般化したものである。積のそれぞれは別々の圏に属す(図では\(\mathcal{C}\)と\(\mathcal{D}\)である)。それぞれから対象が選ばれ、それは別の圏へと写像される(図では\(\mathcal{E}\)である)。

一つの圏からではなく二つの圏(\(\mathcal{C,D}\))からひとつの圏(\(\mathcal{E}\))に写像しているような関手(\(F: \mathcal{C} \times \mathcal{D}\rightarrow \mathcal{E}\))を双関手(Bifunctor)という。これのHaskellでは次のように定義することができる。

class Bifunctor f where
  bifmap :: (a -> b) -> (a' -> b') -> (f a a' -> f b b')

積と余積はこのクラスのインスタンスとして定義することができる。下図には双関手と積の関係を示す。

関手を学ぶ良い機会になるので、積と余積のインスタンスの作成は読者に任せる(双関手の実装はData.Bifunctorを調べると分かる)。

次回はモノイド圏についてである。

関手ー圏の圏

６．４　圏の圏

圏と圏とをつなぐ射は関手という特別な名前がついているが射であることに変わりはない。従って、二つの関手を合成することもできるはずだ。

図のように、三つの圏\({\mathcal C}\),\({\mathcal D}\),\({\mathcal E}\)を考えてみよう。\({\mathcal C}\)から\({\mathcal D}\)へは関手\(F\)で、\({\mathcal D}\)から\({\mathcal E}\)へは関手\(G\)で写像されているとする。そして、関手の合成\(G \circ F\)が存在するとしよう。

また、\({\mathcal C}\),\({\mathcal D}\),\({\mathcal E}\)には自身を自身に写像する恒等な関手\(id_{\mathcal C}\),\(id_{\mathcal D}\),\(id_{\mathcal E}\)があるとしよう。

さらに結合律、単位律が成り立っているとする。

このような関手を射とし圏を対象にすると、次に示すように圏の条件を満たしていることが分かる。

1)　対象\({\mathcal C}\),\({\mathcal D}\),\({\mathcal E}\)を有する。
2)　射\(F,G\)を有する。
3)　射はドメインとコドメインを有する。即ち、\(F: {\mathcal C} \rightarrow {\mathcal D},G: {\mathcal D} \rightarrow {\mathcal E}\)
4)　すべての対象に対して恒等射\(id_{\mathcal C}\),\(id_{\mathcal D}\),\(id_{\mathcal E}\)が存在する。
5)　コドメインとドメインが一致している射は合成でき、それも射となる。即ち、\(G \circ F\)

前回の記事で、リストを定義した。そこでは、リストは\(Cons\)が何度も繰り返し現れ、リストの要素が見にくかった。Haskellでは構成要素とその順番がすぐにわかるように、リストを\([a,b,c,… ]\)と表している。これは次のように定義されている。

data [ ] a = [ ] | a : [a]
instance Functor [ ] where
  fmap :: (a -> b) -> [a] -> [b]

このリストに対しては、最初の要素を取り出す\(head\)と最初の要素を取り除いたリストを返す\(tail\)という関数が用意されている。

これを利用してみよう。

Prelude> let a = [1,2,3]
Prelude> head a 
1
Prelude> tail a
[2,3]
Prelude> tail . tail $ a
[3]
Prelude> tail . tail . tail $ a
[]
Prelude> tail . tail . tail . tail $ a
*** Exception: Prelude.tail: empty list
Prelude> head . tail . tail $ a
3
Prelude> head . tail . tail . tail $ a
*** Exception: Prelude.head: empty list

空のリストに\(head\)と\(tail\)を施すとエラーとなる。これを避けるために、次の関数を用意しよう。

safeTail :: [a] -> Maybe [a]
safeTail [] = Nothing
safeTail (x:xs) = Just xs

safeHead :: [a] -> Maybe a
safeHead [] = Nothing
safeHead (x:xs) = Just x

この関数は、関手[ ]の後に、関手\(Maybe\)を施したもので、関手を結合したものである。
それでは利用してみよう。

*Main> let a = [1,2,3]
*Main> tail a 
[2,3]
*Main> tail .tail $ a 
[3]
*Main> tail .tail . tail $ a 
[]
*Main> tail .tail . tail . tail $ a 
*** Exception: Prelude.tail: empty list
*Main> safeTail .tail . tail . tail $ a 
Nothing
*Main> head a
1
*Main> head . tail $ a
2
*Main> head . tail . tail $ a
3
*Main> head . tail . tail . tail $ a
*** Exception: Prelude.head: empty list
*Main> safeHead . tail . tail . tail $ a
Nothing
*Main> 

\({\mathcal C}\)の射\(f\)は\(F(f)\)で\({\mathcal D}\)の射\(g\)に写像されているとする。さらに、\(g\)は\(G(g)\)で\({\mathcal E}\)の射\(h\)に写像されているものとする。

この時、\(G \circ F (f) = G (F (f))\)となる。

それでは、Haskellでの\(fmap\)はどのようになるであろうか。下図を参考にしながら求めてみよう。

g=fmap f
h=fmap g

より、

h=fmap (fmap f)
 = (fmap . fmap) f

となる。

それでは、少し実行してみよう。\(f\)を(+3)にして確認する。

Prelude> f = (*3)
Prelude> h = (fmap .fmap) f
Prelude> m = Just [1,2,3]
Prelude> h m
Just [3,6,9]

それでは、\(f\)を2乗する関数にして確認してみよう。

Prelude> f x = x * x
Prelude> h m
Just [3,6,9]
Prelude> h = (fmap . fmap) f
Prelude> m = Just [1,2,3]
Prelude> h m
Just [1,4,9]

次は双関手(\(Bifunctor\))について述べる。

関手ー一般化

６．３　一般化

\(Maybe\)を利用して関手を説明したが、その他にもいろいろな関手を考えることができる。それらは(\(Maybe\)で説明した)\(fmap\)の実装が異なるだけだ。Javaを知っている人であればインターフェースを用いて実装したらと考えるだろう。Haskellにもオブジェクト指向と同じ概念のものが用意されている。Haskellでは、関手はクラスで一般化し、個々の実体はそのインスタンスで表現できる。

それでは実際に示してみよう。次のようになる。

Class Functor f where
  fmap :: (a -> b) -> (f a -> f b)

上記のプログラムで、\(f\)が関手である。Haskellでは型コンストラクタとなる。
なお、GHCでの定義を見ると次のようになっている。

Prelude> :i Functor
class Functor (f :: * -> *) where
  fmap :: (a -> b) -> f a -> f b

\(f \ a\)と\(f \ b\)がカッコでくくられていないが、これをカーリー化すると\( (f \ a \rightarrow f \ b)\)になるので、表現は異なるが内容は同じである。

これを用いると、\(Maybe\)はクラスをインスタンス化し、次のように実装できる。

data Maybe a = Nothing | Just a deriving (Eq, Show, Read)
instance Functor Maybe where
  fmap _ Nothing = Nothing
  fmap f x = Just (f x)

これまで、\(fmap \ f \ Nothing = Nothing\)と書いてきたが、どのような\(f\)が来たとしても\(Nothing\)を出力するので、ここでは\(f\)の代わりに\(\_\)を用いた。
プログラムを実行してみよう(実装されている\(Maybe\)とぶつかるようであれば、\(Maybe’, Just’, Nothing’\)のように’をつけて実装し、実行して欲しい)。

*Main> fmap (+3) (Just 5)
Just 8
*Main> fmap (+3) Nothing
Nothing

それではリストはどうであろうか。\(Maybe\)を参考にしながら実装しよう。

data List a = Nil | Cons a (List a) deriving (Eq, Show, Read)
instance Functor List where
  fmap _ Nil = Nil
  fmap f (Cons h t) = Cons (f h) (fmap f t)

上のプログラムで、\(Cons \ h \ t\)と書いたが、\(h\)はリストの最初の要素、\(t\)はこれを取り除いたリストである。

プログラムを実行してみよう。

*Main> fmap (+3) (Cons 3 (Cons 4 (Cons 5 Nil)))
Cons 6 (Cons 7 (Cons 8 Nil))

Haskellが用意している\(Functor\)のインスタンスを調べてみよう(厳密にはGHCが用意しているインスタンス)。

Prelude> :i Functor
class Functor (f :: * -> *) where
  fmap :: (a -> b) -> f a -> f b
  (<$) :: a -> f b -> f a
  {-# MINIMAL fmap #-}
  	-- Defined in ・eGHC.Base’
instance Functor (Either a) -- Defined in ‘Data.Either’
instance Functor [] -- Defined in ‘GHC.Base’
instance Functor Maybe -- Defined in ‘GHC.Base’
instance Functor IO -- Defined in ‘GHC.Base’
instance Functor ((->) r) -- Defined in ‘GHC.Base’
instance Functor ((,) a) -- Defined in ‘GHC.Base’

上記に示すような結果を得たことと思う。
ところで下から2行目に見慣れないものがある。\(((\rightarrow) \ r)\)なのだが、これはリーダーと呼ばれる。それではこのリーダーについて説明しよう。

Haskellでは、関数は\(a \rightarrow b\)と記述される。\(a\)が入力で\(b\)が出力である。ところで、\( \rightarrow \)を\(+\)や\(\times\)などと同じように中置関数と考えると、これを前置関数に変えることで\( (\rightarrow) \ a \ b \)と表すことができる。

そこで、\( (\rightarrow) \ a \ b \)は、\(a\)を\(b\)に変換してくれる型コンストラクタと解釈することが可能となる。従って、

type Reader a = (->) a

と表すことが可能となる。
あるいは、両辺から\(a\)を取り除いて

type Reader = (->)

と表しても構わない。これで、\( (\rightarrow) \)は型コンストラクタとなった。ここでは、それを\(Reader\)というシノニムで置き換えている。

ところで、次の図を考えよう。

図で左側から右側への関手は\(Reader \ r\)である。左側にある関数\(f\)でそのドメインは\(a\)でありコドメインは\(b\)である。今、これら\(a,b\)を、右側に示すように、\(r\)をドメインにし、そのコドメインに持ち上げてしまおう。\(a\)を\(g:r \rightarrow a\)に写像する関数は、\(Reader \ r \ a\)と表すことができる。

それでは、\(b\)を\(r \rightarrow b\)に移す関数はどうなるであろうか。\(b\)を関手\(Reader \ r\)を用いて、\(r \rightarrow b\)に写像する。そして、\(r \rightarrow b\)は射である。関手を射に写像するときは\(fmap\)を用いていた。そこで、\(fmap \ f \ g = fmap \ f \ (Reader \ r \ a) \)と考えられる。

これでよさそうなのだが、何となくすっきりとしない。そこで、Haskellでの可換図式ではなく、圏論での可換図式で表してみることにしよう。

上記の可換図式で、\({\rm Hom}(R,A)\)は、対象\(R\)から\(A\)への射の集合である。

次に、\(R\)から\(B\)への写像を考えてみよう。これは、\(\mathcal {D}\)のところの可換図式を用いればよい。(上側の)\(R\)から\(A\)を経由して\(B\)にいたる射の集合を求めると\({\rm Hom}(R,A) \times {\rm Hom}(A,B)\)となる。同じように、(上側の)\(R\)から(下側の)\(R\)を経由して\(B\)にいたる射の集合を求めると\({\rm Hom}(R,R) \times {\rm Hom}(R,B)={\rm Hom}(R,B)\)となる。これが先に求めたものと等しいので、\({\rm Hom}(R,B)={\rm Hom}(R,A) \times {\rm Hom}(A,B)\)となる。

従って、\(fmap \ f \ (Reader \ r \ a) \)でよいことが判明した。

そこで、\(fmap\)のリーダーに対する実装は次のようになる。

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

ここで、f.g は(.) f gと表すことができ左右の辺からf,gを消去すると最終的には次のようになる。

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

上記のプログラムをロードすると\(Use \ TypeSynonymInstances\)とエラーが出る。そこで、これを用いて再度ロードするとファンクタが二重定義であるというエラーが出る。これは、Haskellが\( (\rightarrow)\)のファンクタを用意しているためである。従って、Haskellがあらかじめ用意しているものをここでは用いる。Haskellではどのようになっているかをまず、見てみよう。データ型の定義は次のようになっている。
\begin{lstlisting}[language=sh, basicstyle=\ttfamily\footnotesize, frame=single, breaklines=true]
Prelude> :i (->)
data (->) t1 t2 -- Defined in ‘GHC.Prim’
\end{lstlisting}
しかし、GHC.Primを参照してもこのデータ型の定義は見当たらない。ファイクコードだそうだ。これは表示のためだけに使われているそうである。
しかし、ファンクタの方はちゃんと定義されている。\(Data.Functor\)を見ると次のようになっている。

instance Functor ((->) r) where
    fmap = (.)

システムが用意しているものを実際に使うとこんな感じになる。あまり面白くはない。

Prelude> ((+3) . (*4)) 5
23
Prelude> ((+3) . (+4)) 6
13

次回は、圏から圏を作ることを説明する。

関手ー関手であることの証明

６．２　関手の証明

かつてバークレイの大学院生だった頃に指導教授からプログラムの正当性を研究テーマにしてみないかと誘いを受けたことがある。当時のプログラミング言語と言えばFortlanで、構造がぐしゃぐしゃなプログラムを検証することなど不可能だと直感的に感じて断った経験がある。

純関数型言語を使えるようになった今日ではプログラムの検証は随分と簡単になった。今回の記事で紹介するのもその一つである。Maybeが関手であること、即ち、構造を保持していることを証明しよう。

圏の定義を確認しておこう。
1)　対象\(A,B,C,..\)を有する。
2)　射\(f,g,h,..\)を有する。
3)　射はドメインとコドメインを有する。これらは対象である。
4)　すべての対象に対して恒等射が存在する。
5)　コドメインとドメインが一致している射は合成でき、それも射となる。
さらに、圏は次の二つの法則を満たさなければならない。
① 　結合律。
② 　単位律。

さらに、関手についても確認しておこう。圏論での関手の可換図式は次のようである。

この図で重要なところは、構造を保持しているところで、それらは、
\begin{eqnarray}
F(id_A)=id_{F(A)} \\
F(id_B)=id_{F(B)} \\
F(id_C)=id_{F(C)} \\
F(g \circ f) = F(g) \circ F(f)
\end{eqnarray}
である。

Haskellで、関手を定義するときは、上記が成り立っているかどうかを確認しなければならない。プログラムの方は検証をしてくれないので、検証は開発者の責任となる。

それでは、\(Maybe\)が構造を保持しているかどうかを証明することにしよう。
\(Maybe\)の可換図式は次のようになっていた。

証明すべき項目は以下のとおりである。
\begin{eqnarray}
fmap \ id_a = id_{Maybe \ a} \\
fmap \ id_b = id_{Maybe \ b} \\
fmap \ id_c = id_{Maybe \ c} \\
fmap \ (g \circ f) = fmap \ g \circ fmap \ f
\end{eqnarray}
である。

それでは証明に移ろう。\(fmap\)は次のように定義していた。

fmap :: (a -> b) -> (f a -> f b)
fmap f Nothing = Nothing
fmap f (Just x) = Just (f x)

である。

ここで、先ほどから使用している\(a,b,c\)は型変数である。前の記事では言葉で説明したが、数学的に記述すると次のようになる。対象の集まりを\(\mathcal {O} = {A,B,C,…}\)とする。型シグネチャのところで\((a -> ...)\)と現れるが、このときの\(a\)は\(\forall a,b,c \in \mathcal {O} \)の意味である。\(\forall\)は全称記号で「任意の」という意味である。即ち、\(a\)は、\(\mathcal {O}\)の要素\(A,B,C,..\)のどれに対してもということになる。

そこで、\(fmap \ id_a = id_{Maybe \ a}\)を証明することとしよう。いま\(id\)を次のように定義する。

id :: a -> a
id x = x

上の定義の\(f\)を\(id\)で置き換えると

fmap id Nothing = Nothing
fmap id (Just x) = Just (id x)

\(id\)の定義より以下が成り立つ。

id Nothing = Nothing

CやJavaなどの逐次型プログラミング言語では\(=\)は代入式であるが、純関数型言語のHaskellでは\(=\)は等価、即ち\(==\)である。プログラムで確認してみよう。

Prelude> :t id
id :: a -> a
Prelude> id 3 == 3
True
Prelude> 3 == id 3
True
Prelude> id (Just 5) == Just 5
True
Prelude> Just 5 == id (Just 5)
True

従って、左辺を右辺で、右辺を左辺で置き換えることが可能である。そこで、\(Nothing\)を\(id \ Nothing\)で置き換えると、

fmap id Nothing = Nothing = id Nothing
fmap id (Just x) = Just (id x)

つぎに、2番目の式についても変形してみよう。

id x = x

より、

fmap id Nothing = Nothing = id Nothing
fmap id (Just x) = Just x

また、

id (Just x) = Just x

より、\(Just \ x\)を\(id \ (Just x)\)で置き換えると次のようになる。

fmap id Nothing = Nothing = id Nothing
fmap id (Just x) = id (Just x)

それでは次の\(fmap \ (g \circ f) = fmap \ g \circ fmap \ f\)を証明しよう。

fmap (g . f) Nothing = Nothing
fmap (g . f) (Just x) = Just ((g . f) x)

原理は先ほどと同じなので、式の変形だけを示そう。最初の式は、

fmap (g . f) Nothing = Nothing
                     = fmap g Nothing
                     = fmap g (fmap f Nothing)
                     = ((fmap g) . (fmap f)) Nothing

最後の式は、

fmap (g . f) (Just x) = Just ((g . f) x)
                      = Just (g (f x))
                      = fmap g (Just (f x))
                      = fmap g (fmap f (Just x))
                      = ((fmap g) . (fmap f)) (Just x)

これにより、\(Maybe\)が関手の条件を満たしていることが証明できた。

次回は、\(fmap\)を一般化する。