Hatena Blog Tags
はてなブログ トップ
補題
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

補題

(サイエンス)
【ほだい】

Lemma

ある定理を証明するための補助定理。レンマ。

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る
24ブックマークScala 初心者が米田の補題を Scala で考えてみたwww.slideshare.net
14ブックマーク伊藤の補題 - Wikipediaja.wikipedia.org
12ブックマーク米田の補題 - Wikipedia米田の補題（よねだのほだい、英: Yoneda lemma）とは、小さなhom集合をもつ圏 C について、共変あるいは反変hom関手 hom(A , _), hom(_, A) から集合値関手 F への自然変換と、値となる集合 F(A) の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マッ...ja.wikipedia.org
11ブックマークツォルンの補題 - Wikipediaja.wikipedia.org
7ブックマーク僕が『流動体について』に乗れなかった理由：小沢健二の神様観の変化？ （7000文字） - 真実性補題c-manifold.hatenablog.com
7ブックマークContinuation-passing style (継続渡し)、Haskell のリストと差分リストから、あと米田の補題 - Qiitaqiita.com
7ブックマーク圏論番外：米田の補題に向けてのオシャベリ - 檜山正幸のキマイラ飼育記 (はてなBlog)m-hiyama.hatenablog.com
6ブックマークHaskellのCo/Yoneda型と米田の補題をきちんと繋げる - Qiitaqiita.com
6ブックマーク正規言語の反復補題 - Wikipedia正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。 この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された[1...ja.wikipedia.org