Photo Tourism: Microsoft Research, Interactive Visual Media Group
Catamorphism - Wikipedia
圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。 Anamorphismはこの双対となる概念である。Hylomorphismも参照。 Catamorphismは関数型プログラミングにおいてリストの fold と呼ばれる操作を、始代数として表現できる任意の代数的データ型に一般化したものである。 プログラミングにおいて Catamorphism の概念を導入した最初の出版物の一つは、“Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire”, by Erik Meijer et al.[1]で、Bird-Meert
檜山正幸のキマイラ飼育記 (はてなBlog)
2025-08-04 属性付き半グラフ 雑記／備忘 以下の過去記事達で属性付きn-グラフ（主に n = 0, 1, 2）について述べました。 属性付き2次元グラフ： 図式言語の基本 属性付き2-グラフのスノーグローブ現象 属性付きn-グラフはいけてる この記事では、グラフ〈有向グラフ〉を半グラフ〈無向半グラフ〉に… 2025-08-02 モノイド圏の「装備〈supply〉」って言葉の使い方 雑記／備忘 サプライ〈supply〉は、フォングとスピヴァックにより定義された、対称モノイド圏に対する付加的構造のことです。 [FS19-20] Title: Supplying bells and whistles in symmetric monoidal categories Authors: Brendan Fong, David I Spivak Submitted: 7 Au… 2025-0
Category Theory for the Java Programmer
[Edit May 11, 2012: I’ve got a whole blog on Category Theory in JavaScript.] There are several good introductions to category theory, each written for a different audience. However, I have never seen one aimed at someone trained as a programmer rather than as a computer scientist or as a mathematician. There are programming languages that have been designed with category theory in mind, such as Ha
カテゴリカル・モデリングに向けて - 檜山正幸のキマイラ飼育記
今年(2009)の4月に書いたエントリー「予告：セミナー「モナド」シリーズを開始します」の後半で、「さて、僕のモチベーションの由来として、…」ということで、2005年3月28日に書いたエントリー「圏論とコンピューティング・サイエンス（とか勢いで書いてみる）」を全文引用しています。もう一度引用はしませんが、僕が“隠れカテゴリスト”だった状況が書いてあります。 実際、1990年代後半くらいから僕は、コンピューティングとソフトウェアを理解する手段として、システムを設計するガイドラインとして圏論を使っています。万能だとも最強だとも言いませんが、「かなり役に立つ」とは言えます。 ただ、せっかく圏論を学んでも使い方が間違っているような、それじゃうまくいきっこないじゃん、みたいな状況もあるようです。ラムダセミナー、モニャドセミナー、コモニャドセミナーをやってみて驚き、強く印象に残ったことは、学校で習った
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
