この形のラムダ項を適用(ラムダ適用)という。x)というのもラムダ項じゃないのって思ってた。x)なんて形のは見たことないし、違うんだろうなと。x)だってラムダ式でしょって胸を張って言い張れる。分かってる人からみれば、そして俺にとっても¬¬¬¬¬A→Aと同程度にバカげた主張なんだが、そのわかってる人にとっても「この規則ならこういうことが言えると思うのに、なんで正解とされてるのと自分が思ってることが違うの?」ってなることはあるはずで、それはこの世で一番数学ができる人であってもありえること。この世で一番数学ができる人さえ規則を正しく適用できていないらしいとき、そもそも正しい適用とはなんだってなりそうに思うんだが。15:54ツイートシェア2024-02-03■なあ、芦原妃名子先生が追い込まれたのって直接的には加熱した俺らのせいじゃないのか?Xの最後のポストは進展しない状況に対する絶望ではなくて、「攻撃したかったわけじゃなくて。