Skip to content

Instantly share code, notes, and snippets.

@takada-at
takada-at / preventpopup.user.js
Created July 11, 2012 08:09
prevent twitter's popup
// ==UserScript==
// @name prevent twitter popup
// @author at_akada
// @namespace http://d.hatena.ne.jp/at_akada/
// @include https://twitter.com/*
// ==/UserScript==
function bind(arg, f){
return function(){
return f(arg, arguments);
We can't make this file beautiful and searchable because it's too large.
John Rawls 1971 A Theory of Justice 48
Willard Van Orman Quine 1960 Word and Object 32
David K. Lewis 1986 On the Plurality of Worlds 31
Saul A. Kripke 1980 Naming and Necessity 27
Derek Parfit 1984 Reasons and Persons 24
Ludwig Wittgenstein 1953 Philosophical Investigations 23
Robert Nozick 1974 Anarchy, State, and Utopia 23
Saul A. Kripke 1972 Naming and Necessity 22
Thomas M. Scanlon 1998 What We Owe to Each Other 20
George Edward Moore 1903 Principia Ethica 20

ネーゲルの議論の批判

ネーゲルが言っていること。

われわれが今やっていることのどれも100万後には重要ではない。

しかしもしこれが真ならば、100万年後に事実である何も今重要ではない。

特に、われわれが今やっていることのどれも100万後には重要ではないというそのことは、今重要ではない。
@takada-at
takada-at / gist:541581a8660d2f643c78
Last active August 29, 2015 14:21
SEP「計算機科学の哲学」
http://plato.stanford.edu/entries/computer-science/
-計算機科学の哲学(PCS)は、計算機科学の本質と実践に対する反省から生じた哲学的トピックを扱う。
-計算機科学の実践というのは単に「プログラミング」のことではない。
--プログラミング自体は物理とか化学とか他の分野の人もする。
-計算機科学はむしろ計算機にかかわる概念や方法論の設計・開発・研究にかかわるメタな活動だ。
--たとえば
--プログラムのデザインと分析
--言語の仕様記述とアーキテクチャーの記述
--コンパイラ、インタープリタ、定理証明器、型推論システムの構築と最適化
# -*- coding: utf-8 -*-
from __future__ import (absolute_import, division,
print_function, unicode_literals)
import logging
import random
logger = logging.getLogger(__name__)
-- This is a sample custom writer for pandoc.
-- hatena
-- Character escaping
local function escape(s, in_attribute)
return s:gsub("[<>&\"']",
function(x)
if x == '<' then
return '&lt;'
elseif x == '>' then
var path = require('path');
module.exports = function (aGrunt) {
// The property points to the "package.json" file.
// -----------------------------------------------
var pkg = aGrunt.file.readJSON('package.json');
var taskName;
for (taskName in pkg.devDependencies) {
if (taskName.substring(0, 6) === 'grunt-') {
aGrunt.loadNpmTasks(taskName);

ドラグスレイブのカテゴリー表

  • 単一性: 偉大なる汝の名において
  • 多数性:
  • 全体性: すべての愚かなるものに

以下のp.1からの引用。
http://as.wiley.com/WileyCDA/WileyTitle/productCd-140519457X.html
'Narrative' is one of those formidable words that
is finding its way into the mainstream. Contemporary
journalists have come to love it, even though
their predecessors from past generations would
have scorned it for being overly pretentious. But
now it seems to be coin of the realm-all the way