「ドリームクラブ ゼロ」発売延期の真相か、シナリオ制作費未払いの件についてTeam N.G.Xにインタビュー一方当事者(受注者)の主張を僕が理解したところでは、次のようになる: 2009年9月に「ドリームクラブ ゼロ」というゲームのシナリオを作成する仕事を受け…

プログラミング言語 Scala Wikiの型推論実習(?)を参考に、というかほとんど写経して、Haskellで型推論プログラムを書いてみた。

ABAの日誌さんで、C#でパーサーコンビネータという記事を見つけた。しかし、僕のUbuntu + Monoな環境では*1、Extension Methodsができないようで(?)と勘違いしていたので、Extension Methodsを使わない形で、書いてみた。[追記]MonoでExtension Methods使え…

人材獲得作戦・４ 試験問題ほかの試験問題をやってみた。かかった時間は1時間強だと思う。

改良してみた。Pointという正格データ型を作り、Array、Set、Sequenceというデータ型を駆使してみた。けど、時間を測ってみると、それほど替わりはない(どちらにせよ0.005秒とかだけど)。また、Data.Unambライブラリを使ってみたかったので、簡単な並列化、'…

基本的な説明 倫理学で盛んに取り上げられる思考実験の一つに、次のようなものがある。まず、二つの事例: A. もうすぐ死にそうな1人と同様の5人のどちらかを治療することが選べる*1。5人を治療すれば、治療されなかった1人は死ぬが、5人は死の危険を回避する…

1冊で知る 虐殺 (「1冊で知る」シリーズ)作者: ジェーン・スプリンガー,築地誠子出版社/メーカー: 原書房発売日: 2010/02/24メディア: 単行本（ソフトカバー）購入: 2人 クリック: 19回この商品を含むブログ (7件) を見るジェノサイトのいろいろな問題を解説…

ふと思いついたワンフレーズ： バブルで日本経済ふっ飛ばした連中に少子化がどうこうとか言われたくない。

ポルノ反対論、擁護論について勉強してみようと、書籍をいくつか読んだ。 ポルノ反対論・規制論 ポルノグラフィ 「平等権」と「表現の自由」の間で - 反ポルノ運動で影響力がある法学者キャサリン・マッキノンの著作。(1)製作過程での性暴力、(2)性暴力の誘…

自由と行為の哲学 (現代哲学への招待Anthology)作者: P.F.ストローソン,ピーター・ヴァンインワーゲン,ドナルドデイヴィドソン,マイケルブラットマン,G.E.M.アンスコム,ハリー・G.フランクファート,門脇俊介,野矢茂樹,P.F. Strawson,G.E.M. Anscombe,Harry G…

神は悪の問題に答えられるか―神義論をめぐる五つの答え作者: スティーブン・T.デイヴィス,Stephen T. Davis,本多峰子出版社/メーカー: 教文舘発売日: 2002/07メディア: 単行本購入: 8人 クリック: 33回この商品を含むブログ (2件) を見る五人のキリスト教信…

さきほど、心の哲学、認識論、現象的意識に関わる思考実験を思いついた。たぶん、このような思考実験の先行する文献はないものと思う。 次のような人々を考えてみよう。彼らは、電子、陽子、中性子の位置を正確に直接知覚することができる(ここでは、電子・…

いまとっさに思いつく限り、SFネタを書き並べてみる。順番・重複は、あまり厳密に考えていない。 世界 パラレルワールド 非相対論的世界 「ワープ」中の空間 生活圏 宇宙空間 宇宙船 軌道塔 テラフォーミング スペースコロニー 太陽系内移民 恒星間移民 海底…

マイケル・ダメット『思想と実在』*1を読んだ。 実在論者は、任意の言明についてその意義をわれわれが把握することは、その言明が真であるということがいかなることであるかの知識に存すると信じている。正当化主義者にとって、言明の意義の把握は、それがい…

星がクルクル回るアニメーション #lang frtime (require frtime/animation) (define long 50) (define short 20) (define time (- milliseconds (snapshot (milliseconds) milliseconds))) (define (star x) (build-list 10 (lambda (n) (let ([radius (if (…

マウスをクリックしたところへ、青い円が飛んでいく: #lang frtime (require frtime/animation) (define phase (wave 100)) (define clicked-time (hold (left-clicks . ==> . (lambda (_) (snapshot (phase) phase))) (snapshot (phase) phase))) (define t…

『真理と述定』では、デイヴィドソンの「真理論」という議論・論争についての考え方が披瀝されている。デイヴィドソンは真理を定義したい、あるいは定義的な分析を提供したいとは考えていない。デイヴィドソンにとっては、真理は、すでに明確な概念なのだ。…

RacketというSchemeの処理系・開発環境があり、それをインストールすると、FrTimeという描画環境と統合されたReactive Programigライブラリとそのデモがはじめからついてくる。 http://racket-lang.org/ 僕は、UbuntuとWindowsにインストールしている。Windo…

倫理学の教科書*1。全体にクセがなく*2、読みやすい。論点も網羅性もかなり高いように思う。 *1:倫理学の地図作者: 篠澤和久,馬渕浩二出版社/メーカー: ナカニシヤ出版発売日: 2010/03/29メディア: 単行本購入: 1人 クリック: 24回この商品を含むブログ (6件…

ロナルド・ドゥウォーキン『裁判の正義』*1を読み終わった。二点、疑問がある …ただ、どちらもその内容をはっきり特定しつつ考えたわけではないので、かなり曖昧: 類比 正確な場所を見つけられないが、どこかで「原理なき類比は盲目である」という言葉を引き…

ドナルド・デイヴィドソン『真理と述定』*1。書籍の帯には「デイヴィドソンの真理論の応用」と書かれているけど、7章中で3章までは、少なくとも僕にとっては今までで一番分かりやすいデイヴィドソン哲学の全体像の解説だった(それでも、難しくて、十分に理解…

自分のメモも兼ねてプログラミング関連で最近興味のあること。 Reactive Programming 略してRP。次の解説が分かりやすい: やさしいFunctional reactive programming（概要編）。ウィキペディア英語版にも記事がある: http://en.wikipedia.org/wiki/Reactive_…

ロナルド・ドゥウォーキン『裁判の正義』*1を読んでいる途中。今まで読んだ範囲では、米国大統領選挙における得票のカウントに関するブッシュ対ゴア事件裁判をネタに法的プラグマティズムを批判する3章の補論が、非常に面白く、かつかなり説得的だと思える。…

ラリー・ラウダン『科学と価値―相対主義と実在論を論駁する』 *1を読んだ。科学理論といわゆる科学的方法、そして科学の目的(価値)との相関関係を論じている。訳者解説がノリノリで面白いので、一見の価値あり。ラウダンは、科学の理論と方法が科学の目的を…

実在論？ 英米哲学系統のメタ倫理学においては「道徳的実在論」にはそれなりの支持者がいる。ただ、ここで「実在論」というとき、英米哲学の他の分野と同様、二通りの意味を区別するべきだろう: 道徳的命題に真偽がある(あるいはもっと弱く─道徳に関して合理…

一般論として「超越論的論証」というやつは疑わしい。しかし、大雑把に言って「僕の信念はほとんど正しい」という、このいっけん超傲慢、超独断的にみえる超越論的論証は正しい、少なくとも真剣に考慮するに値するように思われる。それはこういう議論である:…

逆転スペクトル人の思考実験について気づいたことがあるのでメモ。まず、逆転スペクトル人の思考実験のあるバリエーションを考えてみることにする: この地球を離れたはるか彼方、宇宙のどこかに、この天の川銀河とそっくり同じ銀河があり、この太陽系とそっ…

ヒラリー・パトナム『心・身体・世界』で、逆転スペクトル人*1が現実的には不可能だということにこだわっているのが理解できなかった(例えば、247項)。この点について、ふと、少し理解できたように思う。たぶん、これはクオリア説というか、ヒュームやラッセ…

原因を十分に特定できていないので、どこが問題かはっきりしないが、Network.HTTP や Codec.Text.IConv を使っていたら、次のような問題にぶち当たった。とりあえず、コード: module Friends where import Prelude hiding (print, putStr, putStrLn, getCont…

GHC(6.10.4)で日本語を気持ちよく使えるために試行錯誤している。まず、次のようにコードの先頭に書くと、ちょっと便利 import Prelude hiding (print, putStr, putStrLn) import System.IO.UTF8 data String' = S' String instance Show String' where show…