> > 日本語にするとクリプキですら難しくなるのはなぜなんだろう

> 訳者が述語暗号化に励むから



それｸﾘﾌﾟﾄ

参考：2006/12/10(日)17時38分46秒