トップ
«前の日記(2002-07-10)
最新
次の日記(2002-07-12)»
月表示
編集
日々の流転
2002-07-11
[
長年日記
]
λ.
プログラミング言語論レポート
提出
。言語は結局Haskellを選んだ。
Tags:
haskell
λ.
『土地改革の基本戦略—所有優先から利用優先へ』 岩田規久男
を借りた。岩田規久男はリフレ派の闘将というイメージが強いけど、元々はこういったのが専門。
Tags:
本
[
ツッコミを入れる
]
プロフィール
酒井 政裕
カレンダー
前
2002年
7月
次
日
月
火
水
木
金
土
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)
千衣アンテナ
(
はてな版
)