はてなキーワード: 意味論とは
うぜえ。
計算可能性の理論やラムダ計算がLispを産んだように、プログラム意味論や圏論はHaskellを産んだ。
プログラム意味論では変数の型が議論の最小単位で、関数やプログラムはある型の変数を別の型の変数へ変換する変換器として記述される。
だから本質的に、型が無いとプログラムという概念が存在できないことになる。
で、このアカデミックな議論が普段書くコードにどう影響を与えるかというと、実はほとんど影響がない。
もちろん知っていた方がよりエレガントなコードを書けるだろうが、必須ではない。
Twitter を見てると、太陽系の天体が螺旋運動するこのデマ動画が、いまだにRTされたりして拡散しているのでうんざりしてきた。
「太陽系 公転」「太陽系 運動」「太陽系 移動」「太陽系 回転」などで検索すると、この動画を真に受けて紹介しているブログなどが検索上位にヒットしてきて、さらに誤解を広める一因となっている。
あまつさえニコニコ動画にも転載され、字幕までつけられている。
結論から言うと、これはトンデモ信者が思い込みだけで作った信憑性ゼロの動画である。映像の出来だけはよいからか、昨年の3月頃からかなり広まっており、天文学者フィリップ・プレイト氏がブログでその間違いを指摘した記事を出している。プレイト氏は『イケナイ宇宙学 間違いだらけの天文常識』の著者で、世にはびこる間違った天文・宇宙ネタを斬って解説するブログ Bad Astronomy で知られている人。
この記事の和訳版が以下にあり、大変ありがたいのだが(動画が話題になってすぐのタイミングで和訳まで出たのは本当に感謝している)、残念なことに誤訳が目立つという指摘があり、いまもって修正されていない。
翻訳が不自然な箇所を以下にテキストで逐一指摘してくれている方がいたが、行きつ戻りつ確認しながら読むのが大変なので、勝手ながら指摘箇所を中心に翻訳を修正して以下にまとめ直した。いまだに信じて動画を広めてしまっている人に「それ間違いですよ」と指摘しようにも、記事の誤訳が多かったりするとちょっとなぁ、となるので。
なお、もし元の翻訳記事が適切に修正されれば本記事は消すつもりだが、和訳した方は当時Twitter で指摘されてこの校正テキストを読んだはずなのに、もう1年半ほど放置されているのであまり期待していない。
間違いを打ち消すために、まともな太陽系の公転運動を描いた動画があれば知りたいものである。
なめらかな動きでコンピューターアニメーションが太陽の周りを周る惑星の動きを、天の川銀河を周る太陽軌道のように解説する動画について、ツイートやメールがたくさん来ている。とてもきれいな動画に、説得力のある音楽、ていねいな作りの画像。
しかし、問題がひとつある。間違っているのだ。間違いは表面的なものではなく、間違った前提からきた根本的なものだ。中にはいくつかの有益な視覚情報があるが、私は(銀河サイズの)話題のタネだと思っておくよう警告する。
なぜか? 彼の主張の基礎は、「惑星は太陽中心の軌道を描いているのではなく、銀河の周りを渦巻き状に移動している」というものだ。
私は普段、こうした話題の間違いを暴くような面倒なことはしない。奇抜な主張はいつでもあるし、たいていは自滅していくからだ。しかし、この件についてはたくさんの人が私に知らせてきたし、明らかにかなり人気を博している――たぶん表面上は正しく見えるし、画像も大変きれいだからだろう。また、科学を知りつつもそこから離れて久しい人たちによって広まっているのではないかと見ている。このような話題を扱うときには、いつも少し深く掘り下げる手間がかかる。
そこで、シャベルを取り出してみよう。
動画の作者DJ Sadhuは明らかにコンピュータグラフィックスの才能がある。しかし科学は……まあ。私にはすぐさまこの動画が何を目指しているのかわかった。彼は率直に、太陽系の太陽中心モデルは間違っている、と述べている。しかしながら、この Sadhuの主張ははなはだしく間違っている。重力は存在しないと言っているようなものだ。
地動説とは、太陽が太陽系の中心にあるという考え方で、惑星はその周りを周っている(他にもいくつか大事なことがあり、たとえば惑星の軌道は楕円であるとか、軌道は同一平面上にあるのではなくて互いに傾いているとか)。この考え方は、地球が太陽系の中心だという古い天動説にとってかわった。天動説は、それをちゃんとした物理のモデルだと考えると、あらゆる種類の奇妙な仮定をしてやらないとちゃんと機能しない、とてつもなく複雑で考えすぎの物理モデルになってしまう(タイレノールなどの頭痛薬があるなら、epicyclesの項を見てみよう)。地動説はそれよりもずっと物理的に正しいし、ずっとうまく機能している。
私は、どちらのモデルにもそれぞれの使い道があると言いたいのだ。もし特定の惑星が天のどこにあるのか知りたいなら、天動説の座標を使うことになる。われわれは地球に住んでいて、地球は動かずに天の車輪が頭上を回転して動いているように見える、それは理にかなっている。しかし、もし惑星へ宇宙探査機を送りたいなら、太陽中心のシステムが必要なのだ。地球も惑星も両方とも動いていると考える方が、はるかに計算は簡単になる。
Sadhuは、地動説が間違っていて、実は惑星は渦を描きながら太陽を周る動きをしているのだと主張している。彼が実際に言わんとしているものは、渦ではなくらせんである。この2つは名前が違うだけでなく、物理的な動きもその特徴も全く異なる。らせん軌道を描く粒子は、太陽系のようにお互いには干渉していなくてもよいが、渦を描く粒子は抗力と摩擦を通じて互いに干渉している。
しかし、意味論的な論争はよそう。もう一度動画を見てみよう。Sadhuは太陽が惑星を先導しているかのように、太陽が惑星よりも前方に出て銀河を回っているかのように描いている(2番目のビデオだともっとそれは明白だ)。これは単に誤解を招くだけでなく、完全に間違っている。惑星は、われわれが銀河系の中を巡るとき、ときどき確かに太陽の前に出たり、ときどきその後ろをついてゆく(太陽を周回する軌道上のどこにいるかによる)。実際に夜空の惑星を見たことのある人にとっては明白な真実である。なぜなら夜空の一部は、地球や太陽が銀河系を周るときの進行方向にあたるわけだが、惑星はその部分にだって観測されるのだ。
ここでも、細かいことをあれこれ議論するのはやめよう。後述するように(「こうした考え方はどこからもたらされたのか?」の項)、惑星が銀河系内を動くときに太陽の後ろをついていくという考え方は、Sadhuがらせんについて述べるときの思考基盤となっている。しかしまずは、もうちょっと見てみよう。
太陽が銀河の中を移動していく様子を示している、彼が二番目に公表した動画では、もっとひどい状況だ。
公平のために言うと、今回彼は惑星の動きについて「らせん状」だと正しく記述している。しかし、まだ惑星が太陽の後ろをついていくように描いていて、これは間違っている。また特に動画の冒頭では、太陽中心モデルと、らせん運動についての彼の説明を具体的に比較しており、誤った「太陽主導」の考え方を補強している。
彼の動画における太陽中心モデルの動きを注意深く見てみよう。銀河を周る太陽が動く方向は、惑星の軌道平面と同じに描かれている。しかし、こうではないのだ。太陽系の平面は、車の前方への動きに対してフロントガラスが作る角度のように、銀河系に対して約60度で傾いている。
これは本当に重要な点だ。らせんモデルでは、銀河を周る太陽の動きにあわせて、太陽を垂直に周回するような惑星が描かれている。お好みなら「正面向き」といってもいい。これが間違っている。なぜなら、惑星の軌道は60度で傾いていて、90度ではない。惑星はときに太陽の前に、ときに後ろになる。これだけで、らせん描写が正しくないことがわかる。地動説という現実のモデルにおいても、順行-逆行運動というものは存在し、現実の空できちんと観測できる〔訳注:詳しくはこちら参照〕。
しかしそれだけではない。動画では、太陽が銀河を周ることを見せていて、らせんに沿って上昇、下降している。最初の動画のように、一部正しいところもあるが、大方は事実からかけ離れている。
われわれの銀河は、中心部が膨らんでいる平たい円盤で、端から端まで約10万光年の距離がある。この円盤は無数の星を内包し、その重力が合わさって、銀河中心を周る軌道に太陽を留めている。ちょうど、太陽の重力が惑星を軌道に留めているのと同じだ。
太陽が銀河系を一周する軌道の長さは、およそ2.4億光年ではない。銀河を周回するときには、だいたい動画にあるように、太陽は実際ぴょこぴょこアップダウンを繰り返している(とはいえ大体1周につき4回ぐらいなのに、Sadhuは動画内で数十回もアップダウンするように描いている)。〔訳注:太陽系が銀河系内を周回する軌道の図参照(垂直方向は強調されている)〕
このような運動が起きるのは、銀河円盤での重力の働き方のせいだ。ここが非常にクールなところだ。円盤よりほんのわずか上にあるものは、円盤に向かって全体的に下へと引っ張られる。円盤が巨大な物質の板であると想像してみて、太陽がその円盤よりも上にあるとする。円盤の重力は太陽を下へと引っ張る。星と星の間は遠く離れているので、太陽は円盤の間を通り抜けて下へ降りていく。そうすると今度は、下に来てしまった太陽を円盤がまた引っ張り上げる。このとき、太陽の動きはだんだん遅くなり、そして止まり、向きを逆にしてまた円盤へと急激に突入する。太陽は、銀河円盤の中心から上下にそれぞれ200光年ぐらいの浮き沈みをするが、円盤は1000光年の厚みをもっているので、結局私たちは銀河円盤の中にしっかり留まっている。しかしこうした摂動は永遠に続き、太陽は大海のコルクのように浮き沈みを続ける。
太陽は銀河を周回しているので、合わさった動きはすてきな波のパターンになり、浮きつ沈みつ回転木馬のようにまわり続ける。ゆえに、Sadhuはこの部分に関しては(多かれ少なかれ)正しい。
だいたいはね。しかしここに3つ目の要素が加えられている。ひねったらせんを描く太陽の道筋を、彼は歳差運動の性質だとしている。この部分は間違っている。非常に間違っている。
歳差運動は物体が回転するときにてっぺんをぐらぐらさせる動きで、回転の中心軸からずれた向きの力をてっぺんに加えたときに起きるものだ。コマのてっぺんを突くとぐらつく、それが歳差運動だ。地球自身も太陽と月の重力に引っ張られて歳差運動をしており、その軸の1回の揺れ周期は2万6000年だ。
明らかにSadhuは、動画の中でこれを表現している。しかし、ぐらつきは太陽にまったくなんの影響も与えていない。それはただ、地球が何かしているだけだ。しかし、Sadhuは銀河を周る太陽の動きに付け加えていて、それは意味をなさない。動画では銀河を周るコークスクリュー(コルク栓抜きのような螺旋運動)を描いているが、ときには銀河の中心に寄り、ときには遠くへ離れる動きを何度も何度も繰り返している。回転木馬のたとえでいえば、馬が真ん中で回って、上下に、また左右に動いているようなものだ。しかし、それは太陽の本当の動きではない。左右の運動なんてない(軌道ごと何度も銀河の中心に向かったり離れたりするなんて)。Sadhuの示すコークスクリューパターンは、間違っているのだ。
動画と解説文において、Sadhuはかなり頻繁に、座標系と力と運動を混乱させている。
彼はなぜこんな正しくない運動を描くのだろうか。それを掴むため、彼が元にした文献をあたってみた。
動画と彼のサイトによると、SadhuはPallathadka Keshava Bhatという人から学んだそうだ。Bhatによる「らせんの渦巻き:太陽系の動的プロセス」(“Helical Helix: Solar System a Dynamic Process”〔リンク切れのためこちら参照〕)と題された文章にこの考え方はすべて説明してあり、細かすぎる点は指摘しないが、ちんぷんかんぷんなものだった。まじめな話、どれもまったく意味をなさない。Bhatは地動説は間違っていると主張しているのだが、その主張を補強するために、虚偽のアイディアを次から次へと用いているのだ。彼の主張の間違いを暴くためにページを割くこともできるが、ここは短くまとめてみよう。
私はBhatの主張を何度も読んで、可能な限り好意的に考えようとした。私がかき集めたところでは、彼が言っているのは、太陽の動きによって、太陽を先頭にして惑星が後をついていくという形で、惑星は銀河系内でコルク栓抜き状のらせん運動をする、よって地動説は間違っているというものだ。Sadhuの動画の解説文によると、こうした動きをうまく描いているという。しかし、どれも完全に間違っている。もしそれが正しいのなら、外惑星(太陽から地球よりも遠くにある、火星や木星など)は太陽の反対側に遠く離れて見えないだろう。しかしいつだって、私たちには見えている。
それに、私たちは何度もほかの惑星へ宇宙探査機を送っていて、どれもいまだその軌道上にある。もしBhatがいうように地動説が間違っているのなら、探査機はいつになっても目的の惑星に到達できない。探査機を送るための軌道計算が間違っていることになるからだ。探査機の道筋を計算するときに銀河を周る太陽の動きを考慮する必要なんて全くないから、Bhat氏のいうことは正しくない。
太陽が太陽系の先頭で、惑星はその後ろをついていくという主張も、明らかに間違っている。太陽は、Bhatが主張し(Sadhuが動画で示して)いるように、銀河系を突き進む弾頭のように太陽系を主導したりしていない。惑星は太陽の周囲を周り、全体が一つのユニットとして銀河系を60度の傾きで移動している。これは、銀河の軌道に沿って惑星はときに太陽の前になり、ときに後ろに続くということだ。
これはそう、道を歩くあなたの頭の周りを、端にボールの付いた紐がぐるぐる周っているようなものだ(この円は60度傾いている)。ボールはときに頭の前になり、ときに後ろになる。道を歩くときには常にあなたと一緒だが、歩く速さには関係なく、相対的にはあなたと同じ速さでいつも移動している。あなたが自分の動きを線で表すとすると、ボールは傾いたらせんを描くだろう。これこそBhatとSadhuが説明しようとしたことなのだが、しかし間違った説明になってしまった。
Bhatは、その文章の中でいくつもの間違いと論理的誤ちを犯している。たとえば、Sadhuの地球歳差運動の誤用についてBhatが何と言っているか読み取ろうとした。しかし、とても不明瞭で(それに単純なミスもあり、彼は歳差運動の周期を22万5000年としているが、実際には2万6000年)ゴルディアスの結び目を解いているみたいだった。まだほかにも。彼は、もし地動説が正しいなら、日食は1カ月に1回起きなければならないと考えている(46ページと134ページを参照。ちなみに日蝕が一ヶ月に1回起きないのは、月の軌道が傾いているため)。また、彼は「太陽中心軌道は不可能であると意味しなければならない」と結論付けた部分で、地球が太陽の周りを周る回転について根本的な勘違いをしているようだ(文書の30ページを参照のこと)。実質、私が読んだ文章の1ページごとに基本的・根本的な間違いがあった。
そしてこれが、Sadhuの(間違っているにしてもステキな)動画が基礎としているものなのだ、いいかい? いっておくが、もしSadhuのサイトをのぞいてみたら、あらゆる種類の……んー、おかしな陰謀論……9.11陰謀説から、ケムトレイルから、デイヴィッド・アイク(本気で爬虫類型異星人がデンバー空港の地下に住んでいて世界を支配していると主張している)が怒り狂いそうなのから、名前しかない程度のものまで見つかるだろう。私は、彼のほかの考え方を念頭に置くことにした。
DJ Sadhuの動画は、とてもステキで、そのうちいくつかは真実を元にしたものだ。しかし、私の意見ではBhatのゆがんだ宇宙に対する見方のせいで、その核心が失われてしまっている。
彼の動画は正しいように見える。クールであるように見える。ものごとはこうでなくっちゃ、というセンスに訴えかけるものがある。しかし、物事がどうあるべきかと、実際にどうなのかということはいつも重なり合うわけではない。宇宙は本当にクールな場所で、とてもよく出来た一連の法則に基づいて動いている。私たちはこうした法則を「物理」と呼んでいて、それは数学で記述されている。そしてそういうこと全部を理解しようとする試みが、科学である。
クールなものがすべて科学ではない。しかし科学の全てはクールだ。これは普遍的な法則ではないかもしれない。けれども、私の見てきた限り、これは真実なのだ。
だいぶ違うよ。「差別主義者」はそもそも「差別」とはどういうものか理解していないから「差別」してしまうワケで、両者の知識にギャップがあるのが問題だという、意味論的な問題なんだよ。たとえば「暴力」という言葉を、言葉は知ってても定義を知らない人と、次のような会話をしている光景を想像してみればいい。
「大体なんで君は暴力を振るうんだ? やめなさいよ」
「痛たたたた…やめなさい。他人に迷惑だよ」
「(ボカッ)迷惑だ? オレに迷惑だって言う奴いねーぞ。お前がおかしいんじゃねーか」
「私が迷惑してるじゃないか。他人の言葉を暴力で封じているだけで、君が暴力を振るってるのは間違いないでしょう」
「そうやって無理矢理オレの行動を押さえつけようってゆーのが、もう暴力じゃん?(ボカッ)お前こそ暴力だな。暴力暴力ゥ♪私暴力振るわれてますゥ(ボカッ)暴力反対ィ(ボカッ)」
こんな感じ。
えーと。「オシャレ」にはだいたい2種類あって。
・コスプレ
ここ分けずに「オシャレ」言い出すから百家争鳴になる。
わかりやすいですね。なんかみんなが「CD」だの「コーデ」だの言ってるやつです。
2次絵で言えば「属性」の盛り方です。
パンクコスプレとか、イタリア色男コスプレとか、NYゲイコスプレとか、西海岸大学生コスプレとか。
雑誌のモデル<<メゾン(メーカー)のモデル<<実在の風俗(軍服とか作業服とか社交服とかクラブ服とか)
みたいな。
実在の風俗なりメゾンの文脈なり抑えてると上級者だけど、まぁそんなのはいいや。
「どこに属するか」を記号的に表す。
BDオックスフォードシャツは、UKオクスフォード大を起源とするホワイトの上流階級学生風コスで、ポロラルフローレンの主力で意味論的には普段着なんだけどフランクなビジネスにも許容されるようになった。みたいな。UKの不良(モッズ他)からウォール街までちょっと二次使用されすぎて意味がぼやけてるんだがその分使いまわしやすい。
こっちが「服装がダサい人の特徴と、唯一の改善策」http://anond.hatelabo.jp/20140413020052 でおもに言われてる要素。
生地とか縫製とか体型にあったシェイプとかを便宜的にこう呼ぶ。
2次絵で言えば塗りとデッサンみたいな。
こちらは「センス」とかあんまない。UNIQLO以降は特にどこも最適化しまくってるので。
材料費と人件費と歩留まりが全てなので、基本的にカネださないと良いもの買えない。
で、テクスチャの方って、どっちかってーと他人に見てもらってセンスを評価してもらう用というよりは、もっと内向きなものだと思うんだわ。
いい素材、かっちりした縫製、合ったシェイプのものを着ると断然にキモチイイ。
単純に、「真冬にゴアテックス素材の体型に合ったジャケット着てると全然暖かい」とかそういう話。
で、その喜びを知っている人間同士が「お。それキモチイイですよねー」と褒め合う、みたいな。本来は。
(あと絵の素人でも塗りの巧拙がある程度は雰囲気で評価できちゃう人がいるように、着たこと無い人でも無意識化であるていど「いい素材」を評価できる人もいる。というかそのような視覚的な快感ももたらすのが素材、縫製、シェイプが「価値のある=高いテクスチャ」だからね。)
で「唯一の改善策」の人は「ゴアジャケこんな快適なのに、なんでおまえそんなペラペラのビニールウィンドブレーカ着てるの? 寒くないの?」って言ってるようなもんで、言いたいことはわかるし、そういう言い方になっちゃうのもわかるけど、世の中には冬でもビニールのウィンドブレーカで乗りきれちゃう我慢強い人も多いし、そもそも寒くない地方の人かもしれない、という。
個人的にはペラペラのウィンドブレーカ2シーズン買うカネで、2倍の値段のジャケットを買って大事にして2シーズンもたせるほうが楽しいと思う派ですけどね。愛的な意味で。
あと他の人も指摘してるけど一般的な意味でいうふんわりした「オシャレ感」については髪とか顔周りの毛関係が果たす役割がすごいデカくて、こっちは服とかよりはるかに難しくて地理的な要因とかめぐり合わせとかあって制御も一般化も無理で厄介だと思う。
承前。
前編(http://anond.hatelabo.jp/20130825133734 )では三縞君に作品そのものについて総括をしてもらった。
彼女はあの通り真面目な人なので、旧約聖書やら仏教の経典やら沢山の資料を比較参照した跡が見える。まああとは文章の方にもう少し可愛げがあれば……なんてうっかり口にしたらまたもや新品の机を蹴られてしまった。情報庁の事務机と違って、アルコーン社のオフィスウェアは本物と見紛うばかりの高級情報材製なのだが、彼女は遠慮なくその黒いストッキングの美脚を持ち出してくる。せめて元上司を「鼻持ちならない」と無遠慮に評するところくらいは変わってほしいと思う。
で、ここからが僕の出番。
稀代の大作家・野崎まどが残した作品の中に埋め込まれた、人間の癖や偏りを利用した暗号。
といっても僕は特殊な暗号解読の専門家でも何でもないので、あのときのような成果を期待されても正直困ってしまう。
あれは先生と僕の間柄だったからこそできたことであって、大して知りもしない作家を相手に同じことができるなんて考える方が間違ってる。
けれど僕はこの仕事を受けた。
基礎コードの解析を終えた量子葉の研究はとっくに先生の意図を探ることからは離れていたし、こうして頭を使うのはとても心地良い。
だから、これはまあ、知ルが帰ってくるまでのお遊びみたいなものだ。
一般発売前の自社製ワークターミナルは唸り声ひとつ挙げずに目を覚まし、僕の電子葉とダンスを始める。啓示視界に多重展開された書字情報マトリクスが視線の導きで然るべき場所に配置され、僕はその本を〈知る〉。
ウィンドウをもう一つ開く。首振りで先のレポートを取り出して、目の前の本を固有値解析にかけた。多次元スライスされた書字情報はいくつものキューブに分裂し、吸い込まれるように消えてゆくと、瞬く間に啓示視界がウォッシュアウトされて、周囲の情報圧が低下してゆくのがわかる。
三縞君は常識人だ。凡人と取り違えてはいけない。常識人というのは世の中の人が当たり前のように知っているとされることを本当に当たり前のように知っている、得難い優秀さに与えられるべきタグだ。才媛三縞君が組み上げた意味論フィルタは時にピーラのごとく表面を撫で下ろし、時にスライサのごとく作品を賽の目に刻んでは雑味を取り除いていった。後に残るのは〝野崎まど〟という名の個性の結晶だ。
想像が始まる。僕は右脳と左脳を車の両輪のように回して脳内に〝野崎まど〟を仮定すると、感じるままにコードに潜む違和感をすくい上げていった。
少し難しい……ノイズが多い感じだ。ライトノベルをフィールドとする氏の世界描写は童話的で、本筋に関わらない部分は余計な注意を惹かないよう可能な限りオミットするのがスタンダードだ。とはいえ今回の版元は早川書房、百戦錬磨のうるさ型SF読みが相手だ。手加減はないと思っていいだろう。
思いつくまま挙げてみる。
序章。情報格差を乱用して女遊びをした僕は翌朝当然のようにバスでオフィスに出勤する。さらに車内には大声でおしゃべりに興じる女子たち——思念通話はとっくに実現されている時代だが、僕は咎めることも聴覚を遮断することもなくそれを聞いている。
やれやれ、と僕は首を振った。僕の仕事の大半は場所を問わない。だいたい情報化が極限まで進んだ社会で肉体の移動を要する業務分野といえば食事・医療・性風俗くらいのものだ。その意味での役得といえば唯一、三縞君と交わす、互いに性的関心を潜めたコミュニケーションだけだろう。この危うさだけは何事にも代えがたい。
〝先生〟について語る以前に、僕がわずかにでも興味を向けた人物がみな女性であったことに気づいただろうか。正確に言えば老婆を迎えにきた男性についてたった一行触れただけだ。京都の町は不朽を表す国家的なシンボルだ。だから、この一連のシーンで描かれているのは、僕ら男が背負うべき、いつの世も変わらぬ女性への関心に他ならない。
ジェンダー的な視点で見出すと、他にも気になる点が出てくる。京都大学の構内で赤ん坊を連れていた学生は性別不明だが、どうあれ血のつながりはないだろう。養護施設の保育士は男性だった。けれどエピローグで死に瀕した子どもに付き添っているのはなぜか母親ひとりで、これは明らかな偏りだ。「女性にお茶汲みを頼むのは性差別」という認識は根付いていても、我が子に対する愛情など僕らの世代の男性は持ち合わせていないのだ。
と、ここまで書いていたら三縞君から「あなたのろくでなしな価値観を世の男性にまで一般化しないでください」と書かれたメールが飛んできた。
退庁後の僕のクラスは、彼女は同格の4まで下がってしまっている。おかげでプライベートレイヤがだだ漏れだ。もう迂闊な発言はできない。
僕はおとなしく仕事に戻ることにした。
該当箇所をズームする。それは〝集落〟の場面。クラス0の女子中学生に対するのぞき行為が行われ、社会がそれを容認していると語られる箇所だった。
馬鹿なことを。
当たり前だが個人情報保護と児童保護はまったく別の問題だ。しかも情報格差は技術的限界によるものとされている。少なくとも一般的な認識としてはそうだ。だったら法が容易くその現状を追認することなどあるはずがない。
ここだ。ここにヒントがある。僕はそう直観した。
思考が活性化し、電子葉によって自動収集された関連情報が僕の啓示視界を埋め尽くす。
ソフトSF——純粋に人文科学に基づくSF。とりわけフェミニストSF。女性作家の隆盛。メアリー・シェリー。ベネット。ル=グウィン——違う。こっちじゃない。右脳が理屈を飛び越えて判断を下し、一足飛びにその本質をたぐり寄せる。ヒントはこれだ。
社会描写の神髄は、弱者をどう描くかに現れる
即座に理由を問う。
社会の歪みを体現する存在は常に女・子どもといった弱者であるからだ
方向付けされた認識が参考作品を引き寄せる。
過去の日本SF大賞受賞作。『マルドゥック・スクランブル』。この作品では〝戦う女の子〟を地に足がついたものとして描くために、少女娼婦の身分、戦争由来の過激な技術、ならびに犯罪的な出来事に即応するための法体制を用意した。出来上がった少女は社会的に見れば化け物でしかないというのに。
僕はようやく理解した。
それが指す存在を、僕はすでに知っていた。
誰より保護されるべき存在でありながら、誰よりも自分の身を守ることに長けた少女。量子葉とともに生体脳を育て上げた、人類初のクラス9。進化の特異点。
道終・知ルその人。
ようやくあの男について語る時が来た。
クラス*(アスタリスク)。素月・切ル機密官。主人公(僕だ)の心の闇を凝縮したような人物。
結果から言えば彼はかませ犬以外の何者でもなかった。彼の行動は無意味で無価値で、そして無残なものだった。けれどその劣悪な人間性については触れておかないといけない。
裏仕事を専門とし、存在自体が機密とされる、規格外のクラスホルダー。そうした役職に求められる一番の資質は、規律、そして良識だ。ところが素月はその逆をいった。
自らが果たすべき任務を忘れ。
14ページに渡って狂ったように女子中学生の裸を狙い続けるその様は。
ただの変態だった。
それから僕はことあるごとに知ルに対して欲情するようになった。
可憐な容姿。挑発的な言葉。妖艶ささえ感じる所作。それと同居する少女の無垢さ。知らぬ間に僕は虜にされていた。
それでもあの男、アルコーン社CEO、有主照・問ウさえいなければ、僕が女子中学生を相手に一線を踏み越えることはなかったんじゃないかと思う。
そのことを知って咎めるどころか喜んだミアもちょっとどうかと思う。
いや。
なぜそう設定したのか。
答えは簡単。知ルが初潮を迎えるその日をただ待っていたのだ。現代人としてはずいぶんと遅いように思えるが、そこは孤児で栄養状態が悪いことと対象となる異性がいないことを考慮すれば説明がつく。
本番を迎えた知ルの口から「私、セックスって初めてです」と言わせなかったことは氏の最後の良心だろう。そう信じたかった。
すっかり忘れていたが作中の三縞君の扱いはこの作者にして徹頭徹尾まるで違和感のないものだった。
長く辛い旅路だった。
結局、作者の真意は何だったのか。
僕には朧気ながらその姿が見えていた。
そう。氏は切望していた。
情報の秘匿も。
時代の空気も。
何もかもが存在しない、本物のオープンソースの世界というものを。
最後に。
解読の結果、僕がすくい上げた言葉を君たちの啓示視界に残してこの稿を結ぼう。
うわぁい、子どもの保護なんて全然乗り気じゃなかったけど、こんだけいけてるなら俺もロリコンでいいやあ!
(続かない)
さらに言えば
if( ptr != NULL ) は 本来 cmp eax,0に展開されるべきだが(最適化を無視すれば)
if( ptr ) は 正しく test eax,eax を意味している。
つまり、 意味論的には、 if( ptr != NULL ) と if( ptr ) は別物で アセンブラ的には if( ptr ) って書けよと。
もっと言えば、直近でptrを演算していれば 最良の最適化ではtestすら抜けるかもしれない。
というのが本来 アセンブラをより簡易に書くC言語系列の宿命のはずなんだが、なんか、アセンブラを無視してC++言語が改造されていくなぁと
ちょっと思った。
切込さんと水野ひばりさんのツイッター上のやりとりをみて、大昔の「意味論」の教科書に載ってたこんな逸話を思いだした。
昔、アメリカの南部を旅していた黒人の若者が、旅の途中、とある白人の家でとても親切にしてもらった。若者はすごく感謝したが、ただ一つ問題があった。
その白人の家の主人が、若者のことをしきりにNiggerと呼ぶのだ。仕方なく若者は言った。
若「すみませんが、私をNiggerと呼ぶのはやめて貰えませんか?」
主人は驚いた顔で若者に答えた。
主「なぜ?だってきみはNiggerだろう?」
のちに若者は語った。
若「そう言われて、私は何も言えませんでした。私はなんと答えればよかったのでしょう?」
(出典は確かS.I.ハヤカワ「思考と行動における言語」)
切込さんは、経済問題とかにはずいぶん鋭いのかもしれないが、人権問題には全く知識がないようなので、水野さんと全く話がかみあってない。上の話の白人の主人状態。水野さんもひどい消耗戦を強いられていて気の毒である。
1 ツィッターで議論は不可能。特に双方の前提が一致しておらず、そのすりあわせから入る必要があるような場合においては、すれ違いしか生まず、最終的にはどちらかが相手の言葉を侮辱と捉える結果になり、最終的に罵倒ツールと化す。結局、ツィッターで「交流」できるのは、「同質」の人同士に限られるということ。
2 人権問題には「頭の良さ」や現在における「常識」等では切り込めない部分があり、やはり豊かな人権感覚をもつには「学習」が必要であるということ。ただ、現行の人権学習プログラムは、その責をほとんど果たせていないと思う。
3 この問題に限らず、自分が「多数者」の側にいるという認識のある人間は、「少数者」が口を開いたとき、そこには少数『でありながらあえて』口を開いた、という前提があることを忘れるべきではないこと。「多数者」同士で安易に言われる「考えすぎじゃねーの」とか「被害妄想乙」とかいった批評は、想像以上に失礼であり、二重三重に相手を傷つける可能性があることを自覚しておくべきこと。
リマインドしようにも、これを書いた人(=自分)の学力だと読めない本だったから無理。無理ゲーだった。
第一章
1
意味論的に透明なシステムと結びついた心の概念および計算機モデルを意味する。
この主義の限界を
2
チューリングの形式化が持っている特徴
(1)物理的組織によってではなく、記号操作の形式的特性によるメカニズムの集合全体を包括
(2)そのメカニズムがいかにすれば十分に明確化された問題すべてに取り組むことができるか示している
(3)万能チューリングマシンを定義する方法を示している
⇒ 素材は重要ではなく、形式的特性が能力を原理的に保証している
フォン・ノイマンがコンピュータを設計し、1960s、ジョン・マッカーシーがLISP(プログラム言語)を開発。
⇒ 研究開発が可能に
A・ニューウェルとH・サイモンが物理記号システムという概念を提出
⇒理論的に自覚化・明確化される
3
・物理記号システム
①適切に操作可能なトークンに対して任意に意味を割り当てることができるシステムであり、
②正確にプログラミングすればこの割り当てられた意味論的内容と細かい点においても一致した仕方で行動すると信じられるようなシステム
by 1976 ニューウェル & サイモン
・強い物理記号システムの仮説
SPSS strong-physical-symbol-system
「標準的な記号アトムのフォン・ノイマン型の操作を行っている仮想機械は、一般的な知的行為を実現するための直接的かつ十分な手段を持っている」
①仮想機械
そのプログラムに我々が命令を与える機械を模倣させるような「機械」
・記号を割り当てる
・変数を束縛する
・記号列の複写、読みとり、修正
等々
③標準的な記号アトム
④一般的な知的行為を実現するための直接的で必要かつ十分な手段
そうした機械は、それを支えている特定のアーキテクチュア(その基盤になっている他の現実的もしくは仮想的機械から)まったく独立に真に知的でありうるのであり、逆に言えば他のアーキテクチュアや機械をシュミレートすることなく真に知的でありうる
4
このような主張(標準的なLISPのアトムのごちゃごちゃした操作が、知能や思考の本質を構成しうるという見解)が、ニューウェルとサイモンのものだとできる動かぬ証拠は、彼ら自身の実践。
彼らの仕事の特徴(例:BACON)
・規則あるいはヒューリスティックス(発見的手法)の直列的(経験則を用いたも多少は運が左右する⇔体系的)適用に依存している
・そうしたヒューリステイックスの大部分が、かなり高いレベルで意識的に内省可能
・選ばれた課題領域を扱う
BACON:一連のデータから科学的法則を帰納する(ケプラーの第三法則、オームの法則)
・BACONが取り組んだデータをフォーマット化下のは、人間の労苦
・BACONは十分に構造化された課題にしか取り組めない。
ケプラーの第三法則は見つけられても、ペトリシャーレのカビとバクテリアの関係からペニシリンを発見する事はできない
・BACONが展開する知識とヒューリスティックスは、人間のプロトコルや実験記録に大いに頼り、われわれが自分自身の思考について内省する思考のレベルからかなり直接的にコード化されたもの
⇒この種の思考は原初的で瞬間的なプロセスの上に後から被せられたもの。理解するということを具体的な例で説明する事には役に立たないであろう
サイモン等は、人間の思考のすべてがただ一つの種類の計算アーキテクチュアに依存すると信じている。
しかし、筆者は違う考えを持つ。サイモンとラングレイの仕事では、洞察のひらめきといったタイプの認識を表現できない。
心は、多くの仮想的アーキテクチュアからなる複雑なシステムであると考える
知的課題や、感覚運動的な課題のような、なめらかに無意識的に行われるものは無視されている
5
古典的システムは記号アトムの使用に頼り、コネクショニズムはこれを避ける。
古典主義者:意味論的に透明なシステムの構築に対して、方法論的にコミットしている人々
STS semanttically transparent system
「システムの振る舞いについての記号的な(概念レベルでの)意味論的記述と、システムの形式的な計算活動の内的に表現された対象についての投影可能な意味論的解釈との間にきちんとした写像関係の記述が可能な場合にのみ、そのシステムは意味論的に透明であるといえる」
きわめて大ざっぱにいえば、あるシステムかSTSと見なされるのは、そのアルゴリズムの記述(レベル2)における計算の対象が、概念的レベルの用語で表現されたその課題の分析の記述(レベル1)と同型である場合である。
(レベル1:計算理論:(高い抽象レベルにおいて)どのような関数が計算されるかについての考え
レベル2:表現とアルゴリズム:それを計算する(具体的な)方法
レベル3:インプリメンテーション:現実の機械において計算がいかにして肉体あるいはシリコンなどで実現されるか)
(1)古典的理論は――コネクショニズムはそうではないが――統語論と意味論を組み合わせた記号システムを仮定している
(2)もし何らかの種類の構造化された表現が利用可能であれば、それらの表現についての計算操作を、その構造に鋭敏に反応するかのような形で規定できる。
もしそのような構造が存在していなければ、(すなわち、どんな記号表現も存在していなければ、)計算操作を規定することはできない
◎要するに、古典的システムは、統語論的に構造化された記号的表現を仮定し、そうした表現の構造によって、それに適用される計算操作を規定するものである
第二章
1
ドレイファス:古典的認知主義の問題は、人間の常識的な知識を表象として再現し表現しようとする形式主義の妥当性
サール:形式的なものと志向的なものとの間に、あるいは統語論と意味論との間にギャップが認められる
この二つの種類の懸念について検討する。
2
「あなたの持っているのはそんなにいいボールじゃないわ。それを私にちょうだい。そしたら私、このキャンディーをあなたにあげるわ」
この言葉を理解するために、ミンスキーちとパペートは膨大な概念のリストをあげる。
ウィノブラードのSHRDLUでは不十分。
・フレームは、常識がうまく対処している偶発的出来事のすべてをカバーしているとは思えない(バースデーケーキに立つ黒いローソクに、フレームは対処できるか?)
・フレームからフレームへの移行を促す規則(メタフレーム?)をいつ適用すべきか、システムはどうやって知るのだろう?
ドレイファス:互いに関連しあった特徴や可能性のすべてを、文脈に依存しない事実や規則によって形式的に把握するという課題には際限がないのではないか
3
・ドレイファスの二つの主張
(1)身体問題
「このシャンプーが目に入らないようにご注意ください。もし入った場合は、ぬるま湯でよく洗ってください」
コンピュータは、身体、欲求、感情、共通言語や社会習慣も持たない。だからコンピュータは、この文章が何を洗うように言っているのか理解できない
(2)コード化
人間は自分たちを取り巻く状況がどんなものかを絶えず感じ取ることができる。
このノウハウは、何らかの知識表現言語によって、一種の知識として表現できるものなのだろうか?
AIプログラム(=言語)が知識を表現する仕方が、現実の課題に対して根本的に不適合だと懸念する。
4
「強いAI仮説」を、サールは批判する
強いAI仮説:適切にプログラムされたコンピュータは、文字通り認知的な状態をとり、その際プログラムは人間の認知を説明するものとなる
Schank and Abelson 1977の、「ストーリーを理解するという志向的活動をシミュレートしているかに見える特別なプログラム」に対して、「中国語の部屋」を使うことで批判する。
サール:形式的に区別される要素に対する計算操作を行っているだけでは、どんなコンピュータも〈理解する〉ことはできない。したがって、そのような計算操作を規定するプログラムが、心の固有の性質について何かを示すこともあり得ない。
具体例:英語話者が英語を理解することと、中国語の部屋の操作者が中国語を「理解すること」の比較
「人間は何も理解していなくても形式的な原理に従うことができる」
以下、サールの誤りについて論じる
5
サールに対する仮想反論「脳シュミレーター説」
脳シュミレータ説:あるりプログラムが中国語を理解する実際の中国人の形式的な構造をモデル化したと仮定すると、そのときそのプログラムは間違いなく真の中国語の理解を構成したことになる
↑(サールの再反論)
(1)脳の形式的な性質は志向性を構成しない(三章にて説明)
(2)脳の形式的な性質が志向性を構成しないのは、ある種の素材だけが思考を支えることができるからである
↑(アナロジー)
光合成:光合成の形式的な記述を手に入れても、素材が違えば光合成は再現できない
では、思考をもたらすような脳の物理的性質とは?
:外因的および内因的な刺戟に対して脳に大規模な変動が引き起こされること
↑(コメント)
『中国語の部屋』が大規模な構造的変動を必要としないシステムなら、中国語の部屋による反論は無効
6
微視的機能主義
機能主義は、心的状態の本質を、
入力、内的状態の変換、出力からなるプロフィールと同一視した。
(適切なプロフィールを持つシステムはどんなものであれ、その規模や性質や構成要素にかかわれなく、当の心的状態を実現するであろう)
↑(批判)
(中国国家脳のような)心的状態を実現する見込みがないようなシステムも、「入力、内的状態の変換、出力」のプロフィールを持つシステムへと組織することは可能であるよように思われる。
こうした極端な寛大さは、機能主義の立場を掘り崩してしまいそう
・問題は、「入力、内的状態の変換、出力」の系列をどこに位置づけるか
×大まかなレベルに位置づけ
⇒感覚質の欠如、極端な寛大さ
△ライカンの「小人機能主義」
○微視的機能主義
・機能主義の批判はゲシュタルト盲に陥っているのでは Lycan 1981
:機能的な構成要素があまりにも大きい、極度に小さい、それらしくない等であるために、そうしたものからなるシステムに志向性を帰属させるという考えに抵抗するということ
(ライカン「小人機能主義」
:機能的な下位システムは、それがエージェントのために何をしているかということによって同定される)
微視的機能主義
内容や目的に関連づけからはかけ離れた用語で
記述しようとするもの
・諸関係が得られたとき、システムには大規模で柔軟な構造的変動が引き起こされ、またそれによってさまざまな創発敵的性質が得られるようになる
第三章
1
2
「民間心理学」
:自分や他人が、信じたり、希望したり、恐れたり、欲求したりしているということについての日常の理解
民間心理学は、行為・運動を説明するときに、信念や欲求という表現を用いる
「民間心理学は、人間の行動に先立つ内的原因についての素朴で原初的な科学」
3
(1)民間心理学は、偏狭な、特定の人々に限定されたような理解しか与えない。
民間心理学は、子供や狂人や外国人を前にすると、まごついてしまう
(2)民間心理学は停滞したまま、なにも生み出さず、長い間ほとんど変化も進化も発展もしていないところが他の諸科学と異なる
(3)民間心理学は、これまでのところ科学の主要部分にうまく統合されていくような徴候をまったく示していない。残念なことに民間心理学は自然を神経生理学的ないみで妥当な要素にまで分割することには関心がないようである
最近の分析哲学
:頭の状態に関する科学理論というゲームと、民間心理学というゲームを比較することが、そもそも不適当なのではないか
4
Daredevil believes that Electra is dead.
Mary hopes that Fermat's last theorem is true.
のthat以下を、心的状態の内容と言う。
心的状態が考えられる傾向
:われわれの心理学的状態が、本質的に、周囲の世界がどのような状態にあるのかということによって決まるのではなく、
われわれにとってどのように見えているかによって決まる
↓(言い換え)
我々の意識や無意識に何らかの形で影響を与えられないものはどんなものであれ、
本質的に我々の心的状態の正確な限定に関わることはあり得ない
⇒我々の心的状態が現に持っているような内容を持つものは、われわれ自身のあり方ゆえであって、
知られていないかもしれないような周囲世界の事実とは関わりがない……☆
・双生地球……☆に対して疑いを投げかける
双生地球で、「海に水がある」と発話される。
地球A:海にH2Oがある
地球B:海にXYZがある
この違い以外は同質だとする。
すると、
地球上の発話と双生地球の発話は、それぞれH2OがあるかXYZがあるかによってその真偽が決まる
(たとえば、地球Aの海にH2Oがなくて代わりにXYZがあるとしたら、地球Aでの発話は偽になる)
⇒
もし意味が真理条件を確定するのだとすれば、
自然種に関する表現(水、金、空気など)を含む陳述の意味は、
単に主体の限定的に規定可能な状態に言及するだけでは十分に説明できない……☆に反して
二つの選択肢
(1)心理学的な内的要素(地球の話し手と双生地球の話し手に共通)と、
世界関与的な外的要因(仮定上、二つの地球を越えて不変ではない(H2OとXYZ))の両方によって内容が決まるとする、意味と信念に関する合成説
(2)そういったケース(地球と双生地球のケース)は
〈心的状態の純粋に内的でまったく心理学的な要素(☆のこと)〉という観念にさえも疑いを抱かせるものであると考えることもできるだろう
プティ と マクダウェル
「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない。
しかし、
〈頭の中〉にあるものが心の状態に対して構成的関係にあると考え必要があるのだろうか?」
筆者
:あらゆる内容が根本的に世界に関与している(選択肢(2))ということが判明したとしても、
そのこと自体は必ずしも〈認知科学は心の理解に深く(ことによると構成的にではないかもしれないが)関わる研究である〉という主張を覆すものではない
その主張に対する仮想反論と、それに対する再反論をHornsbyは行った。
仮想反論
:「「行動傾向(心性はこれに随伴して生じるとされる)が二者の間で異なるためには、
内的構成に違いがなければならない。」
という考えを保持すべきである」とするならば、
心的内容は限定的に規定されねばならない(自然種を指示しない)
(「「行動傾向(心性はこれに随伴して生じるとされる)が二者の間で異なるためには、
内的構成に違いがなければならない。」
という考えを保持すべきである」までが、プティとマグダウェルの、「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない」に対応する。)
仮想反論の詳細
:仮定①:
二人の動作主の心的状態は、彼らの行動傾向に何らかの違いがある場合にのみ異なる
(そこに赤いボールがある、と信じなければ、ボールを投げようとは思わない)
仮定②:
行動が異なる(すなわち、行動が異なる)ためには、内的な物理的状態に何らかの違いかなければならない
結論:それゆえ、心的状態に対応する内的な物理的状態に何らかの違いがなければ、心的状態が異なるということはありえない
「(民間心理学的な心的状態を帰属させることは、限定的内容のみに関わることであるという)結論は、深刻な疑義にさらされることになる。
限定的内容といっても、それを妥当な概念として了解できるかは明らかではない」
なぜなら、
「民間心理学的な内容を(物理的状態に?)帰属させることは、身体的な動きを規定するような頭の状態についての独我論的な研究から引き出すことができるような切り口とは
まったく違った切り口で現実を切り取ることであるように思われる。
その具体的理由として、
ボールをひろうことは、「そこにボールがあると私は知っている」という心的状態と関連するが、そのときの細かな指の動きはそのような心的状態と関連するものではない。
5
筆者
:広域的内容を伴うによ伴わないにせよ、
頭の中で起こっていることに関することに関する科学的カテゴリーや分類に
きちんと還元されるなどということは
とてもあり得ないように思われる。
・民間心理学は、科学的心理学と同じゲームを行ってはいないかもしれない
→
世界を記述しない信念であり、なおかつ
ある人が同じ考えを抱いているといえるような別のケースに投影可能な述語が(科学的記述の上には)存在しないことも可能
6
民間心理学の道具立て(信念と欲求という概念によって、命題的態度を帰属せさるという道具立て)を用いて、心的状態を二者が互いに帰属させあうという日常の慣習(傍点)の目的は?
:
他人の頭の内的状態を追跡しようと試みることによって、
その人の身体の動きを予測し説明するための手段
民間心理学の主要な目的
:
世界の中で活動している仲間たちの行動を、(傍点開始)我々が(傍点終わり)理解できるようにすること
(予測したい対象であり主体である)われわれの仲間たちの四つの特徴
①世界に対する感受性、すなわち感覚や生得的な原書的概念の道具立てをわれわれと共有している
②世界をわれわれと共有している
③彼らは我々自身のもっとも根本的な関心と必要の大部分を共有している
④彼らの思考の有用性は、
(我々自身の思考と同様に、)
彼らが世界の実際の有様をたどっていることと関わっており、
彼らの思考作用が、世界の実際の有様に十分適応していると我々が(進化論的な理由から)考えるような目的と関わっている
この特徴があるので、
「~したい」という欲求さえ同じであれば、
・民間心理学は、脳の状態の違い(that かなり目の粗い、行動上の違いとしては現れてこないような)に対しては、敏感に対応しないように設計されている
・民間心理学は、個人の間の差異を覆い隠し、
さらには種の間の差異さえも覆い隠してしまう(長所であっても短所ではない)
7
筆者の見解
:私の見解では、われわれが信念を帰属させるのは、
行動の全体に一種の解釈の網をかぶせることによってである。
……関連する行動を可能にするものとしての、
根底にある物理的あるいは計算論的な構造がどのようなものであれ、
そうした構造における自然な区分に、網の結び目(すなわち信念と、欲求の特定の帰属)が
対応している必要はない。
――
ということは、Davidson(全体論者)に対するFordorの批判は、筆者の意見にも当てはまるのではないか?
<Fordor>
意識の全体論というのは、
「命題的態度の同一性――特に志向的内容――が、その認知的連関の全体によって決定される」
という考え方。
これに、Fordorは懐疑的。
(命題pの認知的連関というのは、主体がpの意味論的評価、すなわちその真偽の決定に関係するすべての命題のこと)
われわれは、信念や志向的状態を共有している。が、そのとき、すべての命題(認知的連関)を共有しているとは思えない。
信念は、その内容をそれぞれ別に持つ。
:信念がその状態を獲得するのは、脳の状態が逐一、世界と因果関係を結ぶことによってである。
「ある生物が『牛』という概念を持とうと持つまいと、その生物は『馬』という概念を持ちうる」
</Fordor>
筆者
:Fordorの間違い
全体論は、もしそうであれば、人間の心の理解が芋蔓式に進んでくれるのにという、いわば願望。
Fordorが軽蔑したものの通りに進んでくれるかは別問題。
Fordor:バラバラになったブロックを一つの全体に組み合わせるやり方が、全員同じになるはずがない。
筆者:一つのブロックの組み合わせ全体を理解するために、各人が別々のやり方でバラバラにしている
全体論という言葉の使い方が違うから、Fordorの批判は筆者には当てはまらない(という、批判をかわすための節)
7
一章3節での、チャーチランドによる民間心理学批判に、今では応答できる。
(3)に対して、
民間心理学の関心事は、他の主体の顕著の行動パターンだけを可能な限り効率的に分離することである。神経科学とつながることを目的とはしていない
(1)に対して、
民間心理学の道具としての適用範囲は、仲間。狂人の理解は、そもそも目標としていない
(2)に対して、
なので、その中核部分が時間的および地理的な次元を越えて相対的に恒常的であり続けてきたことは驚くべきことではない。
整理。
民間心理学には、きちんとした定義がある。
これまで「民間心理学」として使われてきた言葉の、新たな用語法:「素朴心理学」、「メンタリズム的な理解」
8
因果関係と、構成的関係の区別
構成的関係
:
研究の主題と何らかの形で密接に結びついているということ
因果的に関係
:
因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、
それらの要素を差し引いてもそれによって思考という観念そのものが存続しえなくなる
ということはない。
(チェス盤がなくなっても、チェスの続きは打てる。石を駒に見立てたり、口頭で)
9
・消去主義的唯物論:民間心理学が、心に関する科学に対して歪んだ影響を及ぼすのではないか。民間人は自分自身の心を知らないと、消去主義的唯物論は思っている
↑
(構成的関係)
↓
心
科学と心とを結びつける構成的関係。その得難さが二つのスタンスの対立を生んでいる。が、どちらの立場も同じく、認知という地形に同じ隆起とくぼみを見ている。
では、構成的関係とは何か。
構成的関係←→因果関係
構成的関係:研究の主題(この場合は心)と、何らかの形で概念上密接に結びついていること
因果的関係:因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、それらの要素を差し引いても、それによって思考という観念そのものが存続しえなくなるというひとはない
(駒はなくてもチェスは打てる)
第1章 プログラム変換入門 佐藤泰介 1.1 今なぜプログラム変換か? 1.2 変換あれこれ 1.3 システム化について 第2章 等式プログラムの等価変換 二木厚吉 2.1 等価変換例 2.2 等価性 2.3 等価変換法 2.4 おわりに 第3章 論理型言語におけるプログラム変換 玉木久夫 3.1 はじめに 3.2 論理プログラムとその意味論 3.3 展開/たたみ込み変換:例題 3.4 展開/たたみ込み変換の正当性 3.5 他の変換との両立性 3.6 おわりに 第4章 部分計算 二村良彦 4.1 はじめに 4.2 部分計算の概要 4.3 部分計算の応用例 4.4 部分計算の理論 4.5 実用化のための課題 第5章 メタ・プログラミングと部分計算 竹内彰一 5.1 はじめに 5.2 Prologプログラムの部分計算 5.3 メタ・プログラミングへの応用 5.4 メタ・インタプリタの段階的特殊化 5.5 おわりに 第6章 合成問題への新しいアプローチ 佐藤泰介 6.1 否定技法 6.2 二重否定技法 6.3 論理プログラムの合成 第7章 ベクトル化とプログラム変換 安村通晃 7.1 はじめに 7.2 プログラム変換 7.3 ベクトル化 7.4 主要変換 7.5 基軸変換 7.6 その他の変換 7.7 ベクトル化におけるプログラム変換の特徴 7.8 おわりに 第8章 GHCでのプログラム変換 吉川康一 8.1 はじめに 8.2 簡単な問題 8.3 フィルタ・プロセスの融合 8.4 プログラム変換の手順 8.5 電子回路シミュレータへの応用 8.6 おわりに 第9章 実用規模プログラムの変換試行事例 吉田紀彦 9.1 はじめに 9.2 コンパイラの変換 9.3 プログラム変換の実用可能性 9.4 おわりに
第1章 並行プログラミングとGHC (上田和紀) 1.1 はじめに 1.2 ターゲットを明確にしよう 1.3 はじめが大切 1.4 GHCが与える並行計算の枠組み 1.4.1 GHCにおける計算とは,外界との情報のやりとり(通信)である 1.4.2 計算を行う主体は,互いに,および外界と通信し合うプロセスの集まりである 1.4.3 プロセスは,停止するとは限らない 1.4.4 プロセスは,開いた系(open system)をモデル化する 1.4.5 情報とは変数と値との結付き(結合)のことである 1.4.6 プロセスは,結合の観測と生成を行う 1.4.7 プロセスは,書換え規則を用いて定義する 1.4.8 通信は,プロセス間の共有変数を用いて行う 1.4.9 外貨も,プロセスとしてモデル化される 1.4.10 通信は,非同期的である 1.4.11 プロセスのふるまいは,非決定的でありうる 1.5 もう少し具体的なパラダイム 1.5.1 ストリームと双方向通信 1.5.2 履歴のあるオブジェクトの表現 1.5.3 データ駆動計算と要求駆動計算 1.5.4 モジュラリティと差分プログラミング 1.5.5 プロセスによるデータ表現 1.6 歴史的背景と文献案内 1.7 並行プログラミングと効率 1.8 まとめ 第2章 様相論理とテンポラル・プログラミング (桜川貴司) 2.1 はじめに 2.2 様相論理 2.3 時制論理 2.4 多世界モデル 2.5 到達可能性と局所性 2.6 純論理プログラミングへ向けて 2.7 Temporal Prolog 2.8 RACCO 2.9 実現 2.10 まとめと参考文献案内 第3章 レコード・プログラミング (横田一正) 3.1 はじめに 3.2 レコードと述語の表現 3.3 レコード構造とφ-項 3.3.1 φ-項の定義 3.3.2 型の半順序と束 3.3.3 KBLとLOGIN 3.4 応用――データベースの視点から 3.4.1 演繹データベース 3.4.2 レコード・プログラミングとデータベース 3.4.3 いくつかの例 3.5 まとめ 3.6 文献案内 第4章 抽象データ型とOBJ2 (二木厚吉・中川 中) 4.1 はじめに 4.2 抽象データ型と代数型言語 4.2.1 抽象データ型 4.2.2 代数型言語 4.2.3 始代数 4.2.4 項代数 4.2.5 項書換えシステム 4.3 OBJ2 4.3.1 OBJ2の基本構造 4.3.2 モジュールの参照方法 4.3.3 混置関数記号 4.3.4 モジュールのパラメータ化 4.3.5 パラメータ化機構による高階関数の記述 4.3.6 順序ソート 4.3.7 属性つきパターンマッチング 4.3.8 評価戦略の指定 4.3.9 モジュール表現 4.4 おわりに 第5章 プログラム代数とFP (富樫 敦) 5.1 はじめに 5.2 プログラミング・システム FP 5.2.1 オブジェクト 5.2.2 基本関数 5.2.3 プログラム構成子 5.2.4 関数定義 5.2.5 FPのプログラミング・スタイル 5.3 プログラム代数 5.3.1 プログラム代数則 5.3.2 代数則の証明 5.3.3 代数則とプログラム 5.4 ラムダ計算の拡張 5.4.1 ラムダ式の拡張 5.4.2 拡張されたラムダ計算の簡約規則 5.4.3 そのほかのリスト操作用演算子 5.4.4 相互再帰的定義式 5.4.5 ストリーム(無限リスト)処理 5.5 FPプログラムの翻訳 5.5.1 オブジェクトの翻訳 5.5.2 基本関数の翻訳 5.5.3 プログラム構成子の翻訳 5.5.4 簡約規則を用いた代数則の検証 5.6 おわりに 第6章 カテゴリカル・プログラミング (横内寛文) 6.1 はじめに 6.2 値からモルフィズムへ 6.3 カテゴリカル・コンビネータ 6.3.1 ラムダ計算の意味論 6.3.2 モルフィズムによる意味論 6.3.3 カテゴリカル・コンビネータ理論CCL 6.4 関数型プログラミングへの応用 6.4.1 関数型プログラミング言語ML/O 6.4.2 CCLの拡張 6.4.3 CCLに基づいた処理系 6.4.4 公理系に基づいた最適化 6.5 まとめ 第7章 最大公約数――普遍代数,多項式イデアル,自動証明におけるユークリッドの互除法 (外山芳人) 7.1 はじめに 7.2 完備化アルゴリズム 7.2.1 グラス置換えパズル 7.2.2 リダクションシステム 7.2.3 完備なシステム 7.2.4 完備化 7.2.5 パズルの答 7.3 普遍代数における完備化アルゴリズム 7.3.1 群論の語の問題 7.3.2 群の公理の完備化 7.3.3 Knuth-Bendix完備化アルゴリズム 7.4 多項式イデアル理論における完備化アルゴリズム 7.4.1 ユークリッドの互除法 7.4.2 多項式イデアル 7.4.3 Buchbergerアルゴリズム 7.5 一階述語論理における完備化アルゴリズム 7.5.1 レゾリューション法 7.5.2 Hsiangのアイデア 7.6 おわりに 第8章 構成的プログラミング (林 晋) 8.1 構成的プログラミング? 8.2 型付きラムダ計算 8.3 論理としての型付きラムダ計算 8.4 構成的プログラミングとは 8.5 構成的プログラミングにおける再帰呼び出し 8.6 おわりに:構成的プログラミングに未来はあるか? 第9章 メタプログラミングとリフレクション (田中二郎) 9.1 はじめに 9.2 計算システム 9.2.1 因果結合システム 9.2.2 メタシステム 9.2.3 リフレクティブシステム 9.3 3-Lisp 9.4 リフレクティブタワー 9.5 GHCにおけるリフレクション 9.5.1 並列論理型言語GHC 9.5.2 GHCの言語仕様 9.5.3 GHCのメタインタプリタ 9.5.4 リフレクティブ述語のインプリメント 9.6 まとめ
第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. 関連する重要な文献