Types Metaprogramming Lambda-calculus Monads in Haskell and other languages Continuations and delimited control Streams Generic zipper and the zipper-based filesystem Many faces of fixed-point combinators Having an Effect There was still something left to discover in how to add and multiply Doubts about the concept of information and an elementary derivation of the Shannon entropy formula The curi
タグ
- すべて
- ( ；∀；) (3)
- .net (1)
- 2ch (20)
- 2k (1)
- 3d (9)
- 8tracks (1)
- AngularJS (3)
- Jenkins (2)
- Steins;Gate (1)
- XPCNativeWrapper (1)
- _playlist (46)
- _trash (1)
- a* (2)
- aa (2)
- aaron (1)
- achievement (2)
- ack (1)
- actionscript (4)
- adom (1)
- advertising (1)
- ai (1)
- air (3)
- ajaja (1)
- ajax (16)
- algebra (3)
- algorithm (17)
- alloy (1)
- amachang (3)
- amazon (10)
- android (4)
- angband (2)
- angelos (1)
- anime (34)
- ansi (1)
- antipop (1)
- apache (5)
- api (36)
- apollo (4)
- apple (1)
- appli (1)
- ar (7)
- arc (1)
- arrow (4)
- art (12)
- artoolkit (2)
- as3 (27)
- ascii (1)
- asimov (1)
- assassins_creed (4)
- asymptote (1)
- atok (1)
- atom (6)
- atrain (1)
- au (1)
- audioscrobbler (1)
- autoconf (1)
- autodiscovery (1)
- autohotkey (1)
- automake (1)
- automaton (1)
- b-reps (1)
- bag (1)
- bash (1)
- batch (1)
- bcc (2)
- beamer (1)
- befunge (1)
- belgariad (1)
- beyond (1)
- bho (4)
- bibliography (1)
- bind (1)
- bioshock (22)
- blender (1)
- blog (3)
- bloglines (1)
- blosxom (5)
- bom (1)
- book (74)
- bookmark (6)
- bookmarklet (10)
- bot (3)
- boyer-moore (1)
- brainfuck (1)
- brazil (2)
- brew (1)
- browser (9)
- building (1)
- c (12)
- c# (1)
- c++ (21)
- c10k (1)
- cafeobj (1)
- calendar (5)
- canon (1)
- canvas (8)
- capistrano (4)
- cat (3)
- category (18)
- chaos (1)
- chat (1)
- cheat (2)
- cheatsheet (1)
- chef (1)
- cho45 (5)
- chord (2)
- cinnamon (3)
- cipher (1)
- cite (1)
- clannad (15)
- client (1)
- clisp (3)
- clock (1)
- clojure (1)
- cloudflare (2)
- clr (2)
- cm (2)
- cmd.exe (1)
- cocolo (1)
- cod4 (1)
- code (3)
- colinux (5)
- color (12)
- comet (2)
- comic (18)
- common (1)
- communication (3)
- comonad (1)
- compiler (4)
- compsci (42)
- concept (1)
- configuration (2)
- coninuation (1)
- console (3)
- continuation (6)
- cookbook (2)
- cookie (5)
- coq (3)
- coro (1)
- cpan (6)
- crawl (1)
- css (30)
- ctags (1)
- cthulhu (1)
- culture (782)
- curl (2)
- cv (7)
- cvs (1)
- cygwin (3)
- d (13)
- daapd (2)
- dankogai (3)
- darcs (3)
- darkknight (1)
- data (1)
- db (1)
- dbd (1)
- dbic (1)
- deadrising (7)
- debian (6)
- debug (2)
- del.icio.us (12)
- design (30)
- development (44)
- diagram (2)
- dictionary (2)
- digg (3)
- directx (2)
- dlna (2)
- docker (9)
- docomo (2)
- docs (3)
- documentation (9)
- dom (13)
- drawing (3)
- dsi (2)
- e4x (3)
- ecmascript (4)
- editor (2)
- email (3)
- emulator (2)
- english (6)
- environment (3)
- episode (2)
- erlang (2)
- ero (2)
- event (6)
- extension (33)
- fantasy (10)
- feed (3)
- fez (2)
- firebug (4)
- firefox (101)
- flash (53)
- flex (9)
- flickr (3)
- font (19)
- foobar2000 (6)
- food (8)
- fotolife (2)
- fractal (3)
- frp (2)
- fuba (2)
- fun (23)
- functional (14)
- game (201)
- gauche (18)
- gdi+ (2)
- generator (3)
- ghc (2)
- gif (3)
- girl (5)
- gist (2)
- git (51)
- glitch (3)
- gmail (8)
- gnu (2)
- go (14)
- golang (14)
- golf (2)
- google (36)
- googlechrome (5)
- gow (2)
- graph (2)
- graphics (5)
- greasemonkey (46)
- guide (5)
- guitar (8)
- hack (2)
- hacks (5)
- halo (2)
- haskell (88)
- hatena (91)
- hatena2009 (5)
- health (4)
- hengband (6)
- hexic (7)
- hitode909 (2)
- horaguchi (2)
- hosting (2)
- howto (69)
- html (15)
- http (11)
- iappli (3)
- icon (4)
- idolm@ster (21)
- ie (21)
- image (11)
- ime (3)
- incursion (2)
- intern (2)
- internet (5)
- interpreter (2)
- iphone (12)
- ipod (9)
- irc (9)
- ita (2)
- itunes (4)
- japan (3)
- japanese (11)
- java (7)
- javascript (276)
- joy (2)
- jquery (3)
- json (3)
- kawasaki (2)
- kayac (2)
- keyboard (2)
- keyconfig (4)
- king-gainer (3)
- klt (2)
- knowledge (2)
- kubernetes (3)
- kyoto (3)
- lambda (4)
- language (21)
- ldr (22)
- lecture (19)
- library (18)
- license (4)
- life (127)
- lifehack (7)
- lighttpd (4)
- lilypond (2)
- limechat (3)
- lingr (2)
- linux (48)
- lisp (33)
- livedoor (6)
- logic (11)
- lostplanet (4)
- lotr (5)
- lua (7)
- machine_learning (5)
- macro (2)
- mad (4)
- mala (4)
- man (2)
- mandelbrot (2)
- manual (7)
- map (4)
- maps (3)
- markdown (2)
- math (58)
- mathml (4)
- mediacenter (2)
- messenger (5)
- metal (2)
- microformats (4)
- migemo (3)
- minesweeper (3)
- mingw (2)
- mixi (2)
- mml (2)
- mobile (3)
- mochikit (2)
- monad (12)
- motemen (2)
- movie (11)
- mozilla (45)
- mozrepl (3)
- msn (5)
- music (37)
- mysql (8)
- mzscheme (2)
- naoya (4)
- neta (56)
- nethack (4)
- netradio (2)
- netwatch (2)
- network (7)
- nicovideo (36)
- ninjinkun (3)
- nlp (4)
- oblivion (5)
- ocaml (3)
- occult (2)
- oidc (2)
- oop (3)
- opencv (3)
- opera (3)
- opml (2)
- p2p (5)
- paper (17)
- parser (3)
- parsing (9)
- pattern (6)
- pdf (3)
- perl (139)
- person (11)
- pfi (2)
- photo (9)
- php (3)
- physics (2)
- plagger (10)
- png (2)
- polymer (2)
- portal (11)
- postscript (2)
- presentation (9)
- prism (2)
- program (2)
- programming (78)
- protocol (2)
- prototype.js (6)
- proxy (3)
- ps3 (2)
- psp (5)
- putty (3)
- puzzle (2)
- python (7)
- quine (3)
- quiz (2)
- radio (3)
- rails (18)
- rdf (3)
- reactive (2)
- read_later (79)
- readline (2)
- reference (80)
- regexp (5)
- remedie (2)
- research (2)
- rest (6)
- rfc (4)
- roguelike (44)
- rpm (2)
- rss (16)
- rtm (4)
- ruby (44)
- rubygems (2)
- s3 (2)
- safari (2)
- scala (11)
- scheme (43)
- science (14)
- screen (8)
- script (3)
- sdk (2)
- search (13)
- secondlife (4)
- security (14)
- selenium (2)
- self (2)
- semantics (2)
- server (2)
- service (29)
- shell (5)
- shibuya.js (4)
- sicp (2)
- slide (2)
- sns (4)
- soap (2)
- society (7)
- software (26)
- specification (3)
- spidermonkey (2)
- sql (5)
- squid (3)
- ssh (6)
- steinsgate (2)
- study (13)
- subversion (8)
- svg (3)
- svk (4)
- svm (3)
- tap (2)
- tea (2)
- technology (3)
- templatehaskell (2)
- test (3)
- tex (11)
- text (5)
- thunderbird (3)
- tips (62)
- tmux (2)
- tokyo (2)
- tokyotyrant (2)
- tombloo (2)
- tool (49)
- tov (6)
- tumblr (5)
- tutorial (27)
- tv (9)
- twitter (14)
- type (2)
- typester (3)
- ubiquity (2)
- ugomemo (35)
- ui (7)
- unicode (5)
- unix (8)
- unko (2)
- userchrome (6)
- ustream (2)
- vc (6)
- video (20)
- vim (100)
- vimperator (2)
- vista (5)
- visualization (14)
- vm (2)
- vmware (2)
- vpn (2)
- w3c (2)
- weather (2)
- web (69)
- web2.0 (3)
- webservice (27)
- wii (3)
- wiki (22)
- wikipedia (4)
- windows (57)
- windows7 (2)
- wish (12)
- wmp (2)
- words (3)
- writing (22)
- wsh (3)
- xbox (97)
- xml (27)
- xpath (8)
- xpcom (45)
- xs (3)
- xslt (4)
- xul (29)
- yahoo (4)
- yaml (2)
- yksk (2)
- youtube (18)
- yurisii (3)
- zsh (28)
- あとで読む (20)
- いい話 (2)
- ゲーム (2)
- サマーウォーズ (2)
- サンドキャニオン (4)
- ドリームクラブ (4)
- ラブプラス (2)
- 人生 (2)
- 参考になる (6)
- 宗教 (2)
- 年収 (2)
- 文章 (4)
- 検索 (2)
- 画像 (2)
- 社会 (4)
- 資料 (6)
- 非モテ (3)
- culture (782)
- javascript (276)
- game (201)
- perl (139)
- life (127)
- firefox (101)
- vim (100)
- xbox (97)
- hatena (91)
- haskell (88)
paperとcompsciに関するmotemenのブックマーク (6)
-
motemen 2008/09/03
- compsci
- paper
リンク -
Unchecked Exceptions can be Strictly More Powerful than Call/CC | Lambda the Ultimate
Unchecked Exceptions can be Strictly More Powerful than Call/CC Here's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation. We demonstrate that in the context of statically-typed purely-functional lambda calculi
-
-
List of important publications in computer science - Wikipedia
1.2A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
-
-
Total Function Programmingを読む - ラシウラ
http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf 著者のDave TurnerはHaskellの前身のMirandaを設計した人。ちなみに、 Church's Thesis and Functional Programming http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf の中でもTotal Function Programmingについて少し触れている。 プログラムの例外や無限ループをどう排除するか、ということに挑戦している。 基本的に普通の言語の関数は、partial function(全射でない関数)として記述する。もちろんプログラムの関数は全射でもかけるけれど、全射でない関数もかけ
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx