λ街づくり
ラムダ式の評価で街区が成長していく関数型シティビルダー。区画の隣接でβ簡約、街は式の評価結果として育つ。
街区(λ式)
横山研: 街区はλ式、住民は変数。隣接配置でβ簡約が走り、街全体の評価チェーンが完成する。
市政
住民0
税収/turn0
所持λ$100
進化チェーン0/10
現在の式
(配置なし)
直近のβ簡約
—
解放された街区
操作
左パレットから街区(λ式)をドラッグして格子に配置。隣接した式は自動でβ簡約される(または手動ボタン)。区画クリックで選択→削除/回転。10種類の関数街区を統合し評価チェーン10段達成でクリア。