0001以下、5ちゃんねるからVIPがお送りします垢版 | 大砲2024/04/09(火) 01:40:29.686ID:u86bqxc80 aのb乗を型無しラムダ計算でλa. λb. b aで定義できるらしいwwwww