読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

λλλ前半戦 #comb_mu

ラムダ計算 - Wikipedia

自由出現

束縛変数