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-10-17 レノボとThinkPadにはもうガッカリだぜ（サポートのメール全文公開） 日常 僕は、ThinkPad がIBM製品だった時代から今まで、ThinkPad をずっと使い続けています。次の写真の下側のノートPCは ThinkPad X1 Carbon Gen 12 で、上に載っている汚れた箱は ThinkPad 701C （バタフライキーボード）の模型の箱です。模型は ThinkPad 10周年… 2025-10-16 ヒルベルトのイプシロン記号とボトム 雑記／備忘 「ヒルベルトのイプシロン記号のうまい使い方」において、ヒルベルトのイプシロン記号を集合ではなくて集合族に作用させると具合がいい、という話をしました。このことを別な側面から見てみます。$`A`$ が空でない集合のとき、$`\varepsilon\, A`$ は、$`A`$… 2025-10-14 また「普遍性
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ページを開く
