われわれが今やっていることのどれも100万後には重要ではない。
しかしもしこれが真ならば、100万年後に事実である何も今重要ではない。
特に、われわれが今やっていることのどれも100万後には重要ではないというそのことは、今重要ではない。
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
// ==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.
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
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 |
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
http://plato.stanford.edu/entries/computer-science/ | |
-計算機科学の哲学(PCS)は、計算機科学の本質と実践に対する反省から生じた哲学的トピックを扱う。 | |
-計算機科学の実践というのは単に「プログラミング」のことではない。 | |
--プログラミング自体は物理とか化学とか他の分野の人もする。 | |
-計算機科学はむしろ計算機にかかわる概念や方法論の設計・開発・研究にかかわるメタな活動だ。 | |
--たとえば | |
--プログラムのデザインと分析 | |
--言語の仕様記述とアーキテクチャーの記述 | |
--コンパイラ、インタープリタ、定理証明器、型推論システムの構築と最適化 |
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
# -*- coding: utf-8 -*- | |
from __future__ import (absolute_import, division, | |
print_function, unicode_literals) | |
import logging | |
import random | |
logger = logging.getLogger(__name__) | |
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
-- 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 '<' | |
elseif x == '>' then |
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 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); |
- Arkonovich, Steven (2013). Varieties of Reasons/Motives Internalism. Philosophy Compass 8 (3):210-219.
- Parfit, Derek (1997). Reasons and motivation. Aristotelian Society Supplementary Volume 71 (1):99–130.
- Parfit, Derek (2011). On What Matters. Oxford University Press.
- 最初の方だけ確認。
- Williams, Bernard (1979). Internal and External Reasons. In Ross Harrison (ed.), Rational Action. Cambridge University Press 101-113.
- ノート: http://d.hatena.ne.jp/at_akada/20151018/1445183096
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
以下の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 |
OlderNewer