window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

VirtualBox 4.0.8 での話。たぶんこのバージョンに限ったものではない。 VirtualBox のネットワークアダプタに NAT を選ぶと、 DHCP で、 IP: 10.0.2.15, gateway: 10.0.2.2 というアドレスが振られて、ホストのインターネットを使える。 この時、 DNS はな…