sumiiさんの記事によれば，どうも私は [お勉強]とタグをつけたのをいいことにデマを振りまいていたようなので訂正しました．型付きλ計算の型でcharacterizeしてるから論理的，というのなら，正直 Curry-Howard同型による，という説明でもそれほど間違ってな…

Windows Server の話． 背景 ActiveDirectory は LDAP プロトコルで認証できる． LDAPでは， CN=hogehoge,OU=foobar,... という形(DN)で エントリを一意に指定する． 現象 某F社検疫が通らない 原因 Windows の 「ActiveDirectory ユーザとコンピュータ」か…