対象aに対する恒等射は普通idaと書きますが、僕はしばしばidaもaと書いてしまいます。これは単に、横着者の略記に過ぎないのですが、合理化しようと思えばできなくもない。で、やってみる。ただし、こういう定式化が特に良いというわけではないです。まえお…

Erlangについて紹介したり言及することが一部でだいぶ盛り上がってました（僕も流行に乗ってしまいました）が、だからと言ってErlangがメジャー言語の仲間入りをするとは考えにくいですね。あれ、なんか大喜利みたい。「Erlang」ってお題で洒落たことや面白…