This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
public class Cons<A> implements IList<A> { | |
/** | |
* リストの先頭要素 | |
*/ | |
private A x; | |
/** | |
* リストの残りの要素 | |
*/ | |
private IList<A> xs; // 型変数を忘れないように! |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function () { | |
var fbPage = function () { | |
var that = {}, | |
_paths = location.pathname.split('/'); | |
var hasUserName = function () { | |
return _paths.length == 2; | |
}; | |
var getId = function () { | |
if (hasUserName()) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var event = document.createEvent("KeyEvents"); | |
event.initKeyEvent("keypress", | |
true, | |
true, | |
null, | |
false, // holds Ctrl key | |
true, // holds Alt key | |
false, // holds Shift key | |
false, // holds Meta key | |
0, // presses a special key, @see http://mxr.mozilla.org/mozilla/source/dom/public/idl/events/nsIDOMKeyEvent.idl |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function (ev, arg) { | |
const MIN_FONT_SIZE = 14, // 最小フォントサイズ | |
CONFIG_PREFIX = "font.minimum-size.", | |
COUNTRY_CODES = ["ar", "el", "he", "ja", "ko" , "th", "tr", | |
"x-armn", "x-baltic", "x-beng", "x-cans", "x-central-euro", | |
"x-cyrillic", "x-devanagari", "x-ethi", "x-geor", "x-gujr", | |
"x-guru", "x-khmr", "x-knda", "x-mlym", "x-orya", "x-sinh", | |
"x-tamil", "x-telu", "x-tibt", | |
"x-unicode", "x-user-def", "x-western", | |
"zh-CN", "zh-HK", "zh-TW" ]; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function(){ | |
var fbPage = function(){ | |
var that = {}, | |
_paths = location.pathname.split('/'); | |
var hasUserName = function(){ return _paths.length == 2; }; | |
var feed = function(id){ | |
var req = new XMLHttpRequest(); | |
req.onload = function () { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function(){ | |
var l=location, | |
fullfeed="http://fulltextrssfeed.com/", | |
feedly="http://www.feedly.com/home#subscription/feed/"; | |
l.href=feedly+fullfeed+l; | |
})(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(function(){ | |
var l=location, | |
feedly="http://www.feedly.com/home#subscription/feed/"; | |
l.href=feedly+l; | |
})(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var setControlPanel = function(cmd, title, keystrokes){ | |
var WshShell = WScript.CreateObject("WScript.Shell"); | |
WshShell.Run(cmd); | |
do { | |
WScript.Sleep(100); | |
} while(!WshShell.AppActivate(title)); | |
WshShell.SendKeys(keystrokes); | |
}; | |
setControlPanel(WScript.Arguments.item(0), |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var WshShell = WScript.CreateObject("WScript.Shell"); | |
WshShell.Run(WScript.Arguments.item(0)); | |
WScript.Sleep(500); | |
WshShell.AppActivate(WScript.Arguments.item(1)); | |
WScript.Sleep(100); | |
var Keystrokes = WScript.Arguments.item(2) | |
WshShell.SendKeys(Keystrokes); |
NewerOlder