heras-gilsanz.comThis domain may be for sale!
D. Souflis, J. Shapiro - TinyScheme Download site
"Safe if used as prescribed" (Philip K. Dick, "Ubik") Dimitrios Souflis dsouflis@acm.org Kevin Cozens kevin@REMOVEMEve3syb.ca Jonathan S. Shapiro shap.nospam@eros-os.org The background image is an excerpt from the 1960 article "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I" by John McCarthy
米兵（海兵隊）の犯罪率と「ファースト・レイプ」は本当にあったのかについて - 愛・蔵太の気になるメモ(homines id quod volunt credunt)
こんな事件があったわけですが。 →女子中学生暴行容疑で米兵を逮捕（沖縄タイムス） 女子中学生暴行容疑で米兵を逮捕 北谷町 コートニー所属の海兵隊員 十日午後十時半ごろ、女子中学生（１４）を本島中部の公園先路上に停めていた乗用車内で暴行したとして、沖縄署は十一日午前、在沖米海兵隊キャンプ・コートニー所属のタイロン・ハドナット容疑者（３８）を強姦の容疑で逮捕した。ハドナット容疑者は「抱き付いたり押し倒したりはしたが、暴行はしていない」と容疑を否認しているという。 同署によると、ハドナット容疑者は同午後八時二十分ごろ、沖縄市のコザ・ミュージックタウンで友人数人といた少女に「送っていくよ」と声を掛け、基地外にある北中城村のハドナット容疑者の自宅にバイクで連れて行った。少女は怖くなって逃げたが、ハドナット容疑者は再び「ドライブしよう」などと車で連れ出し、車内で暴行したという。 心配した友人らが、ハド
はてな
賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…
君が死ぬまであと何秒
・ It is an excellent blog for young people in Hokkaido who are full of love, peace and poop spirit. ・ Let's take measures against viruses and spyware by yourself. ・ Comments from overseas mackerel ・ TB has been repelled. If you have any problems, please contact us as we will respond individually. ・ Please forgive me for seriousness. ・ It is a site that I end up sly while wondering if it is okay as
「ゆるふわ愛されポストモダン」 - 絶倫ファクトリー
「現代思想的なポストモダニズムで、男を誘惑する10の方法を大特集」 1．授業の席で、構造主義に乗せた手をそのままゆっくりとリオタールの「ポストモダンの条件」のほうに持っていっちゃえ！ 2．無知のヴェールを口にくわえてさりげなく頭から落としちゃえ！男の子が「原初状態！」って言ったら、強引に首元に思考実験しちゃおう！! 3．男の子と二人っきりになったら、「○○くんって権力を内面化してるよね」って言って視線をかぷっと食べてしまおう。「パノプティコン！」っとなって、男の子は自然と規律訓練型権力な気分になっちゃう 4．男の子にフェミニズムの読ませすぎは注意！あそこが、ふにゃふにゃになってしまうから。程よい量だったら問題なし。むしろ、手の届かないような保守主義者から抱かれてしまうかも（笑） 5．彼氏が中々積極的になってくれない貴方は、動物化するポストモダンにチャレンジにしてみよう。部屋の中で二人っきり
ラッセルのパラドックス：傾向と対策 (3.2.1) : クリーネ3値論理・・・お手軽に不動点を - あいまいな本日の私 blog
まず最初に、クリーネの3値論理をご紹介しましょう。 これは真理値として 真(t)、偽(f)、不定(i)の三つを持ちます。 論理結合子に関して、以下の二つの例を紹介しましょう。 否定 ¬ に関して A が t (f) ならば ¬A は f (t)：古典論理と同じ A が i ならば ¬A は i A→Bに関して、 A, B が t,f の場合は古典論理と同じ Aが i のとき Bが t ならば A→B は t それ以外の場合 A→B はi となります。述語論理に関しては、古典論理と同じく上界をとります。 さて、クリーネ3値論理上包括原理を持つ集合論 K3C を考えましょう。この集合論は、ラッセル・パラドックスに関して R∈R の真理値は i もちろん ¬(R∈R) の真理値も i 従ってラッセル・パラドックスの推論 R∈R→¬(R∈R) の推論も i という結論を導出します。つまり、ラッセル
「通説・権威を否定するメソッド」について。: 不倒城
10年くらい前、出版社にバイトで出入りしていた頃、「ハウツー本を売るコツ」みたいなことを聞きかじったことがあった。 その内の一つに、「一般的に信じられている通説、あるいは権威の言葉をまず否定する」というものがあったことを、奥様が図書館から借りてきた育児のハウツー本を、横から覗きこんでいて思い出した。 通説の質についてとか、そのハウツー本の内容が適しているのかどうか、という話は取り敢えずおいておく。ハウツー本自体は、有益なノウハウと無益なノウハウがごった煮になっていることが分かりきっているのだから、有益だと思った分だけ齧ればいい。それだけのことである。 説得力のお話なのだ。 「通説を否定するメソッド」が有効な理由はたった一つ。「｢気付き」という感覚がとってもキモチイイから」。 通説は、広く流布されているからこそ通説と呼ばれる。「大体こうすればいいんだよ」というセオリー、ある程度固定化された「
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://headlines.yahoo.co.jp/hl?a=20080218-00000076-san-soci