IRCつかってみよう

このまえ従兄弟と久しぶりに会ったらLINEつかえと言われて、電車で向きあってちょっと使ってみたら、なるほど0.2秒もかからずにこっちからあっちにメッセージが飛ぶので、使いたくなるわけである。よくよく考えるとこれはたぶんIRCの感覚に近いのだろう。

知識論理など学んでしまって、わりとすぐに気がつくのは、通信の遅延があると共有知識をつくれないということで、特に、いくらでも遅れる可能性があるような通信では全然むりである。遅延がないと錯覚できる程度に早く届くなら、共有知識ができたような気分になったりするので、対面でのやりとりは重宝される。対面でのやりとりで大事なもう一つのことは、手を出せば届くという点にあるが、IRCにはkickというコマンドもある。

で、freenodeに#jcoqというチャネルができて、日本語Coqづかいが溜まっているようになってきたので、気になる方はwebインタフェースからのぞいてみるといいように思う。