bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellプログラミング講座（上級編：接着関数） １．接着関数 部品を結合して製品にしたり、サブルーチンを集めてプログラムを作成したり、課をまとめて部にしたりなど、物理的な結合や概念的な結合は日常茶飯事に発生する。このような結合は、数学的には、接着関数として次のように定義される。接着空間：ある空間\(Y\)の部分空間\(Y_0\)を別の空間\(X\)に関数\(f: Y_0 \rightarrow X\)で接着したときの空間は、 \(X \sqcup Y/ \sim = Y \sqcup_f X / (y \sim f(y) | \forall y \in Y_0 )\) と表す。ここで、空間\(X \sqcup Y/ \sim \)は、\(y… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2014%2F10%2F11%2F042834" title="接着関数－路線網 - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20141011/20141011042701.png Hatena Blog https://hatena.blog 2014-10-11 04:28:34 rich https://bitterharvest.hatenablog.com/entry/2014/10/11/042834 1.0 100%