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 は
タグ
- すべて
- .NET (60)
- 2ch (150)
- 3D (56)
- API (301)
- AR (61)
- Ad (326)
- AdventCalendar (30)
- Agda (49)
- AngularJS (128)
- Ansible (69)
- Arrow (42)
- Atom (32)
- Azure (31)
- Backbone (98)
- Bitcoin (87)
- Blog (99)
- Bluetooth (40)
- Bookmarklet (33)
- C (193)
- C++ (267)
- CDN (28)
- CG (30)
- CGI (38)
- CI (36)
- CMS (41)
- CPAN (639)
- CPU (52)
- CSS (396)
- CentOS (65)
- Chef (60)
- Chrome (248)
- ChromeOS (40)
- CoffeeScript (235)
- Coq (134)
- CouchApp (38)
- CouchDB (291)
- Couchbase (43)
- DB (161)
- DBI (79)
- DJ (371)
- DNS (85)
- DOM (32)
- DSL (77)
- DSP (232)
- DeNA (53)
- Docker (275)
- EC (336)
- EC2 (98)
- ECMAScript (51)
- Emacs (124)
- Erlang (235)
- Excel (46)
- FACT (66)
- FFI (43)
- FPGA (48)
- Firefox (249)
- GC (65)
- GHC (171)
- GPU (55)
- GUI (97)
- Gearman (40)
- Geolocation (72)
- Git (306)
- Gmail (59)
- Go (212)
- GoogleAnalytics (71)
- GoogleAppEngine (82)
- GraphDB (53)
- HP (39)
- HTML (92)
- HTML5 (309)
- HTTP (331)
- Hadoop (57)
- Hardware (59)
- Homebrew (32)
- IDE (109)
- IE (87)
- IRC (28)
- Instagram (43)
- IntelliJ (59)
- JSON (149)
- JSX (30)
- JVM (85)
- Java (591)
- Jenkins (67)
- KORG (38)
- KVS (80)
- Kinect (72)
- LINE (38)
- LLVM (81)
- Lens (40)
- Like (36)
- Lint (32)
- Linux (358)
- Log (115)
- Lua (42)
- MVC (57)
- Mac (683)
- MapReduce (51)
- Mobile (507)
- MongoDB (128)
- MovableType (45)
- Network (239)
- Node.js (1683)
- OAuth (83)
- OCaml (192)
- OOP (67)
- ObjectiveC (187)
- Oculus (28)
- OpenID (118)
- OpenSocial (29)
- P2P (42)
- PDF (147)
- PHP (417)
- Pd (32)
- Perl (1369)
- Plack (49)
- R (57)
- REST (90)
- RSS (49)
- RTB (36)
- Rails (293)
- ReactiveProgramming (58)
- Redis (155)
- Redmine (30)
- Riak (37)
- Ruby (954)
- RubyMotion (79)
- Rust (40)
- S3 (57)
- SBM (31)
- SEO (99)
- SNS (236)
- SPDY (34)
- SQL (89)
- SSD (53)
- SSL (95)
- STM (29)
- SVG (34)
- Safari (29)
- Scala (549)
- Selenium (36)
- Software (287)
- SoundCloud (66)
- Subversion (59)
- Surface (59)
- TV (78)
- Template (134)
- Test (583)
- Thread (45)
- Tips (258)
- Traktor (47)
- TypeScript (30)
- Tシャツ (44)
- UI (637)
- URL (31)
- US (35)
- Unity (40)
- V8 (89)
- VMware (72)
- VPS (53)
- Vagrant (106)
- Vim (378)
- VisualStudio (53)
- WANT (173)
- Web (144)
- WebGL (38)
- WebServices (1569)
- WebSocket (162)
- Wi-Fi (66)
- Wikileaks (63)
- WindowManager (32)
- Windows10 (50)
- Windows8 (58)
- WindowsMobile (98)
- WordPress (43)
- XML (53)
- XSS (40)
- Xcode (51)
- Xen (34)
- Yesod (89)
- ZFS (40)
- academic (62)
- actor (36)
- addon (47)
- adobe (83)
- ajax (94)
- akka (38)
- algorithm (129)
- amazon (341)
- analytics (57)
- android (530)
- apache (122)
- app-store (40)
- apple (184)
- applicative (35)
- architecture (69)
- arduino (81)
- art (168)
- au (29)
- audio (177)
- aws (115)
- backup (99)
- bandcamp (131)
- bar (48)
- benchmark (118)
- binary (35)
- book (261)
- browser (134)
- business (310)
- cabal (65)
- cache (45)
- cafe (197)
- cakephp (71)
- calendar (73)
- camera (102)
- canvas (76)
- catalyst (154)
- category-theory (70)
- chat (35)
- china (39)
- clojure (253)
- clojurescript (30)
- cloud (148)
- coding-style (57)
- coffee (40)
- community (72)
- compiler (156)
- composition (32)
- concurrent (260)
- conduit (31)
- config (39)
- continuation (33)
- cookie (72)
- cookpad (58)
- cron (29)
- crypto (46)
- csharp (31)
- cui (80)
- curation (32)
- daemon (30)
- data-mining (72)
- datetime (43)
- debug (265)
- deploy (80)
- design (691)
- diff (35)
- display (58)
- distributed (71)
- docomo (50)
- document (142)
- dropbox (82)
- drum (51)
- ePub (88)
- ec-cube (48)
- eclipse (93)
- economics (54)
- editor (146)
- effector (42)
- electronic (1038)
- english (128)
- error (40)
- event (252)
- evernote (99)
- exception (42)
- express (48)
- extension (78)
- facebook (312)
- fashion (365)
- file (35)
- flash (239)
- fluentd (91)
- font (87)
- football (76)
- form (56)
- framework (433)
- fsharp (65)
- functional (214)
- gadget (183)
- gallery (56)
- game (377)
- generator (45)
- girl (59)
- github (203)
- google (540)
- googlemaps (40)
- graph (81)
- greasemonkey (29)
- gree (48)
- guitar (71)
- gundam (39)
- hacker (51)
- handcraft (73)
- haskell (2223)
- hatena (63)
- headphone (46)
- health (217)
- heroku (110)
- hiphop (229)
- hosting (70)
- iCloud (30)
- iOS (502)
- iPad (438)
- iPhone (787)
- iTunes (135)
- infra (351)
- internet (198)
- interview (393)
- iteratee (45)
- jQuery (444)
- javascript (2565)
- kernel (34)
- keyboard (109)
- kindle (139)
- lambda (38)
- language (210)
- latex (67)
- lifehack (54)
- lisp (104)
- livedoor (32)
- logic (45)
- lxc (36)
- macbook (84)
- machine-learning (103)
- magazine (53)
- mail (147)
- maps (53)
- markdown (106)
- marketing (116)
- math (216)
- media (86)
- memcached (56)
- memory (30)
- message-pack (48)
- message-queue (44)
- metrics (30)
- microsoft (136)
- midi (65)
- mixi (112)
- mock (31)
- module (131)
- monad (166)
- monitoring (147)
- moose (41)
- movie (110)
- mp3 (302)
- music (3771)
- myspace (51)
- mysql (192)
- neta (222)
- news (35)
- nginx (146)
- notebook (55)
- notification (31)
- npm (54)
- office (38)
- opensource (85)
- parallel (80)
- parsec (44)
- parser (124)
- pattern-matching (46)
- paypal (39)
- photoshop (51)
- physics (29)
- plagger (44)
- playframework (71)
- politics (189)
- postgresql (161)
- presentation (80)
- privacy (184)
- profiling (53)
- programming (319)
- protocol (31)
- proxy (42)
- python (251)
- quickcheck (57)
- rack (29)
- recipe (145)
- regex (64)
- reggae (36)
- repl (36)
- reverse-proxy (37)
- review (334)
- robot (104)
- rock (547)
- salesforce (59)
- sampler (49)
- sbt (49)
- scan (33)
- scheme (81)
- science (87)
- scrape (37)
- security (456)
- sensor (32)
- share (153)
- shell (216)
- sinatra (67)
- sketch (30)
- skype (41)
- socket.io (107)
- softbank (43)
- sony (72)
- speaker (33)
- sports (109)
- ssh (73)
- startup (39)
- statistics (52)
- storage (199)
- streaming (50)
- supercollider (93)
- synth (148)
- tablet (148)
- terminal (71)
- theorem-prover (34)
- thinkpad (59)
- titanium (71)
- tokyo (35)
- travel (141)
- tumblr (116)
- tuning (190)
- tutorial (490)
- twitter (529)
- type-system (61)
- ubuntu (43)
- uupaa (32)
- validation (64)
- vehicle (47)
- video (342)
- visualization (165)
- webkit (71)
- wiki (69)
- windows (275)
- xmonad (34)
- yahoo (90)
- youtube (408)
- zeromq (45)
- zsh (36)
- これはひどい (34)
- これは欲しい (46)
- さくらインターネット (42)
- アニメ (52)
- オフィス (136)
- カレー (82)
- システム開発 (34)
- ニコニコ動画 (51)
- フレームワーク (37)
- プラグイン (32)
- プロジェクト管理 (156)
- ライブラリ (43)
- ラーメン (96)
- 三軒茶屋 (42)
- 不動産 (83)
- 中目黒 (214)
- 中華 (61)
- 事例 (273)
- 人生 (46)
- 仕事観 (67)
- 代官山 (34)
- 写真 (187)
- 出版 (49)
- 労働 (36)
- 動物 (29)
- 動画配信 (33)
- 医療 (47)
- 原発 (48)
- 呑み屋 (148)
- 図書館 (47)
- 地震 (39)
- 宇宙 (50)
- 建築 (31)
- 後で (35)
- 恵比寿 (101)
- 戦争 (42)
- 教育 (221)
- 文化 (30)
- 文字コード (107)
- 文房具 (32)
- 新宿 (36)
- 新聞 (51)
- 日本 (41)
- 検索 (187)
- 楽天 (41)
- 歴史 (213)
- 池尻大橋 (48)
- 決済 (123)
- 法律 (88)
- 渋谷 (197)
- 漫画 (156)
- 生活 (110)
- 生物 (52)
- 画像 (114)
- 画像処理 (83)
- 画像認識 (32)
- 社会 (176)
- 税金 (31)
- 素材 (101)
- 経営 (179)
- 肉 (110)
- 自然言語処理 (40)
- 自転車 (33)
- 著作権 (222)
- 設計 (48)
- 認証 (81)
- 起業 (189)
- 金融 (32)
- 雇用 (101)
- 電子書籍 (499)
- 音楽配信 (228)
- 食 (1294)
- music (3771)
- javascript (2565)
- haskell (2223)
- Node.js (1683)
- WebServices (1569)
- Perl (1369)
- 食 (1294)
- electronic (1038)
- Ruby (954)
- iPhone (787)
logicとBCKWに関するnsyeeのブックマーク (1)
-
nsyee 2013/09/07
- lambda
- combinator
- logic
- BCKW
リンク -
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx