だが、今回はフロアにいた150人がしょっ引かれたという規模や、その様子が刻一刻とツイートされたという生々しさで、ツイッターやブログの一部の界隈(本当に小さな界隈だ。世間的にはそれがあってもなくてもほとんど何の影響もない規模の)でそれなりに騒がれ、議論もあった。もう鎮火してしまって誰も話題にしなくなった頃合いなんだが、その小さな界隈にそれなりに長く身を置くジジイとして、思ったことを吐き出して置くのもいいかなということでちょっと書く。

ちなみに、150人は尿検査などされたものの何も出なかったということは付記しておく。

池袋のクラブハウスに警察が大規模ながさアイレ、参加者たち怒り露わ - livedoor ニュース

http://news.livedoor.com/article/detail/6274877/

：自己紹介的な話

そもそも俺はリキッドがまだ新宿にあった頃に元気だった世代で、家が近いこともあってマニアックラブには1回目から行ったし、Codeもオープンから閉店まで見送った。ちょっとだけパーティもさせてもらった。六本木は苦手でイエロー以外近づかなかった。だから派手なやつはあんまり分からない。

今は小箱で仲間とダラダラとパーティやるくらいだけど、それなりに楽しくやってる。馬場の家から気軽に行ける範囲ならそれなりに色々行ったりもしてる。

：クラブとクスリの話

あるのかもしれないし、ないなかもしれない。まあ、たぶんある。というか、あった。

そんで、過去に1度でもあったってことはマスコミや世間のクラブに興味ない人たちにとっちゃ、それは"ある"と同義だ。

だから、"クラブとクスリの話"はこれを読んでるあんたやあんたの周りがどうなのかというのに関係なく"あるもんだ"というのを前提に考えなきゃいけない。だって、本当にあるのかもしれないだろ？疑ってかかって、池袋のように実際には無いならそれは御の字だ。ともかく外野の目線と揃えなければいけない。

それに、あれだけ酒飲んで音出してハイになってればクスリじゃなくても真面目なご両親は娘や息子をクラブになんか行かせたくない。クスリは無くてもアル中あるし、ナンパも痴漢もあるし、潰してハメられたとか当たり前にある(あった)んだから。行かせたくないところに悪イメージがあるってマスコミが言ってくれれば、普段はテレビなんかバカにしてるお父さんもみのもんたに言いなりのお母さんみたく、マスコミに柔順になる。

ここ、よく分かってない人が多い。

クラブはクスリ臭いから叩かれる訳じゃない。それは結果的に貼られたレッテルでしかなくて、そもそも"クラブはイメージが悪い"くて、"普通の人は近くづき難い"のだ。

では、何でそんなイメージ悪いのかって言うと、それはあんたらのせいだ。

と言われてカチンと来たなら謝る。つまり、俺らのせいである。

恵比寿や代官山のオシャレなカフェやバーにはだいたいDJセットが置いてあって、モテそうな曲がかかってるから DJやDJをやる店そのものがイメージ悪い訳じゃない。(まあ、暗くて汚くておしゃれじゃない店は違うのかもしれん)

クラブ住人が嫌いなEXILE()やディーバ()はテレビでは人気者だ。今を謳歌してる韓流は2NE1なんてモロにブラックだし、そのパクリ元になってるアメリカのブラックやダンスミュージックは日本のオシャレ()な人たちの大好物だ。チャラいパーティ御用達のキラキラハウスはスイーツ()達にも御用達だ。ダンス習わせる親は多い。何でもかんでもPOPになる日本で、ダンスミュージックのイメージが悪いなんてことはあり得ない。

そう、単に"客のイメージ"が悪いのだ。

こんな簡単なことなのに、箱もオーガナイザーもそのことは言わない。言えない。お客様だからだ。だから、クスリの話題や、ガサ入れの話題があるとマスコミは何たら！と唾を吐いて話題を逸らす。

だが、そんなことしてても先が無いのは分かってきた。大阪やこの間の池袋の様子をみると、警察は本気なんだなということは分かる。客を庇って一緒に死んでる場合じゃない。今こそ箱とオーガナイザーはホントの事を言うべきだ。

クラブが叩かれるのはクスリではなくて、酔い潰れて、喧嘩して、ナンパして、朝ファミレスやコンビニ前で寝てる奴のせいだと。

：じゃあ具体的にどうするんだよ！？という話

至ってシンプルだ。むしろそれしか無いといえる。

クラブはその中身をもっと一般に晒すべきだろう。箱やオーガナイザーはガサに入られる前に、全部見せてしまえば良いのだ。そうしたら不本意な身体検査や尿検査で客に恥ずかしい思いをさせることもない。警察と協力してクラブハウスで横行していると言われるクスリや犯罪などの摘発に総力をあげるべきだ。そして、イメージの悪い客をクラブから追い出すべきだ。

大丈夫。心配することはない。なぜならば、"クラブにはそういう犯罪目的ではなくて、もっと純粋に音楽や交流を求めてやってきてるお客さんしかいない！"のだから。

それを一般に向けて証明してやるだけだ。その過程で、実はけしからん箱やオーガナイザーや客が混じっていたんなら全力で叩き潰してやればいいじゃないか。

：具体論

まあ、そうはいっても古くからの村社会で成り立ってるクラブ界隈でそんな過激なことはできようもない。だから、俺はクラブ新世代に期待するしかないと思っている。クラブ旧世代に変なしがらみがない奴らが、自分らが盛り上がっていく為に、古い連中を踏み台にしてくれたらいい。

そう思う中で、最近これはと思ったものを人、箱、パーティでそれぞれ1つずつ挙げておく。

どれもクラブ旧世代は色眼鏡で見て叩きたくなるものだが、そうしないほうがいいんじゃないかと、俺は思う。

：：taku takahashi( @takudj )

m-floのtakuのtakuだが、インタビューズでのマネな応対を見ててこの人は実は凄いなと思った。で、その中でもこのインタビューが気に入った。Twitterでもよく流れてたので見たことある人は多いかもしれない。

関西のクラブに摘発が入りますゴタゴタが起きましたが、真相を教えてください。クラブスタッフの死を隠蔽してるという説もありますが、これを公にしないとタクさんが目指す日本におけるクラブ文化、あるいはクラブと隣り合わせのタクさん達を信用できません。お忙しいところ恐縮ですがどうぞお願いします。

http://m.theinterviews.jp/takudj/2933735

"まずはやるべき事はドラッグと暴力を完全に切り離すことだと思います。

クラブ側もそこはもっと努力してほしいなと思っています。

例えば、

もっと真剣に入り口で持ち物検査（武器になりうる物、ドラッグ）の強化。

人が怪我した時にすぐ対応（怪我の処置や急性アルコール中毒の処置ができるようにする事）

こういったガイドラインをしっかり作るべきだと思っています。

というか、お酒がでるどの施設でもこれくらいやらないといけないと僕は思います。"

まさにその通りだろう。こういうことをハッキリ言っていて、且つメディアとコネがあってきちんと外向きに発信できている人はなかなか居ないんではないだろうか。少なくともm-floはメジャー側なのでマスコミの方面で語ることが出来る。けど、ジブラザパパにはできない。

一方で面白いのはこういうことを言っちゃってるところだ。

http://www.tweetdeck.com/twitter/takudj/~OwTLS

"勝手にブート作っちゃう主義です〜！（笑）RT @MichelleSorry: 市販品主義です～！RT @takudj: 日本のDJって自分が作ったJPOPのリミックスを、なんで現場でかけないのだろうか？ほとんどかけてるの聴いたことない。海外のDJはポップスから頼まれたリミックスを自分でよくかけてるよね。"

ブートはどんどん作ってプレイしてしまえ派なのだ。これは推測なんだが、それでもし権利者から問い合わせがあった時に、逃げも隠れもしない覚悟があるんだろう。言われても金はあるってのもあるのかもしれないが…

後ろめたさを持ってないというのは隠れるつもりがないということだ。そういう姿勢は評価すべきだと考える。

それから、takuが最近始めたblockfmはかなり面白い試みだと思う。

http://block.fm/

：：MOGRA

秋葉原 DJ BAR MOGRA

http://club-mogra.jp/

秋葉原にあるオープンからは3年ほどの新しい箱。秋葉原とはいえ、ほぼ御徒町という不利な立地にも関わらず、ギーク層にターゲットを絞った運営で連日連夜の大入りを叩き出しているらしい。最近のクラブではなかなか聞かない景気の良い話だ。

ギーク向けだけかと思えば、時々デジタリズムなんかの大物がやってきたりして何か面白いことやる箱というイメージ。俺もマイク・ヴァン・ダイクが来るというので懐かしさ混じりに1度だけ行ったのだが、中はオタク臭さは皆無だった。

面白いのはこの箱は"ナンパ禁止"だというのだ。宇田川なんかじゃ考えられないルールだろう。

ギーク層はクラブの客としては新参で、元々はクラブに対してあまり良くないイメージを持っていた側ではないかと思うのだが、秋葉原という立地でそういう層を新規で来店してもらう為に作られたルールだと推測するのだが、これは何も秋葉原に限ったことではないのではないだろうか。ほとんど固定客がいないような箱やパーティは大いに参考にすべきだろう。クラブ新世代の成功者は成功しているなりに、きちんと新たな顧客発掘をして、彼らに合わせた運営をしているのだ。

このルールが素晴らしいのはイメージの悪い客を店から追い出すことだ。結局、イメージの悪いクラブには新しい人は入ってこないし、入ってきたとしてもそういう連中はやっぱりイメージが悪いのだ。

それから、MOGRAはUstreamに力を入れている。

http://club-mogra.jp/ustream/

だいたい毎夜パーティの様子を中継していて、これだけ店内が映ってしまっては悪いことはしようもないよねと思わせる。

：：Re:animation

超都市型屋外音楽イベント『Re:animation』

http://reanimation.jp/

ここ最近で一番衝撃を受けた出来事と言っても問題がないくらい衝撃的なパーティだった。事件と言っても良い。このご時世に歌舞伎町の街中の広場で屋外レイヴを敢行している連中がいる。しかも、ダンスミュージックとアニメソングを折衷したイベントだという。ギーク寄りな話が続くが、その辺がクラブ新世代と旧世代の違いなのかもしれない。そういえばtakuもギークに寛容だし。

たまたま Twitterで誰かが呟いているのを見かけて、Ustreamで見たのだが、俺のよく知っているコマ劇前がまるで異世界のようだった。新宿に10年以上住んでいても、こんな光景は想像もできなかった。しかも、地方自治体や地元の商店街が協賛や後援についているのが分かった。どんな魔法を使ったのかは知らないが、これが許可された理由も何となくだが想像できる。新宿によく来る人は知っていると思うが、歌舞伎町はここ数年は死の町といえるくらいに活気がない。韓流ブームで盛り上がる隣の大久保とは大違いだ。言葉は悪いが、そういう所に付け入ることで実現したイベントだろう。

もう1つこのパーティを賞賛できるのは客のマナーの良さだ。とにかく統制が取れていて感動的ですらある。端的なのは終了後の客掃けで、Ustreamにも残っているけれど、客が去った後の床にゴミが何も残っていない。土地柄、ホームレスが食い散らかしていたり、違法のポン引きが闊歩してるものだから、マナーの良さが引き立っていた。メタモや渚なんかと大違いだ。

ラスト 10分を見て欲しい

http://www.ustream.tv/recorded/20503466

実は、後日、近くの飲み屋の店主から別のDJ イベントがおなじ場所であると教えられて、これは行かねば！と足を運んだ。

REVO 歌舞伎町ルネッサンス

http://revo-tokyo.com/

こっちは普通にテクノのイベントだったんだが、客層の違いに驚いた。完全に酔っ払って瓶は割る、路上の通行人に絡む、近くの店の入口でたむろする、トリのDJの途中で中断になった。おそらく、どこかからクレームが入ったんだろう。

パーティを責めたい訳ではない。Re:animationよりずっとメジャーなDJを揃えていたし、最新の流れも追っていたし、何より好みの音だった(正直アニメは分からない)。ハードさもRe:animationの方が上だったと記憶している。責めたいのはやはり客だ。中断にしても違和感を覚えただろうに、特に何事も感じなかった様にダラダラと解散していた。結構若そうな主催の残念に挨拶していた顔だけが印象的だった。

同じことがあった時にtakuやMOGRAの客やRe:animationの客ならどんなリアクションをしただろうと思ってしまった。

実は、テクノの客というのはレゲエやダブやトランスやサイケなんかの客よりずっとマナーがいいと思っていたし、俺自身もそうだと思っていたので、この中断は個人的に凄くショックだった。酒でハメを外してる様子を見ながらも、俺自身も中断されることはないだろうと高をくくっていたのだ。だが、そう甘くは無かった。これが外野から見たクラブの客への評価なのだ。

何しろこの場所は通行人も多いし、周りは飲食店ばかりだし、逃げたり隠れたりしようがない。警察もしょっちゅう巡回してるからクスリの売買なんてできようはずもない。そう、クスリは関係ないのだ。そこで見事やりきった連中と中断を余儀なくされた連中がいることはきちんと認識しておかなければならないだろう。

衆目に晒されるということは、それだけで価値がある。

：まとめ

MOGRAやRe:animationのお客さんたちでオールドなクラブに興味がある人は是非とも都内の箱にも足を運んで欲しいと思う。これは上から言うのではなくて、お願いだ。こうしたクラブ新世代の"移民"なくしてクラブの客は更生し得ない。そして、クラブ新世代はこうしたクラブ旧世代を目の当たりにして、TwitterやFacebookで盛大にdisって欲しい。いや～酷いもんだったと。クラブユーザーは一枚岩ではないことを外にも明かすべきだ。つまり、イメージの悪いクラブの客と、決してそうではないクラブの客がいると。それを言えるのは、クラブ新世代だけだ。いつまでも警察やマスコミや世のお父さんお母さんにファックというしか知らないアホではダメなのだ。

さて、ではそんなクラブ旧世代の俺たちが今後のクラブの未来の為に何ができるかだ。

最も安全確実なのは、俺達旧世代は安易に新世代に近づかないことだと考える。聖域を汚さないことだ。そして願わくば、新世代の箱オーナーやオーガナイザーは欲を出して旧世代を取り込もうとしないべきだと、老婆心ながら申しておきたい。

MOGRAやRe:animationの運営スタイルはとてもストイックだ。注意書きが多くて、客もそれをちゃんと守っている。パーティの内容が非常に快楽的なのでわかりづらいが、旧世代のそれはパーティの内容は無駄にストイック(そうに見える)反面、お客が快楽的に自分勝手に振る舞うことを許容していると言えばわかっていただけるだろうか。彼らは自分たちに合う客をきちんと選別しているのだ。これは所謂"出禁"とは意味が違う。そういう客を近づけすらしていない。そのスタイルを貫いて欲しい。客欲しさにダメな客を追い出せない旧世代の箱やオーガナイザーと同じ轍を踏んではいけない。

スカしているのに責められたら逃げるのではなく、taku takahashiのように正面からブートを作って、机上に乗ったら真摯に対応すべきだ。逃げ腰では何も変わらない。

では、旧世代もその流れに乗りたいのならば、新世代のスタイルに合わせるしかない。もちろん、もともと合わせる必要がなく、ああいった場所のほうがむしろ心地よく感じる人もいる(もしかしたらその方が多いのかもしれない)。だが、ここも一歩踏みとどまって、自分のスタイルが本当にイメージが悪いクラブの客ではないのか、考えて見るべきだろう。REVOで俺はそれを痛感した。

それが嫌だ、堅苦しいじゃないかという人に対しては、きっと外側にいる人はそうすることが都合が悪いのだと推測せざるを得ない。事実は関係ない。せせこましい自由と引き替えにこれまで通り粛々とバッシングを受け入れるならばそれもまた良しだ。但し、それならばバッシングに対してガタガタ言わないことだ。

友達と集まってこっそり小さなイベントをやっていくのも悪くない。

Permalink | 記事への反応(4) | 07:15

2012-02-19

■http://anond.hatelabo.jp/20120219161305

安全安全と言い続けてきて大事故起こしたり、「マニフェスト命がけで実行する、書いてないことはやらないといってその逆をやるような政府なら何やっても信用されないだろ

それに被害が大きすぎるから「それなりに誠実」程度じゃだめだろ

隠蔽だって疑われてるんだから発表した中に誤りがないかどうかだけで判断するのもおかしいし、

後から訂正してるから信用されるべきだとするのもおかしい

毎回のように「前はあー言ったけどやっぱ嘘だったわ」ってのを繰り返してたらいくら正直に言ってるんだとしても普通は信用なくすぞ

Permalink | 記事への反応(1) | 17:03

■放射能の情報はちょっと 隠蔽されすぎじゃないかね

隠蔽工作うまくいきすぎだろ。ここまでとは。

放射能よりもこういう国に住んでいることに恐怖を感じる。

Permalink | 記事への反応(1) | 13:42

2012-02-12

■なにをシェアしてるのか。

「シェア」とか「繋がり」とかが、時代のトレンド、テーマのように考えてたけど、なんか違和感が芽生えてきた。

何をもってシェアや繋がりが大事なのか。今まで、若い世代は近所付き合いなどの繋がりが薄く、それを円滑にするためにシェアが大事だ！って言ってると思ってたけど、今の世代はメディアが言うほど繋がりに植えていないし、自己中心的な人や空気を読めない人は排除されるコミュニティに成り立ってて、繋がりに飢えているはずがない。（あるのは、自分が誰かを演じてる違和感の方だ。）

人付き合いが薄くなってるっていうのは、単純にコミュニティの形成、形式が変わってきただけなんじゃないか。

その中でも、若い世代はコミュニティをきちんと生きてるように俺には感じる。「人間観察が趣味です。」とか意味不明なこと言いながら、必死に空気を読みながら生きているじゃないか。

それでもなお、やれ「シェア」やれ「繋がり」などと、背中を押されているように見えてきたのだ。

では、何故シェアや繋がりをテーマにもってきたのか、それは時代や世代がそうさせたんじゃなく、社会や企業がそうさせたに過ぎなかったと思ってきた。

仮定する筋書きは以下。

→若い世代の消費行動とか、もう全然わかんない、全然予想できない。困った。てわけで、シェアさせよう。ネットに赤裸裸に書いてもらおう。

→メディアでまず、「若い世代は人間付き合いが下手。」「昔みたいな人情も無い。」レッテルをはろう。

→レッテルを貼ったら、あとは若い世代向けトレンド（ケータイなど）から「シェアせよ！繋がりが大事！」と号令をかける。

→流れに敏感な若い世代は、自分を”ウィキリーク”させていき、消費行動や世代性を惜しみなく公開。

→ああね、なるほどね。新しい消費行動もだいたいわかったから、もう号令かけなくていいよ。　　←今ココ

話を世代から国家にもっていく。

シェアって、そもそも何を指してたのか。

この隠蔽体質日本で何をシェアしてきたのか。

みんな情報は金になるのを知ってるくせに。海外にどんどん負けながらも、国内での生き残りも大変な企業。畳み掛けるように現れた、「スーパーコンペティション」の現象で、有益な情報はもっとシェアされなくなっていく。

政府や東電が情報を公開しない事を全面的に否定できないのは、自分たちだって重要な事はシェアしないからじゃないのか。

日本国民がもってる問題は、ほんっとうに根が深い気がした。

インターネット上でのシェアなんて、まだ「エンターテインのシェア」と「自分ウィキリーク」どまりなんだと思う。

これからは、有益な情報でも惜しみなくシェアする事が大事なんだと思う。

そんな意識が当たり前の国民性になった時、ようやく政府や東電の隠蔽する事態を回避、鎮圧できるのではないだろうか。

Permalink | 記事への反応(1) | 01:04

2012-01-03

■http://anond.hatelabo.jp/20120103164939

月経に関する知識を「忌み嫌って遠ざけてきた」男と、別にどうでもいいよっていう増田みたいな男が居るわけで、

問題なのは忌み嫌う系統の男の方が威圧的に主張するから、女がそっちにあわせて行動することなんだよね。

忌み嫌うのが優性遺伝子でどうでもいいと感じるのが劣性遺伝子っていうかさ…。

家庭内の男が全員どうでもいいと感じていない限り、女は月経をケガレとみなして隠蔽せざるを得ない。

Permalink | 記事への反応(0) | 17:00

■http://anond.hatelabo.jp/20120103160432

＞考えなければいけないのは、「なぜ女性が初潮についての色々を男性に対して隠蔽してきたのか」ということ、あるいは「隠蔽せざるを得なかった理由」だと思う。

言わせんな恥ずかしい

以外ないと思うんだが

あなたの過程では射精の回数や量を家族で共有知にしてるのかもしれんが

Permalink | 記事への反応(1) | 16:51

■http://anond.hatelabo.jp/20120103154202

初潮って、おしっこ拭いたらちょびっとティッシュに経血がつくくらいのごくごく軽いものなんだよね。
血が伝うほど量が多くなってくるのは1年～2年後くらいだったかな。
個人的な体験から言ってるだけだけど、小6の初潮から 20歳くらいまではじわじわと重くなり続けた印象。
初潮後はまだ生理が軽いっていうのは、赤ちゃんを育てるためのベッドである子宮内膜を作る能力がまだまだ未完成ってこと。

こういった情報が今まで母娘の間だけで共有されていて、父親や兄弟が知りようもなかったから、

「初潮＝妊娠可能のサインなんだからセックスしておｋなはず」

という誤解が男性の間に広まってしまったんだよ。悪意や傲慢ではなく無知なんだ。

考えなければいけないのは、「なぜ女性が初潮についての色々を男性に対して隠蔽してきたのか」ということ、

あるいは「隠蔽せざるを得なかった理由」だと思う。

Permalink | 記事への反応(3) | 16:04

2011-12-16

■http://anond.hatelabo.jp/20111216154309

日本は「いい年した女がスッピンで出歩くなんて・・・」的な同調圧力が他国より高そうだから

自然と手抜きメイク隠蔽のためにマスクする女は多そうだな。

Permalink | 記事への反応(0) | 15:49

2011-11-13

■http://anond.hatelabo.jp/20111113042917

２８歳貯金女子に対するはてな民の婚活意識の高さに僕も驚かされます。

学歴に関してひとこと。

学歴なんて出来レースじゃないですかね。

高学歴の人は、頭がよいから有名大学に入れたのでしょうか？

必ずしもそうでないでしょう。

多くは、家庭の文化・年収に依るのです。

特に日本はその傾向が顕著なようです。

裕福な家庭ほど、つまり、親が金持ちであればあるほど、

子どもは有名国立大学に通える。

すると、年収の高い仕事に就け、さらに裕福になる。

そして、格差が助長される。

こういった仕組みが日本の教育にはあると指摘されています。

ちょっと単純化しすぎていて、怒られそうですが。

つまり、何が言いたかったかと言うと、別に「すごい人」でもなんでもないのです、高学歴男子とか。

元増田さんは「今の状況じゃダメだよなー、打破したいなー」と感じ、

そのためには勉強が必要だとお考えになったのではないかと推測します。

これって素敵なことではないですか？

要するに、「みんなムズカしいこと言ってるけど、それもっと知りたい！」という

純粋な知識欲じゃないかと思うんですよ。そこに、僕は魅力を感じる。

むかしの偉い人が、「すべての人間は、生まれつき、知ることを欲す」と言っていたのを思い出しました。

「これ勉強すれば、金になるなー」って下品な目的で学問してる人間がいるなかで、

元増田さんの目的は実に人間らしくっていいじゃないですか。

元増田さん、IT系の人と合いそうな気がします。

本当は、合コンをセットできればいいのでしょうが、僕はそういったことには縁遠いので。

お役に立てず申し訳ないです。

出会い系のサクラが出会えないで悩んでいる、というのはある種の皮肉というか。

出会い系に登録したら出会えるのでは？と思いつつも、サクラがいっぱいいるから無理なのか、と思ったり。

でも、それなら出会いない系じゃないのか、とかとか。

じゃあ、いっそのこと、合コンをセットするサービスをつくれば、

仕事にもなるし、一石二鳥作戦なのではないかと思ったり。

（参考）

「大学全入時代」が進学格差を隠蔽する

http://www.gakuryoku.gakken.co.jp/pdf/articles/204/1975/1975685/0701_p02-05.pdf

『秋日和』と『すーちゃん』

http://blog.tatsuru.com/2008/09/14_0731.php

Permalink | 記事への反応(1) | 12:16

2011-10-31

■原発 事故のレポート

BBT 大学院大学で、福島第一原子力発電所事故に関してレポートが公開されています。

http://pr.bbt757.com/2011/1028.html

三ヶ月間にわたり綿密に事実を調査し10/28に発表に至ったようです。

発表までは、関係機関から調査先へ圧力がかかる可能性を懸念し、おおっぴらにせずに

調査していたようです。

また、調査のための協力は政府に求めるが、公平性を保つために、政府から報酬は一切もらわず、

ＢＢＴ大学学長の大前研一氏がボランティアで行なったようです。

この調査を行なった動機としては、来年以降、原発を全部呈した場合、今年よりさらに厳しい節電

が必要になるため、原発事故の経緯を明らかにし、対策をたてようと言うことのようです。

レポートの内容によれば、事故の影響が大きくなった原因としては、津波の規模が想定外だったこと

よりも、むしろ、災害時に冷却用の電源が失われたこと、設計指針として電源の確保の重要性が盛り

込まれて居なかったことが挙げられています。

実際、電源が一つでも残っていた所は冷温停止に成功しており放射能漏れは起こっていないようです。

また、事故後早い段階で炉心融解が起こっていたことが現場では分かっていたにもかかわらず、4月

まで政府から公表されなかったことも指摘されています。（情報がどこかで途切れたことまでは調査

で判明したようですが、政府が知っていながら隠蔽したわけではなさそうとのことです。）

また、作業にあたった現場の方が、過酷な状況で精度の高いオペレーションを行なったことも明らか

となったようで、事故の影響を最小限にする努力をされた方には頭が下がります。

Permalink | 記事への反応(0) | 00:17

2011-10-18

■http://anond.hatelabo.jp/20111018221653

流すなよ！Twitterで「経産省官僚や東電幹部が出荷停止になってる福島の特産品を片っ端からタダ同然で大量に買い込んでる。どうやら自分達が買い占めるまで福島県産が危険であるかのように情報を隠蔽するつもりらしい」とか絶対流すなよ！

Permalink | 記事への反応(0) | 23:04

■[ネタ]福島県 産物の売れ行きを回復させる方法

政治家でも何でもいいので誰か一人適当な生け贄を見繕って、そいつが暴落した福島県産の高級食材を買いあさって贅沢に食ってると週刊誌とかにスクープさせ、とっくに安全になってる福島県産物の情報を隠蔽して不当に価格を暴落させてるとか何とか書き立てさせる。

Permalink | 記事への反応(2) | 22:16

2011-10-09

■違うの探してたら、Ｄｒ．林もＳＳＲＩ商人的傾向がとわかる質問と回

回答が見つかってしまったｗｗｗ　　(おかしい何度やっても入らない。字数制限？)　　(的傾向に訂正しておいた)

http://anond.hatelabo.jp/20111008211730

http://logsoku.com/thread/pc11.2ch.net/net/1239615317/　ここのスレにも出てみんな信じてしまってるけど

この文章という情報だけでは、一般読者もドクターも、同じ条件なのに、最後が驚いたという感想がブクマに多いのに驚いた。http://b.hatena.ne.jp/entry/kokoro.squares.net/psyqa1087.html

サトラレは物理的にありえないが、この場合は何とも言えないと思う。

権威主義的な科学者っぽいことを言う人が、ニセ科学リスト作ったら群がる人が多いはずだ

http://b.hatena.ne.jp/entry/d.hatena.ne.jp/DocSeri/20071128/1196234450

この中で＞このリストは、機械的にニセ科学を見分けるためのものではない。「リストに載ってないから本物」などという判断は、それ自体科学的ではない。 2010/11/28

と言う人こそ科学的だと思うが、見える範囲では一人しか居ない。これについてはブログに本人も補足してた。この意見を載せていた。(　これは、エセ科学を科学的に検証したのではなく、権威はこういうものを嫌ってますよという空気感を綴ったものではなかろうか？とあとで思った　)

ドクター林の相談は、小説や読み物としてなら、最後の謎解きとかどんでん返しのようで、面白いのだろうけど、そういう受けを狙った怪しいラベリングでしかないと思う。

文章を見た時点で持ってる情報は、ドクターも読者も同じはずなのに、読者は、ドクターなら文を見ただけで判断できる情報を持っていると錯覚しているし、本人もそれを狙ってやっているのではないか？

それこそ、エセ心理学みたいｗ　小説なんかでは、目がどっちに流れたらウソを話している可能性が高いだの、顔に手をやったらどうのこうとか、心理学者が分析まがいの事をやるシーンも出てくるが、あれは小説だから！フィクションだから！　多少はそういうものを調査したり統計取ったり実験したりして、それに基づいてるものもあっても、統計には例外があるし決め付けられるものではない。　民間で資料としてマーケッティングのようなものに生かすのに、調べたりというのはあると思う。　そういうものの流用とか、面白おかしく話したりとかはあるかもしれないが、マトモな心理学者はどこに手をやったらどうのこうのなんて、そんな占いや当てものみたいな事は言わない。

通りがかった精神科医と言う人は、精神分析もエセだと言っていた。ここ→http://b.hatena.ne.jp/entry/anond.hatelabo.jp/20110922173823　ツリーに繋がると長くなるからブクマで

まさかとは思いますが、に繋がるのはむしろ、矛盾に満ち満ちた精神医療に根を張った既得権益者の不当利得を守るための権威付けや一般の人の洗脳、ではないですよね？ではなかろうかｗ

だって、これ↓

http://ameblo.jp/momo-kako/　とか　さっきも貼った被害者相談サイトの掲示板　 http://seishiniryohigai.bbs.fc2.com/　

ここは政治家に陳情もし、国会で質問させてるhttp://seishiniryohigai.web.fc2.com/seishiniryo/renrakukai/jisseki.html　　精神病院ではなく、向精神薬のだけど

うつ病の新しい薬ではようつべでも、こんな動画もあるくらい、前から製薬会社の薬売り営業とか言われてたのは知ってた

http://www.youtube.com/watch?v=v9-rcwiZuOA　　抗うつ薬 SSRI・攻撃性の副作用を隠蔽して宣伝する製薬会社　＞抗うつ薬ＳＳＲＩの説明が製薬会社の宣伝ビデオとＮＨＫの報道番組で全然違ってるんだけど患者を馬鹿にしてるの？

探してたら怖いものを見つけてしまったｗ

http://www.youtube.com/watch?v=LiPX4g3REqU　【犬を撲殺】抗うつ薬 SSRIによる攻撃性の副作用が怖すぎる件【Dr.林】

これの元の林氏のサイトのが中々見つからなかった。その動画にはいつもある先生の回答がなかったから、探してたら、これだったｗ　やっぱり・・・

http://kokoro.squares.net/psyqa1709.html　＞林:　抗うつ薬(SSRIとは限りません)による自分や他人に対する攻撃性の副作用については、これまでの回答をまずご参照ください。

これは、６ブクマしか付いてない　http://b.hatena.ne.jp/entry/kokoro.squares.net/psyqa1709.html　おいおい言ってる人はいるけど

ＳＳＲＩに対する認識がコレだよｗｗｗ

そりゃエスパーになるわけだｗｗｗ

ＳＳＲＩについては、犬じゃなくて、隣の主婦に襲い掛かったという動画も・・・

http://www.youtube.com/watch?v=JwQMzrfYFXI　SSRIの副作用・攻撃性で発狂して刃物を振り回して逮捕された姉

関係ないがこういうのを見て、チバレイはなんと言うのだろう？　あの人は何をのんでたんだろう？　うつ病の精神科来訪キャンペーンに出てたけどｗ

薬は、一時的に安定剤を使用するのが効く場合もあると思うが、怖いんだなぁ

知らなかったけど、うつ病の薬以外でも、断薬サイトやブログや本があるくらい、大変らしい。

薬と言うのは、西洋薬はとくにそうらしいけど、基本的に毒なんだけど、それを少量取り込んだり、少しの期間使い事によって、良い効果を得ようとする、というものとして考えられるらしい。　それは言い過ぎとしても、副作用と言うのはあるからそれも考えないと。

つけたし

よく読んでみたら、副作用否定ではなく副作用指摘とも見える事も言っている。でも、やっぱりよく読むと・・・、責任の所在を曖昧にしたり、まどろっこしい言い方で(いつもの断定的口調はどうなったのだｗ)言葉に厚みを付けていつもと比べ物にならないくらい冗長に説明してる。

６ブクマの中の１コメントの人が、おいおい言ってるのは、副作用のせいにするという事かもしれないような気もしてきた

林氏は、一見ＳＳＲＩの批判もしてるようにも見えることを書いているし、・・・

しかし、いつもの調子とえらく違う。　製薬会社は私企業なので仕方なくて、医者と患者が問題なように書いてある。

でも、一番それで儲けたのは、それを出した製薬会社じゃないの？

やっぱり製薬会社批判は言いたくない事なのではなかろうか？

まさかと思いますが、一番に利得を得ていて、不当なのは知っているけど、力ありそうなので遠慮しているが、徐々にばれつつあるので、その知識も入れとかないといけないけど、自分が睨まれるのは困る、という色んな利害の兼ね合いを考えた結果の煮え切らなさ、いつもにはない慎重さ、ではないですよね？　無いと思いますが・・・・

みたいなｗ

Permalink | 記事への反応(0) | 07:41

2011-10-02

■http://anond.hatelabo.jp/20111002001851

あるだろ

事実を隠蔽したり

放射能は危険じゃないって宣伝して回ったり

オール電化サイコー！って洗脳して回ったり

やることありすぎて大変だよw

Permalink | 記事への反応(0) | 00:31

2011-09-26

■女子中学生とブルートフォース アタックと日本 やばいという話

女子中学生を名乗るスパムメールが来て釣られてみるかと会いに行ったら本当に女子中学生だった話。あるいは日本の将来やばい。

ありのまま起こったことを話す。女子中学生を名乗るスパムメールが来て釣られてみるかと会いに行ったら本当に女子中学生だった。何を言っているかわからないと思うけれど、自分でも何が起こったのかよく分からない。とりあえず詳しい経過を書いてみる。

最初は1通のメール から始まった

一昨日(9/23)の深夜、一通のスパムメールが来た。簡単に「友達になりませんか？」と。普通ならそこで削除して終わりなのだけれど、他のスパムメールと決定的に違うことがあった。送信者のアドレスが@docomo.ne.jpだったのである。

ほぼ釣りか巧妙なスパムだと思ってスルーしていたけれど、ふと「どちらさまですか」と返信してみるとすぐに「XXX（以下、仮にハルカとする）っていいます。中３です！！」と返事が来た。

99%釣りと思ったけれど、遊んでみるかとメールを続けてみた。全力で釣られるのが紳士の努めである・・・

スパムか釣りか、あるいは・・・

こういったスパムの場合、考えられるのは次の３つのいずれかだろう。

悪質なスパム業者による釣り。あるいは最近、Googleなどにも攻撃されて話題になったソーシャルハッキング。
自分の知り合いがアドレス変更したついでに自分を試そうと企んでいる。釣り。
本物

おそらく 2. だと思われるが、綺麗に釣られることで盛り上がるかなあとそれなりにメールを続けてみた。すると、いろいろ不審な点がでてきて、3. が急浮上してきた。

まず、メールの書き方が拙い。もし釣りであれば、もっと話を膨らませようとしたり、こちらの墓穴を掘ろうとするだろう。自分から、「メル友になりませんか♡」と書いてきたのに、話を膨らませる気がなさそう、「部活はなにやってたの？」と聞くと「卓球をやってました。」と答えるだけ。普通、相手にも同じ質問を返すか、そこでの話をしようとすると思う。あと一部、文脈がない、質問してもそれに答えないこともあったり。マウンテン・ティムがブチギレるレベル。それでも、なんとかメールを返すとちゃんと返事をくれる。返事は早くチャット状態だった。

そしてやたら地名が生々しい。話の流れから愛知県に住んでることがわかったのだけど、そのあと、「いまはヒルズにいます」と言ってきた。六本木ヒルズのことで東京にいるのかと思い聞いてみると、ヒルズXXというローカルなショッピングセンターのことだった。

これは、まず釣りでは言わなさそうな微妙な固有名詞。

ここからおそらく、女子中学生かどうかはともかく、かなり本物と言うか素人的ななにかじゃないかという推測が立てられた。

このときは夜神月くんが偽物だろうと思いながらもデスノートを試してみたら本物だったとわかってしまったような心境。だったと思う。

そして話は急転して

その日の夜、友達と飲みながら話をしていたら、もっとメールしてみようということになって、いろいろ送ってみることにした。その中で、なんでこのアドレスにメールしたの？（どこかで見つけたの？）と質問するとはぐらかされてしまった。そのあとに文脈がわからないまま写メ見せてください☆と来て何人かで写っている写真を「この中のどれかだよ！XXXちゃんの写真も見たいな」と送ってみた。すると自分の送った写真にはなんのコメントもせずに３人で写っているプリクラを送ってきた。幼い、明らかに女子中学生・・・。念のため書いておくと自分はロリコンじゃない、けれどもし相手がこの写真に写っている1人なら、どういう経緯で自分にメールを送ってきたのか、中学生の間でなにが流行っているのか、すこし興味が湧いてきた。

そのあと、その３人で写っている中でどれが私だと思いますかと聞かれて、半ば適当に答えるとんぜか見事に正解、その流れと怖いもの見たさとお酒の勢いで「これは会いに行かないといけないな^^」とキモいメールを送るとむこうもまんざらじゃなさそう、「でも会わないほうがいいですよ」とも言ってきたり、なぜか身長と体重を聞かれたり、そのあとに年齢を聞かれて、話をしているうちに、ほんとに翌日会うことになってしまった。

会う場所は、名古屋駅にしようと連絡するとよくわからない、と来た。それもそうか、と思うと「あの...お母さんがヒルズXXXにしなさいって言ってるんですけど...大丈夫ですか？」と返信。お母さん現る・・・！？

相手のホームグラウンドに行くのは美人局的なリスクもあって恐怖もあったけれど、なんとかなるかと勢いを大事に約束を取り付けて、おやすみとメールをクローズ。

なお、自分の意志だけでなく、一緒に飲んでいた人の後押しとカンパがあったことも書き加えておく。

即日決戦

翌朝、いつもの仕事の時間より早く起きて新幹線に乗る。片道１万円以上、なかなか痛い出費だけど、取材費と割り切る。

ただ、約束の11時のまえ、2時間くらい前からメールをしてみたけれど返事がない。まだ寝ているのか、やはり知らない男の大人に会うのは怖くて切ったのか、と不安になる。ゆったり勉強しようと思っていた休日とお金を遣ってる分、なんとか会わないとと思いつつも会えなくてもそこを観光してその県で仕事をしている先輩とごはんを食べることが出来ればそれでいいかなと思えてくる。

待ち合わせの時間を過ぎても返事がなく、別に連絡をとっていた現地の子に連絡をとってお昼を食べることになり騙されちゃったよと言っていると急にメール「すいません汗汗お母さんの買い物付き合っててもうすぐ帰るんですけど時間かかりそうです汗汗汗」

お母さん同伴！？

と思いつつ、まあここまで来たしお母さんと話してもよいかなあと（なぜか）思えて、一緒でもよいよと返信してみた。メールを続けるとハルカちゃんはお母さんに自分と会うことになったと言ってしまい、当然反対されたということ、でも抜けて会いにいける、となって会うことに。

・・・

リアルで中学3年生でした。

わりといそうな、ちょっと日に焼けていて服装もそんな気を遣ってはいなさそうだけど伸ばした髪はちゃんと手入れしてそうな感じの子。顔つきは地味目で、そしてすごい痩せている。

まだ子ども。なんでこんなメールをしてきたのか気になるのでいろいろ話を聞いてみる。

まわりから援助交際を疑われるかも知れないけれど、手をつないだりするわけでないし親戚のお兄さんが遊びに来たように見える、はず。

ただ、これは間違い。あとから分かったのだけど、その田舎のショッピングセンターは地元の人が遊んでばかりで、知っている子もぱらぱらいたそう。知っている人、友だちに知らない大人の男と一緒にいるところを見られてもなんとも思わない、むしろ自慢する風でもあることにふとした空恐ろしさを感じる。

ここからはスタバで話を聞いたことの内容。

驚くべき内容が多くて衝撃を受けたのだけど、うまく表現できないので箇条書きしてみる。

中学校まわりではメル友をつくるのが流行っている。ある手法で適当なアドレスにメールを送って帰ってきたらメル友になってと頼む。
- この手法は、犯罪に使われる恐れもあるのでアルゴリズムは曖昧にして書くけれど、ある種のブルートフォースアタック（内容はシンプルだけど）。たしかにこの手法なら自分のアドレスはわりと引っかかるなと思えた。どこかに登録したり漏れたりしたものではない様子で安心。((ここで詳しく書かないのは、ここでアルゴリズムを書くとロリコンどもがそれにヒットされやすいアドレスに変えることが予想されるから))
- なかにはその手法で見ず知らずのメル友 10人近くつくっている人もいるそう。
- ハルカちゃんは4人に送って、自分だけメールを返してくれた。
16歳のお姉ちゃんもネットでいろいろやっていて、ほぼ出会い系的に使っている。ツールやサイトは不明。
- お姉ちゃんは交友関係も広くてメールや電話経由で会ったことのない男からも何人にも告白されてる。
ハルカちゃんはそれまでお姉ちゃんとメールやりとりしていたショーヤという男からなぜかプロポーズされた。ショーヤは最初 20歳と言っていたけれどあとで明かしてくれた所では27歳らしい。でもお姉さんも最初17歳と鯖を読んでいた。ショーヤから、お姉さんは変態的なこと嫌みたいだけど君はどう？みたいに聞かれたり電話かかってきたりで、こんど車で来ることになりそうでちょっと困っている。らしい。
ここの文脈で変態とか「やった」とかがでてきて聞いてみると、まわりの同級生もたいてい経験済みで、しかも彼氏は3歳年上の高校生なんていうのはザラらしい。ハルカちゃんも3年付き合って最近別れた彼氏と経験してる。
避妊という言葉は知らなかった。でもゴムは使うようにしてる、とのこと。
そういう生々しい話がある中で、テレビの話とかクラスメイトとの他愛もない話がでてくる。いくるか気になったことだけ書いてみる。
- 名古屋といっても都市部から離れていて遊ぶ場所はそのヒルズXXXとアピタくらいしかない。ゲーセンか、ロッテリアでポテトだけ頼んで友達とずっとしゃべっているか。
- テレビゲームやケータイのゲームはあまりしない。
- ケータイは小学校のころから持っている。
- ネットはYouTubeでテレビ番組を見たりするくらい。「ッ」が打てない。
- お酒は冒険的に飲んだりしてる。タバコは苦手。
- 小学校の頃いた頭のよい子はみな別の学校に行った。
- 自分はあまり勉強できないので、調理系の専門学校に行きたい。（ここはわりとちゃんと、それなりに現実的に考えているみたいだ）
14歳ということもあって、丁寧に話を聞くとどんどんしゃべってくれる。お姉ちゃんのようにもう少し年齢を重ねると、自分をよく見せるために言わないほうがよいこともより考えられてうまく聞き出せなかったと思う。

で、このあとプリ機（プリクラのことらしい）でプリクラ撮って少し話して、ペットショップ見てそろそろさようならとしようかなと思っていた、けれど・・・

さらなる恐怖/お姉さんとの遭遇

高1のお姉さんも、デートするのにはアピタかこのショッピングセンターしかないらしく、遭遇してしまった。

しかも男連れ。彼氏（？）はどうみて40歳くらい。なにが起こっているのかワケガワカラナイヨ。

ただ見た目はちょっと格好悪いおっちゃんだけど話してると地元の景気を憂いていたり、新しいプリ機とかわからないけれど高校生と一緒にいるといろいろ勉強になると語るなど意外とまとも。気まずくてちゃんと話せなかったけれどまた話みたい、かも・・。

お姉さんはモテてる、と聞いた割にそう顔立ちがいいわけでないし、かわいらい格好をしているわけでない、ただ、先ほどのハルカちゃんの話の影響からか色目を使われているような気がしてしんどかった。

そしてフードコートで美味しくない山盛りのフライドポテトを食べてだらだら話をした。さっきまですごくたくさん話してくれたハルカちゃんもお姉さんの前ではあまりしゃべらない。謎の空気が気まずくて話も盛り上がらない。そして4人でプリクラ撮って、自分の気力が萎えて解散。ああ、禍根を残してしまった・・・。

最後はなんかいきなりキスしたりエッチとかはありえないけどキスマくらいなら・・みたいなことを言われて衝撃。けれど正直、文脈も分からないし飽きてきたのでよくわからない。はいはいワロスワロスみたいな感じで聞いてさらっと別れた。たぶん、もう二度と会うことはないだろうな・・・

そうして傷心したまま、名古屋駅で麺や六三六を食べてシルバーウィーク最終日の激混み新幹線で帰宅。

おまけ

最近の中学生・高校生やばい
- 名古屋市内の隅っこという微妙な場所柄も影響？
- 中学から私立と公立に分離されることも原因？
- 親や学校はどう思っていてどこまで把握しているのか
- 女子中学生から出会いメールが来ることもある
- 適当なSNSか出会い系サイトではもっと大規模に、かつ隠蔽されて広がっている可能性もある
  - 潜在的にそういう欲求をもってしまっている子が多い（環境も一因か？）
  - その性質上、匿名度の低いソーシャルウェブにはそういった情報は出てこない
- なにより、普通の子だったことに衝撃。
  - 頭が悪いわけでなく、なにかトラウマがあるわけでもない
  - 寂しさか、流行りか。大人はどう振る舞うべきなのだろうか。
ショーヤやばい

しばらく話のネタにはなりそう・・・

自分のブログには書きにくかったので増田で、なにか不明の点があれば質問ください。

プリクラはアップしません。あと、ぼくはロリコンじゃない。

Permalink | 記事への反応(16) | 22:15

2011-09-15

■「コンピュータ基礎理論ハンドブック2 形式的モデルと意味論」の目次

第1章  有限オートマトン
	D.Perrin：橋口攻三郎
1. 序論
2. 有限オートマトンと認識可能集合
3. 有理表現
4. Kleeneの定理
5. 星の高さ
6. 星自由集合
7. 特殊なオートマトン
8. 数の認識可能集合


第2章  文脈自由言語
	J.Berstel and L.Boasson：富田　悦次

1. 序論
2. 言語
	2.1 記法と例
	2.2 Hotz 群
	2.3 曖昧性と超越性
3. 反復
	3.1 反復補題
	3.2 交換補題
	3.3 退化
4. 非生成元の探求
	4.1 準備
	4.2 生成元
	4.3 非生成元と代入
	4.4 非生成元と決定性
	4.5 主錐の共通部分
5. 文脈自由群
	5.1 文脈自由群
	5.2 Cayleyグラフ
	5.3 終端


第3章  形式言語とべき級数
	A.Salomaa：河原　康雄

1. 序論
2. 準備
3. 書換え系と文法
4. Post正準系
5. Markov系
6. 並列書換え系
7. 射と言語
8. 有理べき級数
9. 代数的べき級数
10. べき級数の応用


第4章  無限の対象上のオートマトン
	W.Thomas：山崎　秀記

序論
Ⅰ部  無限語上のオートマトン
	記法
1. Buchiオートマトン
2. 合同関係と補集合演算
3. 列計算
4. 決定性とMcNaughtonの定理
5. 受理条件とBorelクラス
6. スター自由ω言語と時制論理
7. 文脈自由ω言語
Ⅱ部  無限木上のオートマトン
	記法
8. 木オートマトン
9. 空問題と正則木
10. 補集合演算とゲームの決定性
11. 木の単項理論と決定問題
12. Rabin認識可能な集合の分類
	12.1 制限された単項2階論理
	12.2 Rabin木オートマトンにおける制限
	12.3 不動点計算


第5章  グラフ書換え：代数的・論理的アプローチ
	B.Courcelle：會澤　邦夫

1. 序論
2. 論理言語とグラフの性質
	2.1 単純有向グラフの類S
	2.2 グラフの類D(A)
	2.3 グラフの性質
	2.4 1階のグラフの性質
	2.5 単項2階のグラフの性質
	2.6 2階のグラフの性質
	2.7 定理
3. グラフ演算とグラフの表現
	3.1 源点付きグラフ
	3.2 源点付き超グラフ
	3.3 超グラフ上の演算
	3.4 超グラフの幅
	3.5 導来演算
	3.6 超辺置換
	3.7 圏における書換え規則
	3.8 超グラフ書換え規則
4. 超グラフの文脈自由集合
	4.1 超辺置換文法
	4.2 HR文法に伴う正規木文法
	4.3 超グラフの等式集合
	4.4 超グラフの文脈自由集合の性質
5. 超グラフの文脈自由集合の論理的性質
	5.1 述語の帰納的集合
	5.2 論理構造としての超グラフ
	5.3 有限超グラフの可認識集合
6. 禁止小グラフで定義される有限グラフの集合
	6.1 小グラフ包含
	6.2 木幅と木分解
	6.3 比較図
7. 計算量の問題
8. 無限超グラフ
	8.1 無限超グラフ表現
	8.2 無限超グラフの単項性質
	8.3 超グラフにおける等式系
	8.4 関手の初期不動点
	8.5 超グラフにおける等式系の初期解
	8.6 等式的超グラフの単項性質


第6章  書換え系
	N.Dershowitz and J.-P.Jouannaud：稲垣　康善，直井　徹

1. 序論
2. 構文論
	2.1 項
	2.2 等式
	2.3 書換え規則
	2.4 決定手続き
	2.5 書換え系の拡張
3. 意味論
	3.1 代数
	3.2 始代数
	3.3 計算可能代数
4. Church-Rosser性
	4.1 合流性
	4.2 調和性
5. 停止性
	5.1 簡約順序
	5.2 単純化順序
	5.3 経路順序
	5.4 書換え系の組合せ
6. 充足可能性
	6.1 構文論的単一化
	6.2 意味論的単一化
	6.3 ナローイング
7. 危険対
	7.1 項書換え
	7.2 直交書換え系
	7.3 類書換え
	7.4 順序付き書換え
	7.5 既約な書換え系
8. 完備化
	8.1 抽象完備化
	8.2 公平性
	8.3 完備化の拡張
	8.4 順序付き書換え
	8.5 機能的定理証明
	8.6 1階述語論理の定理証明
9. 書換え概念の拡張
	9.1 順序ソート書換え
	9.2 条件付き書換え
	9.3 優先度付き書換え
	9.4 グラフ書換え


第7章  関数型プログラミングとラムダ計算
	H.P.Barendregt：横内　寛文

1. 関数型計算モデル
2. ラムダ計算
	2.1 変換
	2.2 計算可能関数の表現
3. 意味論
	3.1 操作的意味論：簡約と戦略
	3.2 表示的意味論：ラムダモデル
4. 言語の拡張
	4.1 デルタ規則
	4.2 型
5. 組合せ子論理と実装手法
	5.1 組合せ子論理
	5.2 実装の問題


第8章  プログラミング言語における型理論
	J.C.Mitchell：林　晋

1. 序論
	1.1 概論
	1.2 純粋および応用ラムダ計算
2. 関数の型をもつ型付きラムダ計算
	2.1 型
	2.2 項
	2.3 証明系
	2.4 意味論と健全性
	2.5 再帰的関数論的モデル
	2.6 領域理論的モデル
	2.7 カルテシアン閉圏
	2.8 Kripkeラムダモデル
3. 論理的関係
	3.1 はじめに
	3.2 作用的構造上の論理的関係
	3.3 論理的部分関数と論理的同値関係
	3.4 証明論的応用
	3.5 表現独立性
	3.6 論理的関係の変種
4. 多相型入門
	4.1 引数としての型
	4.2 可述的な多相的計算系
	4.3 非可述的な多相型
	4.4 データ抽象と存在型
	4.5 型推論入門
	4.6 型変数をもつλ→の型推論
	4.7 多相的宣言の型推論
	4.8 他の型概念


第9章  帰納的な関数型プログラム図式
	B.Courcelle：深澤　良彰

1. 序論
2. 準備としての例
3. 基本的な定義
	3.1 多ソート代数
	3.2 帰納的な関数型プログラム図式
	3.3 同値な図式
4. 離散的解釈における操作的意味論
	4.1 部分関数と平板な半順序
	4.2 離散的解釈
	4.3 書換えによる評価
	4.4 意味写像
	4.5 計算規則
5. 連続的解釈における操作的意味論
	5.1 連続代数としての解釈
	5.2 有限の極大要素と停止した計算
6. 解釈のクラス
	6.1 汎用の解釈
	6.2 代表解釈
	6.3 解釈の方程式的クラス
	6.4 解釈の代数的クラス
7. 最小不動点意味論
	7.1 最小で唯一の解を得る不動点理論
	7.2 Scottの帰納原理
	7.3 Kleeneの列と打切り帰納法
8. プログラム図式の変換
	8.1 プログラム図式における同値性の推論
	8.2 畳込み，展開，書換え
	8.3 制限された畳込み展開
9. 研究の歴史，他の形式のプログラム図式，文献ガイド
	9.1 流れ図
	9.2 固定された条件をもつ一様な帰納的関数型プログラム図式
	9.3 多様な帰納的関数型プログラム図式
	9.4 代数的理論
	9.5 プログラムの生成と検証に対する応用


第10章  論理プログラミング
	K.R.Apt：筧　捷彦

1. 序論
	1.1 背景
	1.2 論文の構成
2. 構文と証明論
	2.1 1階言語
	2.2 論理プログラム
	2.3 代入
	2.4 単一化子
	2.5 計算過程―SLD溶融
	2.6 例
	2.7 SLD導出の特性
	2.8 反駁手続き―SLD木
3. 意味論
	3.1 1階論理の意味論
	3.2 SLD溶融の安全性
	3.3 Herbrand模型
	3.4 直接帰結演算子
	3.5 演算子とその不動点
	3.6 最小Herbrand模型
	3.7 SLD溶融の完全性
	3.8 正解代入
	3.9 SLD溶融の強安全性
	3.10 手続き的解釈と宣言的解釈
4. 計算力
	4.1 計算力と定義力
	4.2 ULの枚挙可能性
	4.3 帰納的関数
	4.4 帰納的関数の計算力
	4.5 TFの閉包順序数
5. 否定情報
	5.1 非単調推論
	5.2 閉世界仮説
	5.3 失敗即否定規則
	5.4 有限的失敗の特徴付け
	5.5 プログラムの完備化
	5.6 完備化の模型
	5.7 失敗即否定規則の安全性
	5.8 失敗即否定規則の完全性
	5.9 等号公理と恒等
	5.10 まとめ
6. 一般目標
	6.1 SLDNF-溶融
	6.2 SLDNF-導出の安全性
	6.3 はまり
	6.4 SLDNF-溶融の限定的な完全性
	6.5 許容性
7. 層状プログラム
	7.1 準備
	7.2 層別
	7.3 非単調演算子とその不動点
	7.4 層状プログラムの意味論
	7.5 完全模型意味論
8. 関連事項
	8.1 一般プログラム
	8.2 他の方法
	8.3 演繹的データベース
	8.4 PROLOG
	8.5 論理プログラミングと関数プログラミングの統合
	8.6 人工知能への応用


第11章  表示的意味論
	P.D.Mosses：山田　眞市

1. 序論
2. 構文論
	2.1 具象構文論
	2.2 抽象構文
	2.3 文脈依存構文
3. 意味論
	3.1 表示的意味論
	3.2 意味関数
	3.3 記法の慣例
4. 領域
	4.1 領域の構造
	4.2 領域の記法
	4.3 記法上の約束事
5. 意味の記述法
	5.1 リテラル
	5.2 式
	5.3 定数宣言
	5.4 関数の抽象
	5.5 変数宣言
	5.6 文
	5.7 手続き抽象
	5.8 プログラム
	5.9 非決定性
	5.10 並行性
6. 文献ノート
	6.1 発展
	6.2 解説
	6.3 変形


第12章  意味領域
	C.A.Gunter and D.S.Scott：山田　眞市

1. 序論
2. 関数の帰納的定義
	2.1 cpoと不動点定理
	2.2 不動点定理の応用
	2.3 一様性
3. エフェクティブに表現した領域
	3.1 正規部分posetと射影
	3.2 エフェクティブに表現した領域
4. 作用素と関数
	4.1 積
	4.2 Churchのラムダ記法
	4.3 破砕積
	4.4 和と引上げ
	4.5 同形と閉包性
5. べき領域
	5.1 直観的説明
	5.2 形式的定義
	5.3 普遍性と閉包性
6. 双有限領域
	6.1 Poltkin順序
	6.2 閉包性
7. 領域の帰納的定義
	7.1 閉包を使う領域方程式の解法
	7.2 無型ラムダ記法のモデル
	7.3 射影を使う領域方程式の解法
	7.4 双有限領域上の作用素の表現


第13章  代数的仕様
	M.Wirsing：稲垣　康善，坂部　俊樹

1. 序論
2. 抽象データ型
	2.1 シグニチャと項
	2.2 代数と計算構造
	2.3 抽象データ型
	2.4 抽象データ型の計算可能性
3. 代数的仕様
	3.1 論理式と理論
	3.2 代数的仕様とその意味論
	3.3 他の意味論的理解
4. 単純仕様
	4.1 束と存在定理
	4.2 単純仕様の表現能力
5. 隠蔽関数と構成子をもつ仕様
	5.1 構文と意味論
	5.2 束と存在定理
	5.3 隠蔽記号と構成子をもつ仕様の表現能力
	5.4 階層的仕様
6. 構造化仕様
	6.1 構造化仕様の意味論
	6.2 隠蔽関数のない構造化仕様
	6.3 構成演算
	6.4 拡張
	6.5 観測的抽象化
	6.6 構造化仕様の代数
7. パラメータ化仕様
	7.1 型付きラムダ計算によるアプローチ
	7.2 プッシュアウトアプローチ
8. 実現
	8.1 詳細化による実現
	8.2 他の実現概念
	8.3 パラメータ化された構成子実現と抽象化子実現
	8.4 実行可能仕様
9. 仕様記述言語
	9.1 CLEAR
	9.2 OBJ2
	9.3 ASL
	9.4 Larch
	9.5 その他の仕様記述言語


第14章  プログラムの論理
	D.Kozen and J.Tiuryn：西村　泰一，近藤　通朗

1. 序論
	1.1 状態，入出力関係，軌跡
	1.2 外的論理，内的論理
	1.3 歴史ノート
2. 命題動的論理
	2.1 基本的定義
	2.2 PDLに対する演繹体系
	2.3 基本的性質
	2.4 有限モデル特性
	2.5 演繹的完全性
	2.6 PDLの充足可能性問題の計算量
	2.7 PDLの変形種
3. 1階の動的論理
	3.1 構文論
	3.2 意味論
	3.3 計算量
	3.4 演繹体系
	3.5 表現力
	3.6 操作的vs.公理的意味論
	3.7 他のプログラミング言語
4. 他のアプローチ
	4.1 超準動的論理
	4.2 アルゴリズム的論理
	4.3 有効的定義の論理
	4.4 時制論理


第15章  プログラム証明のための手法と論理
	P.Cousot：細野　千春，富田　康治

1. 序論
	1.1 Hoareの萌芽的な論文の解説
	1.2 C.A.R.HoareによるHoare論理のその後の研究
	1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究
	1.4 Hoare論理の概観
	1.5 要約
	1.6 この概観を読むためのヒント
2. 論理的，集合論的，順序論的記法
3. プログラミング言語の構文論と意味論
	3.1 構文論
	3.2 操作的意味論
	3.3 関係的意味論
4. 命令の部分正当性
5. Floyd-Naurの部分正当性証明手法とその同値な変形
	5.1 Floyd-Naurの手法による部分正当性の証明の例
	5.2 段階的なFloyd-Naurの部分正当性証明手法
	5.3 合成的なFloyd-Naurの部分正当性証明手法
	5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性
	5.5 Floyd-Naurの部分正当性証明手法の変形
6. ライブネスの証明手法
	6.1 実行トレース
	6.2 全正当性
	6.3 整礎関係，整列集合，順序数
	6.4 Floydの整礎集合法による停止性の証明
	6.5 ライブネス
	6.6 Floydの全正当性の証明手法からライブネスへの一般化
	6.7 Burstallの全正当性証明手法とその一般化
7. Hoare論理
	7.1 意味論的な観点から見たHoare論理
	7.2 構文論的な観点から見たHoare論理
	7.3 Hoare論理の意味論
	7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題
8. Hoare論理の補足
	8.1 データ構造
	8.2 手続き
	8.3 未定義
	8.4 別名と副作用
	8.5 ブロック構造の局所変数
	8.6 goto文
	8.7 （副作用のある）関数と式
	8.8 コルーチン
	8.9 並行プログラム
	8.10 全正当性
	8.11 プログラム検証の例
	8.12 プログラムに対して1階論理を拡張した他の論理


第16章  様相論理と時間論理
	E.A.Emerson：志村　立矢

1. 序論
2. 時間論理の分類
	2.1 命題論理 対 1階述語論理
	2.2 大域的と合成的
	2.3 分岐的 対 線形
	2.4 時点と時区間
	2.5 離散 対 連続
	2.6 過去時制 対 未来時制
3. 線形時間論理の技術的基礎
	3.1 タイムライン
	3.2 命題線形時間論理
	3.3 1階の線形時間論理
4. 分岐的時間論理の技術的基礎
	4.1 樹状構造
	4.2 命題分岐的時間論理
	4.3 1階の分岐的時間論理
5. 並行計算：その基礎
	5.1 非決定性と公平性による並列性のモデル化
	5.2 並列計算の抽象モデル
	5.3 並列計算の具体的なモデル
	5.4 並列計算の枠組みと時間論理の結び付き
6. 理論的見地からの時間論理
	6.1 表現可能性
	6.2 命題時間論理の決定手続き
	6.3 演繹体系
	6.4 モデル性の判定
	6.5 無限の対象の上のオートマトン
7. 時間論理のプログラムの検証への応用
	7.1 並行プログラムの正当性に関する性質
	7.2 並行プログラムの検証：証明論的方法
	7.3 時間論理による仕様からの並行プログラムの機械合成
	7.4 有限状態並行システムの自動検証
8. 計算機科学における他の様相論理と時間論理
	8.1 古典様相論理
	8.2 命題動的論理
	8.3 確率論理
	8.4 不動点論理
	8.5 知識


第17章  関係データベース理論の構成要素
	P.C.Kanellakis：鈴木　晋

1. 序論
	1.1 動機と歴史
	1.2 内容についての案内
2. 関係データモデル
	2.1 関係代数と関係従属性
	2.2 なぜ関係代数か
	2.3 なぜ関係従属性か
	2.4 超グラフとデータベーススキーマの構文について
	2.5 論理とデータベースの意味について
3. 従属性とデータベーススキーマ設計
	3.1 従属性の分類
	3.2 データベーススキーマ設計
4. 問合わせデータベース論理プログラム
	4.1 問合わせの分類
	4.2 データベース論理プログラム
	4.3 問合わせ言語と複合オブジェクトデータモデル
5. 議論：関係データベース理論のその他の話題
	5.1 不完全情報の問題
	5.2 データベース更新の問題
6. 結論


第18章  分散計算：モデルと手法
	L.Lamport and N.Lynch：山下　雅史

1. 分散計算とは何か
2. 分散システムのモデル
	2.1 メッセージ伝達モデル
	2.2 それ以外のモデル
	2.3 基礎的概念
3. 分散アルゴリズムの理解
	3.1 挙動の集合としてのシステム
	3.2 安全性と活性
	3.3 システムの記述
	3.4 主張に基づく理解
	3.5 アルゴリズムの導出
	3.6 仕様記述
4. 典型的な分散アルゴリズム
	4.1 共有変数アルゴリズム
	4.2 分散合意
	4.3 ネットワークアルゴリズム
	4.4 データベースにおける並行性制御


第19章  並行プロセスの操作的および代数的意味論
	R.Milner：稲垣　康善，結縁　祥治

1. 序論
2. 基本言語
	2.1 構文および記法
	2.2 操作的意味論
	2.3 導出木と遷移グラフ
	2.4 ソート
	2.5 フローグラフ
	2.6 拡張言語
	2.7 その他の動作式の構成
3. プロセスの強合同関係
	3.1 議論
	3.2 強双模倣関係
	3.3 等式による強合同関係の性質
	3.4 強合同関係における置換え可能性
	3.5 強等価関係上での不動点の唯一性
4. プロセスの観測合同関係
	4.1 観測等価性
	4.2 双模倣関係
	4.3 観測合同関係
	4.4 プロセス等価性上での不動点の唯一性
	4.5 等式規則の完全性
	4.6 プロセスの等価性に対するその他の概念
5. 双模倣等価関係の解析
	5.1 等価性の階層構造
	5.2 階層構造の論理的特性化
6. 合流性をもつプロセス
	6.1 決定性
	6.2 合流性
	6.3 合流性を保存する構成子
7. 関連する重要な文献