Similar to ラムダ計算騎士団
カリー化
Currying
高階関数
Higher-order function
コンビネータ論理
Combinatory logic
住性 (型理論)
Type inhabitation
チャーチ・ロッサーの定理
Church–Rosser theorem
ド・ブラウン・インデックス
De Bruijn index
ド・ブラウン記法
De Bruijn notation▼-2 trends
ド・ブラウン・レベル
不動点コンビネータ
Fixed-point combinator
無名関数
Anonymous function
ラムダ・キューブ
Lambda cube
ハッカー文化
Hacker culture
DIYバイオ
Do-it-yourself biology
Xkcd
Xkcdエディタ戦争
Editor war
グライダー (ライフゲーム)
Glider (Conway's Game of Life)
ジョークRFC
April Fools' Day Request for Comments
聖イグヌチウス
ハクティビズム
Hacktivism
ハッカー
Hackerハッカースペース
Hackerspaceハッカー宣言
A Hacker Manifesto
ハッカーの一覧
List of hackersハッカーの良心
Hacker Manifesto
ハッカーグループ
Hacker group
ハッカソン
Hackathon
ハッキング
ホームブリュー・コンピュータ・クラブ
Homebrew Computer Club
