http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060914#p02エキスパートじゃないので正確にはわかりませんが一般には、冠詞の省略される一定のパターンがあるような印象があります。よく私が直に見る例だと、たとえば"an expression of type Int"や"Variab…

そういえば、まだここでは触れていなかったような気がしますが、http://hwb.ecc.u-tokyo.ac.jp/current/4857422FBEF0CAF3A4CEBDE8CDFD2FA5D7A5EDA5B0A5E9A5DFA5F3A5B0A4CEB4F0CBDC202D204F63616D6CCAD4.html 17.4 プログラミングの基本 - Ocaml編 という教材…

この間のPPLサマースクールは日帰り＆朝が早かったので、ささやかな贅沢をして自腹で「はやて」のグリーン車に乗ってみました（アイマスクと耳栓と持参して、１時間でも寝ようと思った）。が、客層は パソコンのキーボードを打つオタクっぽい人（∋自分） や…

http://www.cis.upenn.edu/group/securitysem/ Breaking and Fixing Public-Key KerberosAndre ScedrovWe report on a man-in-the-middle attack on PKINIT, the public key extension of the widely deployed Kerberos 5 authentication protocol. This fla…