2009-04-30 ■ code bookmarklet を deadspace の人みたいに javascript:'bookmarklet_name';(function(){})(); とやるのは、実にスマートな気がするねえ。名前重要。真似しよー。