橋本
Hashimoto
麦
Baku
橋本
Hashimoto
麦
Baku
>>=
Works
??
About
(λ)
Tools
§.§
Writings
EN
JA
『メタマジック・ゲーム』
(Scratchpad)
This page is a personal
scratchpad
.
Related ->
Donald Ervin Knuth
エンジニアにとっての人文学
カテゴリーの定式化
制作を最適化問題として捉える
連続講義『アート&テクノロジーへの問い』#2 道具と装置(人間について)
連続講義『アート&テクノロジーへの問い』
Memo
藤幡 正樹
Memo
#連続講義『アート&テクノロジーへの問い』
Douglas Hofstadter
計算などなく、ただそこには推論規則による置換があるだけ
「計算」ってなに?
意味論的なカテゴリーは生産的な集合
『メタマジック・ゲーム』 - 13章 メタフォント, メタ数学, そしてメタ思考 p.251