タグ
- すべて
-
!
(1)
-
!!
(1)
-
#.
(1)
-
(the (axis-of (eval)))
(1)
-
*print-circle*
(4)
-
*zip*
(1)
-
-ck
(14)
-
.$
(1)
-
.net
(3)
-
.rkt
(1)
-
3.0.0
(1)
-
3.1.0
(1)
-
3.2.0
(1)
-
3.3
(2)
-
3.3.0
(1)
-
3.4.0
(3)
-
3.7
(1)
-
3D
(2)
-
3ストローク
(3)
-
4th-edition
(1)
-
AI Memo
(3)
-
AIM
(3)
-
AIM-199
(2)
-
AIM-239
(1)
-
AS94
(1)
-
Adam,Spiers
(1)
-
Airbnb
(1)
-
Alan Bawden
(1)
-
Alan,Baum
(1)
-
Alan,Kotok
(1)
-
Albert Einstein
(3)
-
All78
(1)
-
Andrew Sorensen
(1)
-
Attila,Szegedi
(1)
-
Bak92c
(1)
-
Baker,Henry
(2)
-
Bawden,Alan
(1)
-
Brian Chesky
(1)
-
CAE
(1)
-
CactusStack
(1)
-
Carsten Haitzler
(1)
-
Carsten,Haitzler
(1)
-
Charles,Oliver,Nutter
(1)
-
Christian Queinnec
(4)
-
ClosureTemplates
(1)
-
Con Kolivas
(1)
-
Constanza
(1)
-
ContinuationsAndCoroutines
(1)
-
DF90
(1)
-
DMEROON
(1)
-
Daniel
(2)
-
David De Roure
(1)
-
Doug
(1)
-
Douglas W. Clark
(1)
-
EasyMotion
(1)
-
Edi
(1)
-
Edsger,W.,Dijkstra
(1)
-
Eric Norman
(1)
-
EuLisp
(3)
-
FF87
(1)
-
FFDM87
(1)
-
Gauche-devel
(2)
-
Gerald Jay Sussman
(2)
-
Google日本語入力
(2)
-
Gor88
(2)
-
Guy,L.Steele,Jr.
(2)
-
HAKMEM
(2)
-
HD90
(2)
-
HN-Books
(4)
-
Han90
(2)
-
Hanson,Chris
(2)
-
Hashify.me
(3)
-
Henry G Baker
(2)
-
Hickey
(7)
-
J
(5)
-
James Gosling
(2)
-
John,McCarthy
(2)
-
Jonathan Rees
(3)
-
L.i.S.P
(42)
-
Land-of-Lisp
(4)
-
Landin,Peter
(4)
-
Linus Torvalds
(3)
-
Linus,Torvalds
(3)
-
LinuxCon
(2)
-
Lisp-outside-the-Box
(3)
-
Lisping
(2)
-
MCLIDE
(2)
-
Mos70
(2)
-
Pierre-Simon Laplace
(2)
-
Queinnec,Christian
(2)
-
Rich
(7)
-
Rich Hickey
(6)
-
Rich,Hickey
(5)
-
Richard P Gabriel
(3)
-
S9fES
(4)
-
Steve Yegge
(6)
-
Strange Loop 2011
(2)
-
T-Code
(14)
-
Torvalds
(6)
-
Try-Code
(3)
-
Weinreb
(2)
-
X11
(2)
-
^
(4)
-
^x
(4)
-
_f
(2)
-
_why
(2)
-
abbreviation
(4)
-
accounting
(4)
-
act
(7)
-
act09
(2)
-
actor
(3)
-
algorithms
(5)
-
amazon
(2)
-
android
(3)
-
anything
(35)
-
anything.el
(20)
-
aoky
(2)
-
aoky.net
(2)
-
apl
(2)
-
appendf
(2)
-
apple
(2)
-
arc
(98)
-
arc3
(2)
-
arrows
(2)
-
attitude
(3)
-
auto-complete
(2)
-
auto-complete.el
(6)
-
autoload.el
(2)
-
azik
(2)
-
bazaar
(7)
-
bdd
(2)
-
bfs
(42)
-
book
(122)
-
books
(134)
-
brain-fuck-scheduler
(4)
-
branchable
(2)
-
bzr
(3)
-
c
(9)
-
c++
(2)
-
c-sharp
(4)
-
call-with-current-continuation
(4)
-
caml
(2)
-
capistrano
(4)
-
catalyst
(11)
-
ccl
(2)
-
cdr
(2)
-
cheat
(5)
-
cheatsheet
(4)
-
chicken
(9)
-
chrome
(4)
-
cia
(2)
-
ck
(31)
-
cl
(208)
-
cl-lib.el
(2)
-
cl.el
(2)
-
clean
(2)
-
clojure
(191)
-
clos
(13)
-
closure
(3)
-
coders-at-work
(4)
-
color
(5)
-
commented
(2)
-
compojure
(3)
-
concatenative
(2)
-
concurrency
(19)
-
conkeror
(6)
-
continuation
(5)
-
continuation-fest
(6)
-
copyright
(2)
-
cpufreq
(3)
-
curses
(5)
-
darcs
(28)
-
datamapper
(2)
-
datum->syntax
(4)
-
dbus
(2)
-
debian
(49)
-
delicious
(2)
-
delimcc
(2)
-
design
(3)
-
distribution
(3)
-
djb
(3)
-
djbdns
(3)
-
dlr
(4)
-
dns
(2)
-
document
(4)
-
dotfiles
(3)
-
dvorak
(6)
-
dynamic-wind
(3)
-
e17
(5)
-
ecl
(2)
-
edje
(2)
-
eeepc
(3)
-
eev
(6)
-
elementary
(2)
-
elf
(2)
-
elisp
(64)
-
emacs
(316)
-
emacswiki
(4)
-
embed
(2)
-
embedded
(2)
-
erlang
(204)
-
erlyweb
(12)
-
eskk.vim
(3)
-
esolang
(2)
-
ets
(3)
-
evas
(5)
-
eventmachine
(4)
-
evil
(2)
-
evil.el
(3)
-
expectations
(2)
-
f-sharp
(6)
-
factor
(2)
-
fexpr
(3)
-
ffi
(2)
-
flickr
(16)
-
font
(2)
-
forth
(2)
-
fp
(62)
-
franz
(2)
-
free-pascal
(2)
-
freepascal
(2)
-
function
(5)
-
functional
(3)
-
funny
(8)
-
gae
(3)
-
gambit
(5)
-
gambit-c
(2)
-
gauche
(78)
-
gauche.cgen.cise
(2)
-
gcc
(3)
-
generator
(2)
-
ghc
(7)
-
gimp
(29)
-
gimp-mode
(4)
-
gist
(3)
-
git
(250)
-
git-annex
(2)
-
github
(11)
-
gitster
(12)
-
gittogether
(2)
-
gmane
(16)
-
go
(3)
-
google
(10)
-
googlechrome
(2)
-
groovy
(2)
-
gtk+
(6)
-
haml
(2)
-
haskell
(407)
-
hdr
(4)
-
hg
(28)
-
hn
(38)
-
hn-books.com
(2)
-
homoiconic
(2)
-
homoiconicity
(2)
-
hoogle
(2)
-
humor
(4)
-
icon
(5)
-
icons
(11)
-
ikiwiki
(13)
-
ilc
(6)
-
ilc07
(3)
-
ilc09
(2)
-
ilc2009
(4)
-
im
(2)
-
impromptu
(2)
-
inotify
(2)
-
interface
(8)
-
io
(4)
-
ioke
(18)
-
iphone
(4)
-
irc
(7)
-
ironscheme
(2)
-
irssi
(10)
-
ita
(2)
-
java
(8)
-
javascript
(87)
-
jdz
(3)
-
jlod
(2)
-
jquery
(3)
-
jruby
(2)
-
jvm
(37)
-
kahua
(9)
-
kawa
(2)
-
kernel
(3)
-
keyboard
(7)
-
keymap
(3)
-
lamb
(2)
-
lambda
(2)
-
lan65
(2)
-
lancet
(2)
-
laptop
(2)
-
larceny
(2)
-
layout
(4)
-
let
(2)
-
libev
(2)
-
libevent
(2)
-
lift
(2)
-
lighthouse
(2)
-
linus
(22)
-
linux
(30)
-
lionfan
(2)
-
lisp
(716)
-
lisp-in-small-pieces
(2)
-
lisp50
(15)
-
list
(39)
-
live
(2)
-
livecoding
(3)
-
load-time-value
(2)
-
logo
(4)
-
logos
(2)
-
lol
(2)
-
loop
(4)
-
lpc
(3)
-
lpc2009
(3)
-
lua
(3)
-
lyah
(2)
-
markdown
(2)
-
match
(9)
-
matz
(3)
-
mayu
(3)
-
memo
(2)
-
merb
(6)
-
mic-paren.el
(2)
-
ml
(4)
-
mnesia
(4)
-
mocha
(2)
-
mochiweb
(3)
-
monad
(9)
-
monads
(10)
-
monar
(2)
-
mono
(4)
-
moose
(13)
-
mop
(4)
-
mosh
(5)
-
mpris
(2)
-
mr
(3)
-
mutt
(8)
-
mysql
(4)
-
natural
(2)
-
ncurses
(3)
-
netbook
(2)
-
network
(3)
-
networking
(3)
-
nginx
(11)
-
nu
(2)
-
nvidia
(2)
-
ocaml
(59)
-
ondemand
(2)
-
openid
(10)
-
openmoko
(3)
-
org-mode
(2)
-
osx
(34)
-
oz
(2)
-
paip
(2)
-
paper
(2)
-
papers
(6)
-
pascal
(2)
-
pdf
(2)
-
perl
(185)
-
pg
(26)
-
photography
(5)
-
plt
(9)
-
poe
(2)
-
prolog
(4)
-
python
(219)
-
qs
(4)
-
quick-silver
(4)
-
quicklisp
(4)
-
quote
(8)
-
quotes
(7)
-
qwerty
(3)
-
r5rs
(3)
-
r6rs
(8)
-
rack
(2)
-
rails
(61)
-
raster
(2)
-
re
(3)
-
reading
(159)
-
real-world-haskell
(5)
-
reddit
(113)
-
redmine
(5)
-
ref
(2)
-
releases
(3)
-
releasing
(4)
-
research
(2)
-
rev
(3)
-
revence
(7)
-
rhickey
(4)
-
rifs
(2)
-
rspec
(21)
-
ruby
(367)
-
s9
(2)
-
sbcl
(8)
-
scala
(171)
-
scheme
(294)
-
scheme-complete
(2)
-
scoring
(4)
-
screen
(3)
-
script-fu
(2)
-
self
(3)
-
sequel
(4)
-
series
(2)
-
sh
(2)
-
shibuya.lisp
(5)
-
sicp
(12)
-
sinatra
(6)
-
sisc
(3)
-
skk
(5)
-
slide
(4)
-
slideshare
(5)
-
slime
(18)
-
slime-fuzzy.el
(2)
-
small
(2)
-
smalltalk
(19)
-
specs
(2)
-
squeak
(4)
-
srfi-10
(2)
-
srfi-38
(3)
-
ssd
(4)
-
ssh
(2)
-
state
(3)
-
sticky-windows.el
(2)
-
stm
(4)
-
stu
(2)
-
style
(8)
-
sup
(2)
-
surround
(2)
-
surround.vim
(4)
-
svk
(2)
-
swank
(2)
-
swank-fuzzy.lisp
(2)
-
switch-window.el
(2)
-
talk
(4)
-
talks
(34)
-
taoup
(2)
-
teracotta
(2)
-
terminology
(3)
-
termite
(2)
-
test
(3)
-
testing
(19)
-
tetrlang
(2)
-
tex
(2)
-
text
(2)
-
textobj
(3)
-
thai
(2)
-
the-joy-of-clojure
(3)
-
the-little-schemer
(2)
-
the-why-of-y
(2)
-
thoughts
(25)
-
tips
(10)
-
tombloo
(5)
-
tomcat
(2)
-
tools
(11)
-
transcript
(4)
-
transient
(2)
-
tumblr
(6)
-
tweaks
(2)
-
twitter
(15)
-
typography
(10)
-
ui
(2)
-
uim
(3)
-
unicode
(2)
-
variance
(13)
-
varnish
(5)
-
vi
(5)
-
video
(44)
-
videos
(26)
-
vim
(59)
-
vimperator
(27)
-
vimpulse.el
(5)
-
visual
(2)
-
vj
(2)
-
vmware
(5)
-
voices
(21)
-
waves
(6)
-
wdiff
(2)
-
web
(174)
-
web.py
(2)
-
whitespace-mode
(2)
-
wordpress
(4)
-
wp
(2)
-
x
(2)
-
xach
(4)
-
xapian
(2)
-
xcb
(2)
-
xen
(5)
-
xim
(2)
-
xkb
(2)
-
xkcd
(7)
-
xmonad
(2)
-
xorg
(6)
-
xyzzy
(3)
-
yahoo
(2)
-
yasnippet
(7)
-
yaws
(5)
-
yc
(12)
-
ypsilon
(9)
-
zipper
(3)
-
zit
(2)
-
zpython, zsh, python
(2)
-
zsh
(57)
-
~
(2)
-
キーボード
(2)
-
山田尚勇先生
(2)
-
日本語入力
(10)
-
漢直
(2)
-
lisp
(716)
-
haskell
(407)
-
ruby
(367)
-
emacs
(316)
-
scheme
(294)
-
git
(250)
-
python
(219)
-
cl
(208)
-
erlang
(204)
-
clojure
(191)
ブックマーク / www.present-tense.org (1)
-
-
1
http://www.present-tense.org/2007/08/18/playing-with-propositional-logic/
