F代数 F -終余代数

ウィキペディア
索引トップ 用語の索引 ランキング カテゴリー
ウィキペディアウィキペディア

F代数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/11 15:51 UTC 版)

F -終余代数

双対的な方法で、同様の関係が最大不動点とF-終余代数の間に存在する。これらは強正規化性を維持しながら、可能無限個のオブジェクトを扱うことを可能にする。[1] 強正規化を行うプログラミング言語Charityの、余帰納的データ型は驚くべき結果を得ることが出来る。 例えば、アッカーマン関数のような"強い"関数を実装するために参照の構成要素を定義する。[2]

参考文献

  • Pierce, Benjamin C.. “F-Algebras”. Basic Category Theory for Computer Scientists. ISBN 0262660717 

関連項目


脚注
  1. ^ a b Philip Wadler: Recursive types for free! University of Glasgow, July 1998. Draft.
  2. ^ Robin Cockett: Charitable Thoughts (ps and ps.gz)

[前の解説]
[続きの解説]

「F代数」の続きの解説一覧

急上昇のことば

苜蓿
帝人事件
右近良之
missav
カナル
英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

全て

＋ ビジネス

＋ 業界用語

＋ コンピュータ

＋ 電車

＋ 自動車・バイク

＋ 船

＋ 工学

＋ 建築・不動産

＋ 学問

＋ 文化

＋ 生活

＋ ヘルスケア

＋ 趣味

＋ スポーツ

＋ 生物

＋ 食品

＋ 人名

＋ 方言

＋ 辞書・百科事典

すべての辞書の索引

あいうえお
かきくけこ
さしすせそ
たちつてと
なにぬねの
はひふへほ
まみむめも
やゆよ
らりるれろ
わをん
がぎぐげご
ざじずぜぞ
だぢづでど
ばびぶべぼ
ぱぴぷぺぽ
ＡＢＣＤＥ
ＦＧＨＩＪ
ＫＬＭＮＯ
ＰＱＲＳＴ
ＵＶＷＸＹ
Ｚ
１２３４５
６７８９０
記号

Weblioのサービス

「F代数」の関連用語

1
厳密な定義
ウィキペディア小見出し辞書
76% |||||

2
F -終余代数
ウィキペディア小見出し辞書
54% |||||

3
F -始代数
ウィキペディア小見出し辞書
50% |||||

4
圏論における Catamorphism
ウィキペディア小見出し辞書
38% |||||

5
圏論
ウィキペディア小見出し辞書
16% |||||

6
Catamorphism
百科事典
14% |||||

7
始代数の例
ウィキペディア小見出し辞書
14% |||||

8
計算機科学での利用
ウィキペディア小見出し辞書
14% |||||

9
始代数
百科事典
12% |||||

10
八元数環
百科事典
8% |||||

F代数のお隣キーワード

Fリーグオールスターゲーム

Fリーグテバオーシャンアリーナカップ2012

Fリーグ準会員リーグ

F・ポール・ウィルソン

F・マーリー・エイブラハム

F・ロス・ジョンソン

F代数

F余代数

F作戦

F値

F値 (評価指標)

F分布

F区 (ヨハネスブルグ)

検索ランキング

   

 英語⇒日本語
日本語⇒英語		    


F代数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのF代数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS