気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
ja.wikipedia.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
B,C,K,Wシステム - Wikipedia
B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この... B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCurry 1930において示された。 定数記号 B, C, K, W の簡約基の簡約規則は次のように定義される： B x y z → x (y z) C x y z → x z y K x y → x W x y → x y y これらのコンビネータは、直感的に次のような働きをするものと考えられる： B x y は関数合成。 C x y z は引数交換。 K x y は破棄； W x y は複製。 2つの基本的な定数記号 S, K（及び SKK と外延的に同値な閉項 I）からなるSKIコンビネータ計算があり、ここでは B, C, W は
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ja.wikipedia.org
ja.wikipedia.org)
ja.wikipedia.org
ja.wikipedia.org
weathernews.jp
www.sankei.com
togetter.com
www.47news.jp
blog.tinect.jp
www.lifehacker.jp
togetter.com
qiita.com/namn1125
speakerdeck.com/otakakot
speakerdeck.com/tsuemura
speakerdeck.com/yoshikiiida
zenn.dev/voluntas
mpdf.github.io
2013/09/08 リンク