トップ
«前の日記(2008-01-04)
最新
次の日記(2008-01-13)»
月表示
編集
日々の流転
2008-01-12
[
長年日記
]
λ.
(ttweb) agdaを使ってみる
メモ。置換公理から分出公理を証明したり等。
Tags:
agda
[
ツッコミを入れる
]
プロフィール
酒井 政裕
カレンダー
前
2008年
1月
次
日
月
火
水
木
金
土
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
日記内検索
タグ
本
|
logic-programming
|
tDiary
|
英語
|
gimp
|
ruby
|
cygwin
|
scheme
|
gtk
|
quiz
|
流行りもの
|
時事
|
映画
|
tom
|
TV
|
URL
|
w3m
|
ネタ
|
Web
|
検索
|
論文
|
圏論
|
haskell
|
javascript
|
machine-learning
|
メモ
|
向井研
|
CPL
|
食
|
ChannelTheory
|
linguistics
|
SemanticWeb
|
logic
|
型理論
|
東方
|
continuation
|
後で
|
Topology via Logic
|
ocaml
|
modal-logic
|
theorem-proving
|
hiki
|
モデル検査
|
人狼
|
programming-contest
|
agda
|
probability
|
quantum
|
音楽
|
coq
|
money
|
Alloy
|
lifehack
|
music
|
maude
|
プロセス代数
|
thinkpad
|
game
|
security
|
linear-programming
|
optimization
|
Erlang
|
iPhone
|
mac
最近のツッコミ
Lorenzonek (05-21)
さかい (05-07)
mkotha (05-01)
cutsea110 (02-17)
sakai (11-28)
mkotha (11-28)
さかい (07-19)
山本和彦 (07-19)
最近のトラックバック
この日記と連携する
RSS 1.0
LIRS
アンテナ等
Ruby hotlinks (るるりん。)
はてなアンテナ
(
旧URL
)
はてなブックマーク
おとなりページ＠はてな
(
旧URL
)
livedoor クリップ
I know. アンテナ
(
旧URL
)
ONLY (Ota's Nikki-Links' Yard)
やんてな (YAizawa's Nikki anTENNA)
千衣アンテナ
(
はてな版
)
