Skip to content

Instantly share code, notes, and snippets.

Epistemic Rationality as Instrumental Rationality: A Critique

Thomas Kelly, 2003

1. Introduction

導入

My aim in…

# これは設定ファイル例です。修正して~/.rst2pdf/configに置いてください。
[general]
# カンマ区切りのカスタムスタイルシートのリスト。
# 例:"fruity.json,a4paper.json,verasans.json"
stylesheets="~/.rst2pdf/ja.json"
# 圧縮されたPDFを生成
# 使用する true/false (全て小文字) もしくは 1/0
# 例: compressed=true
compressed=false
# コロン区切りのフォントサーチパスのリスト
@hackugyo
hackugyo / BitmaskTest.m
Last active March 27, 2017 08:43
snippets
#import <Foundation/Foundation.h>
int main(int argc, char *argv[]) {
@autoreleasepool {
NSUInteger UIInterfaceOrientationMaskPortrait = 1 << 0;
NSUInteger UIInterfaceOrientationMaskPortrait2 = 1 << 1;
NSUInteger i = UIInterfaceOrientationMaskPortrait2 & UIInterfaceOrientationMaskPortrait;
NSLog(@"useData %d", UIInterfaceOrientationMaskPortrait);
@hackugyo
hackugyo / README.md
Last active August 29, 2015 14:05
`HTML5の音声合成でコンピューターが話している感じの音声を実現してみる - Qiita <http://qiita.com/ikko/items/10d76d67b4e60e00f02c>`_
$ say -o Modulating_Phase -v Victoria "Modulating Phase"
$ ffmpeg -i Modulating_Phase.aiff -ar 11025 -ab 8 1.mp3
$ afplay 1.mp3 # play your sound

エフェクト用音声はこことか

@hackugyo
hackugyo / .gitignore
Last active August 29, 2015 14:05
Google Calendar APIのRubyクライアント
### /Users/kwatanabe/.gitignore-boilerplates/ruby.gitignore
*.gem
*.rbc
.bundle
.config
coverage
InstalledFiles
lib/bundler/man
pkg
package com.example.glayash.myapplication;
import android.content.Context;
import android.content.res.TypedArray;
import android.graphics.Paint;
import android.util.AttributeSet;
import android.util.TypedValue;
import android.widget.TextView;
/**
@hackugyo
hackugyo / pop6_3.rst
Created November 10, 2014 01:18
Williamson, Philosophy of Phisolophy(2007) 6章

Williamson, Philosophy of Phisolophy(2007)

6 Thought Experiments

6.1

Of all the ...

@hackugyo
hackugyo / p12_to_pem.sh
Created November 14, 2014 09:33
p12_to_pem openssl pkcs12 -in cert_and_key.p12 -out aps_developer_from_cert_and_key.pem -nodes -clcertsコマンドがうまく動かないので作った(いまやったらふつうに動いた。??) cert_and_key.p12ファイルは、「キーチェーンアクセス」アプリから秘密鍵・証明書を同時選択(エクスパンドして両方見えている状態でShift+クリック)した状態で右クリックし、「2個を書き出す…」を選択して生成する。このときお好きなパスワードを入れて、下記のスクリプトのYOUR_PASSWORDとして使う
#!/bin/sh
YOUR_PASSWORD=""
expect -c "
set timeout 20
spawn openssl pkcs12 -in cert_and_key.p12 -out aps_developer_from_cert_and_key.pem -nodes -clcerts
expect Password:
send \"$YOUR_PASSWORD\r\"
interact
@hackugyo
hackugyo / gcm_send_test.sh
Created December 3, 2014 09:20
GCMのテストスクリプト
#!/bin/bash
REQUIRED_ARGS=3
if [ $# -ne $REQUIRED_ARGS ]
then
echo ""
echo "Usage:"
echo "./gcm_send_test.sh [server_api_key] [registration_id] [message]"
echo ""
exit 1
@hackugyo
hackugyo / .gitignore
Last active August 29, 2015 14:15
Parfit, *On What Matters*(2011) のSummary部分のサマリーを作ります.
*.pdf