ちなみに

ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、

• Linear Logic
• Linear Lisp（別のAdvent Calendarで出たようなので避けて賢明か）
• Module Type（Coqの）
• Moonlit Lo...げふんげふん

なんだったか忘れたね。

よかった

これが最後の学期になりそうだ。

明日から

最後の学生生活。

・・・最後だといいなあ。

うん、最後にしよう。

ふと

ときどきTwitterで出てくる「言葉狩り」という現象についてちょっと気になったので書いている。

言葉狩りといっても、ある特定の語を禁止し、別の言葉に言い換えてしまうことがほとんどなのだが*1。

いわゆる差別用語とか、特定の侮蔑とか、言いにくいが児ポ関係とか。

特にこの差別用語とかの類では、昔からいくつもの「言葉狩り」が行われてきた。

まあ、直感的には一時的な効果が見込める気がするのはわからなくもない。

だけど、そもそも「言葉狩り」の効果は一時的なんだろうか？

それともそれなりに長期間の効果が見込めるのだろうか？

ここまで何度も行ったんだから、その結果としてどうなったか、が見えてもおかしくないはずなのだが・・・

寡聞にして、それが長期的な効果をもたらしたとは聞いたことがないし、狩られた言葉以外に別の用語が出てくるのは必然だろう。

それは一体なんのためなんだろうか・・・？

それとも、おおっぴらにはなっていないが効果があったのだろうか？

そんなことを気にしてしまった。

*1：それが本質かはよくわからない。

二週間くらいなにも書いてないので

一応生存を主張。

この間、論文を書いて、終わってへばって、次の論文に向けていろいろ考え中。

アイディアは大体固まったので、もう少し詰めてからやってみるかな、という感じ。

Coqのサブセットもその一つ。

まあ、Notationないけどね！

Typeもないけどね！！*1

とか大体そんなことを考えている。

*1：Typeは項ではない、特殊な型として用いるから「存在しない」わけじゃないが、Coqのように自由には使えない。sigが書けないのが若干気になるが・・・