2023-02-09の僕のツイート： 矢印「→」が異なる意味でオーバーロードされているのは相当に深刻な問題だなー。 これで混乱したり挫折する人がいるから、弊害とても大きい。 十数年前からカリー／ハワード対応のセミナーとかやっているわけです。複数の分野に…