 
|
はてなキーワード: 命題とは
事実と真実ですれ違っているというが、そもそもの命題の設定の仕方が間違っているとしか思えん。
例題の「ワシントンの斧」に関して言うならば、
命題を「ワシントンの斧という寓話は真実であるか否か」とするなら、
アメリカに桜が上陸したのは1909年12月。ただし、この時は害虫被害が懸念されてすべて焼却されており、現在DCとかニューヨークで見られる桜は1912年3月に運ばれたもの。 ワシントン幼少時(1730～40年代)には桜の木は当然無い。 これを根拠に否定する輩もいるのだが、英文では"English cherry tree"となっている物があるのでおそらく、桜桃だと思われ、これなら17世紀にはイギリスからアメリカに持ち込まれている。 ワシントンの家は黒人奴隷プランテーションを経営していたので、桃桜があっても格段不思議ではない。 また、海外の挿絵等では背景が農場に見えるものも多く日本で翻訳した時点で相当意訳されてしまっており日本語訳を元に審議を見定めるのは難しい
となるわけで、これは事実の積み重ねだから、認識の違いは起こらないと思われる。
また、「これが子供の思想形成にどのように影響していくか？」という命題に関しても、
寓話を読み聞かせるのは容易いが、子供は大人の行動から物を学ぶのであり、実際の大人が寓話に反した行為を行っている場合には悪い影響を与えるだろう。 事実、アメリカにおいても、"George Washington's axe"は、先祖代々伝わる由緒ある斧だが、刃は錆びたので交換し、柄は古くなったので交換した。 というジョークとなり、「あれこれ取り替えて元が残ってない様子」を示す慣用句として使われてしまっている。 また、「正直に物事を話した方が良い」という事を説明するための寓話は他にも多くあり、「ワシントンの斧」は内容の短さ、状況の簡潔さから反論性が高いため、他の寓話を選択した方が効果はあるように思える。
と、相手に状況を確認してもらって進めれば、一方的な擦れ違いは起きないだろう。
三段論法は「大前提」、「小前提」、とそれから導かれる「帰結」の３つから出来ています。
大前提、小前提はそれぞれ含意を含む文です。
含意とは
「AならばB」
と言った文（命題）です。（この「ならば」も自然言語のならばとは意味が異なります。気になる人は「実質含意」で調べてください）
上の例だとAを前提（仮定）とよび、Bを帰結(結論)などと呼びます。
三段論法においては、
「大前提」：BならばC
「小前提」：AならばB
「帰結」：AならばC
こうして、「大前提」と「小前提」から「帰結」を導くものです。
◯例
もちろん三段論法が成り立つためには、
「AとBが成り立つ事」、「AならばBが成り立つ事」
「Cが成り立つ事」、「BならばCが成り立つ事」
のすべてが成り立っている必要があります。
上の場合大前提の（全ての）はポイントでこれが数人ならとかなら成り立つとは限りません。（これもちょっと考えればわかることですね）
> 「君の若い力で会社を変えてくれ」とかいう言葉に騙されずに海外に出て自分の力を試せ。
OK.
では、次のクエスチョンが浮かぶ。その前に前提の話をする。
いわゆる社畜は日本企業特有のもの、と指摘されがちだが、ゴールドマン・サックスやマッキンゼーでは激務中の激務のはずだ。
霞が関、GS、Mckといったエリートが集まるところは、朝9時から朝5時まで働く不思議なところだ。
その命題を唱える海外勤務経験者が日本で言うこところの一般職勤務だとしたら、日本の総合職と海外の一般職を比較していることになる。
でかい会社に自浄能力はない。そう、グーグルも官僚主義的になってきたという。HPはIBMの真似事をしようとしてグダグダだ。
もちろん、オリンパス・大王製紙・東京電力は３社だけの企業文化ではなく、日本企業全部に当てはまっているものの、事件として顕在化していないだけに見える。
でかい企業は、海外MBAの派遣が多かった。が、海外MBA帰りは日本企業に歓迎されなかったと聞く。
日本にアメリカ流のマネジメントが適用できなかったというわけだ。
『「クリエイティブ人材として期待された人間」が行き場を失っている状態』は日本特有なのか。
そうでないとすれば、
『海外に行け』のその行き先は？たとえば、シリコンバレーのベンチャー？
とにかく、海外に行けばいいもんじゃないと思う。だって、海外にも大企業病はあるもの。かといって、中小企業はぶっ潰れかねないもの。
(本来なら丁寧語で書くべきだが、書き言葉にて思考展開する私にとって、丁寧語に変換することは私の思考を妨げるので書き言葉にて失礼。)
「私」になるまでの夜空のことなのね。（あるいは「僕は友達が少ない」を「閉じたサークルマンセー」の意味で使って、ぬるいモラトリアムを肯定してるか）
にしても、７巻まで読んだけど、夜空のためだけにあるような話ですな。
どうせ小鷹くんから別れてからいじめられたか友達がいなくなったかで孤立して
幼少時の友達の思い出にすがるというか閉じこもってるわけね。（年取ったから若干「男にすがる」みたいな要素も出てきてる感じだけど）
んで、小鷹くんだけが必要で、二人でキャッキャウフフするために隣人部作ったら余計な奴がゾロゾロ湧いてきてうざったいという感じか。
ただまぁ最終的な結末に向けて、小鷹くんはふたりだけの関係を望まないだろうからこのまわりみちは必要だって話になるね。
夜空の造形と隣人部の関係は「家族計画」の焼き直し的を感じるし、（最後は隣人部解散するんだろうなあ、やっぱ）
夜空の執着は「殻ノ少女」とか「囮物語」の千石撫子によってこのキャラ類型のネタバラシされちゃってるし、
小鷹くんは小鷹くんで手間のかかる妹とか親不在の問題にあって恋愛ができないって話は「こいとれ」に通じるものがあったりと
いろいろな作品を思い出させる要素があって、エロゲオタ的にはおもしろいけど、自分の好きな結末にはたどり着かなさそうで読み進めるのが辛くなってくるなぁ。
ただ、冒頭でエア友達作ったりとかしてたわけで、可能なら女の子の友達が欲しかった、とかそういう所があると可愛いなぁ。
正直はがないを読んでる時はせなさんのことが全く理解できなかったんだけれど、「俺ガイル」のゆきのん読んだからちょっと理解できたかもしれない。
まぁとにかく、この話は夜空さんかわいいよ、でOKっすね。ここまで盤石のメインヒロインも珍しい。
せなさんが魅力的に振る舞えば振る舞うほど、ああ、構造的に圧勝してるからこその思いきりだなぁ、と思ってせなに同情してしまう。
それでも理科さんが煽らなければいけないくらいに（友達に心をひらくことに対して）弱気な夜空がほんまに可愛いわー。
追記
夜空は、ほんとうの意味で友だちを作るために隣人部を作ったわけじゃないよね。
友達を本当に欲しいと思ってない子は、そもそも友達をつくろうとしない。これは友達作りに限らず、社会貢献とか、脱オタとか、なんでもいい。
リマインドしようにも、これを書いた人（＝自分）の学力だと読めない本だったから無理。無理ゲーだった。
第一章
1
意味論的に透明なシステムと結びついた心の概念および計算機モデルを意味する。
この主義の限界を
2
チューリングの形式化が持っている特徴
(1)物理的組織によってではなく、記号操作の形式的特性によるメカニズムの集合全体を包括
(2)そのメカニズムがいかにすれば十分に明確化された問題すべてに取り組むことができるか示している
(3)万能チューリングマシンを定義する方法を示している
⇒ 素材は重要ではなく、形式的特性が能力を原理的に保証している
フォン・ノイマンがコンピュータを設計し、1960s、ジョン・マッカーシーがLISP（プログラム言語）を開発。
⇒ 研究開発が可能に
A・ニューウェルとH・サイモンが物理記号システムという概念を提出
⇒理論的に自覚化・明確化される
3
・物理記号システム
①適切に操作可能なトークンに対して任意に意味を割り当てることができるシステムであり、
②正確にプログラミングすればこの割り当てられた意味論的内容と細かい点においても一致した仕方で行動すると信じられるようなシステム
by 1976 ニューウェル & サイモン
・強い物理記号システムの仮説
SPSS strong-physical-symbol-system
「標準的な記号アトムのフォン・ノイマン型の操作を行っている仮想機械は、一般的な知的行為を実現するための直接的かつ十分な手段を持っている」
①仮想機械
そのプログラムに我々が命令を与える機械を模倣させるような「機械」
・記号を割り当てる
・変数を束縛する
・記号列の複写、読みとり、修正
等々
③標準的な記号アトム
④一般的な知的行為を実現するための直接的で必要かつ十分な手段
そうした機械は、それを支えている特定のアーキテクチュア（その基盤になっている他の現実的もしくは仮想的機械から）まったく独立に真に知的でありうるのであり、逆に言えば他のアーキテクチュアや機械をシュミレートすることなく真に知的でありうる
４
このような主張（標準的なLISPのアトムのごちゃごちゃした操作が、知能や思考の本質を構成しうるという見解）が、ニューウェルとサイモンのものだとできる動かぬ証拠は、彼ら自身の実践。
彼らの仕事の特徴（例:BACON）
・規則あるいはヒューリスティックス（発見的手法）の直列的（経験則を用いたも多少は運が左右する⇔体系的）適用に依存している
・そうしたヒューリステイックスの大部分が、かなり高いレベルで意識的に内省可能
・選ばれた課題領域を扱う
BACON:一連のデータから科学的法則を帰納する（ケプラーの第三法則、オームの法則）
・BACONが取り組んだデータをフォーマット化下のは、人間の労苦
・BACONは十分に構造化された課題にしか取り組めない。
ケプラーの第三法則は見つけられても、ペトリシャーレのカビとバクテリアの関係からペニシリンを発見する事はできない
・BACONが展開する知識とヒューリスティックスは、人間のプロトコルや実験記録に大いに頼り、われわれが自分自身の思考について内省する思考のレベルからかなり直接的にコード化されたもの
⇒この種の思考は原初的で瞬間的なプロセスの上に後から被せられたもの。理解するということを具体的な例で説明する事には役に立たないであろう
サイモン等は、人間の思考のすべてがただ一つの種類の計算アーキテクチュアに依存すると信じている。
しかし、筆者は違う考えを持つ。サイモンとラングレイの仕事では、洞察のひらめきといったタイプの認識を表現できない。
心は、多くの仮想的アーキテクチュアからなる複雑なシステムであると考える
知的課題や、感覚運動的な課題のような、なめらかに無意識的に行われるものは無視されている
５
古典的システムは記号アトムの使用に頼り、コネクショニズムはこれを避ける。
古典主義者:意味論的に透明なシステムの構築に対して、方法論的にコミットしている人々
STS semanttically transparent system
「システムの振る舞いについての記号的な（概念レベルでの）意味論的記述と、システムの形式的な計算活動の内的に表現された対象についての投影可能な意味論的解釈との間にきちんとした写像関係の記述が可能な場合にのみ、そのシステムは意味論的に透明であるといえる」
きわめて大ざっぱにいえば、あるシステムかSTSと見なされるのは、そのアルゴリズムの記述（レベル2）における計算の対象が、概念的レベルの用語で表現されたその課題の分析の記述（レベル1）と同型である場合である。
（レベル１:計算理論:（高い抽象レベルにおいて）どのような関数が計算されるかについての考え
レベル２:表現とアルゴリズム:それを計算する（具体的な）方法
レベル３:インプリメンテーション:現実の機械において計算がいかにして肉体あるいはシリコンなどで実現されるか）
（１）古典的理論は――コネクショニズムはそうではないが――統語論と意味論を組み合わせた記号システムを仮定している
（２）もし何らかの種類の構造化された表現が利用可能であれば、それらの表現についての計算操作を、その構造に鋭敏に反応するかのような形で規定できる。
もしそのような構造が存在していなければ、（すなわち、どんな記号表現も存在していなければ、）計算操作を規定することはできない
◎要するに、古典的システムは、統語論的に構造化された記号的表現を仮定し、そうした表現の構造によって、それに適用される計算操作を規定するものである
第二章
１
ドレイファス:古典的認知主義の問題は、人間の常識的な知識を表象として再現し表現しようとする形式主義の妥当性
サール:形式的なものと志向的なものとの間に、あるいは統語論と意味論との間にギャップが認められる
この二つの種類の懸念について検討する。
２
「あなたの持っているのはそんなにいいボールじゃないわ。それを私にちょうだい。そしたら私、このキャンディーをあなたにあげるわ」
この言葉を理解するために、ミンスキーちとパペートは膨大な概念のリストをあげる。
ウィノブラードのSHRDLUでは不十分。
・フレームは、常識がうまく対処している偶発的出来事のすべてをカバーしているとは思えない（バースデーケーキに立つ黒いローソクに、フレームは対処できるか？）
・フレームからフレームへの移行を促す規則（メタフレーム？）をいつ適用すべきか、システムはどうやって知るのだろう？
ドレイファス:互いに関連しあった特徴や可能性のすべてを、文脈に依存しない事実や規則によって形式的に把握するという課題には際限がないのではないか
３
・ドレイファスの二つの主張
（１）身体問題
「このシャンプーが目に入らないようにご注意ください。もし入った場合は、ぬるま湯でよく洗ってください」
コンピュータは、身体、欲求、感情、共通言語や社会習慣も持たない。だからコンピュータは、この文章が何を洗うように言っているのか理解できない
（２）コード化
人間は自分たちを取り巻く状況がどんなものかを絶えず感じ取ることができる。
このノウハウは、何らかの知識表現言語によって、一種の知識として表現できるものなのだろうか？
AIプログラム（＝言語）が知識を表現する仕方が、現実の課題に対して根本的に不適合だと懸念する。
４
「強いAI仮説」を、サールは批判する
強いAI仮説:適切にプログラムされたコンピュータは、文字通り認知的な状態をとり、その際プログラムは人間の認知を説明するものとなる
Schank and Abelson 1977の、「ストーリーを理解するという志向的活動をシミュレートしているかに見える特別なプログラム」に対して、「中国語の部屋」を使うことで批判する。
サール:形式的に区別される要素に対する計算操作を行っているだけでは、どんなコンピュータも〈理解する〉ことはできない。したがって、そのような計算操作を規定するプログラムが、心の固有の性質について何かを示すこともあり得ない。
具体例:英語話者が英語を理解することと、中国語の部屋の操作者が中国語を「理解すること」の比較
「人間は何も理解していなくても形式的な原理に従うことができる」
以下、サールの誤りについて論じる
５
サールに対する仮想反論「脳シュミレーター説」
脳シュミレータ説：あるりプログラムが中国語を理解する実際の中国人の形式的な構造をモデル化したと仮定すると、そのときそのプログラムは間違いなく真の中国語の理解を構成したことになる
↑（サールの再反論）
（１）脳の形式的な性質は志向性を構成しない（三章にて説明）
（２）脳の形式的な性質が志向性を構成しないのは、ある種の素材だけが思考を支えることができるからである
↑（アナロジー）
光合成：光合成の形式的な記述を手に入れても、素材が違えば光合成は再現できない
では、思考をもたらすような脳の物理的性質とは？
：外因的および内因的な刺戟に対して脳に大規模な変動が引き起こされること
↑（コメント）
『中国語の部屋』が大規模な構造的変動を必要としないシステムなら、中国語の部屋による反論は無効
６
微視的機能主義
機能主義は、心的状態の本質を、
入力、内的状態の変換、出力からなるプロフィールと同一視した。
（適切なプロフィールを持つシステムはどんなものであれ、その規模や性質や構成要素にかかわれなく、当の心的状態を実現するであろう）
↑（批判）
（中国国家脳のような）心的状態を実現する見込みがないようなシステムも、「入力、内的状態の変換、出力」のプロフィールを持つシステムへと組織することは可能であるよように思われる。
こうした極端な寛大さは、機能主義の立場を掘り崩してしまいそう
・問題は、「入力、内的状態の変換、出力」の系列をどこに位置づけるか
×大まかなレベルに位置づけ
⇒感覚質の欠如、極端な寛大さ
△ライカンの「小人機能主義」
○微視的機能主義
・機能主義の批判はゲシュタルト盲に陥っているのでは Lycan 1981
：機能的な構成要素があまりにも大きい、極度に小さい、それらしくない等であるために、そうしたものからなるシステムに志向性を帰属させるという考えに抵抗するということ
（ライカン「小人機能主義」
：機能的な下位システムは、それがエージェントのために何をしているかということによって同定される）
微視的機能主義
内容や目的に関連づけからはかけ離れた用語で
記述しようとするもの
・諸関係が得られたとき、システムには大規模で柔軟な構造的変動が引き起こされ、またそれによってさまざまな創発敵的性質が得られるようになる
第三章
１
２
「民間心理学」
：自分や他人が、信じたり、希望したり、恐れたり、欲求したりしているということについての日常の理解
民間心理学は、行為・運動を説明するときに、信念や欲求という表現を用いる
「民間心理学は、人間の行動に先立つ内的原因についての素朴で原初的な科学」
３
（１）民間心理学は、偏狭な、特定の人々に限定されたような理解しか与えない。
民間心理学は、子供や狂人や外国人を前にすると、まごついてしまう
（２）民間心理学は停滞したまま、なにも生み出さず、長い間ほとんど変化も進化も発展もしていないところが他の諸科学と異なる
（３）民間心理学は、これまでのところ科学の主要部分にうまく統合されていくような徴候をまったく示していない。残念なことに民間心理学は自然を神経生理学的ないみで妥当な要素にまで分割することには関心がないようである
最近の分析哲学
：頭の状態に関する科学理論というゲームと、民間心理学というゲームを比較することが、そもそも不適当なのではないか
４
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での発話は偽になる）
⇒
もし意味が真理条件を確定するのだとすれば、
自然種に関する表現（水、金、空気など）を含む陳述の意味は、
単に主体の限定的に規定可能な状態に言及するだけでは十分に説明できない……☆に反して
二つの選択肢
（１）心理学的な内的要素（地球の話し手と双生地球の話し手に共通）と、
世界関与的な外的要因（仮定上、二つの地球を越えて不変ではない（H2OとXYZ））の両方によって内容が決まるとする、意味と信念に関する合成説
（２）そういったケース（地球と双生地球のケース）は
〈心的状態の純粋に内的でまったく心理学的な要素（☆のこと）〉という観念にさえも疑いを抱かせるものであると考えることもできるだろう
プティ と マクダウェル
「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない。
しかし、
〈頭の中〉にあるものが心の状態に対して構成的関係にあると考え必要があるのだろうか？」
筆者
：あらゆる内容が根本的に世界に関与している（選択肢（２））ということが判明したとしても、
そのこと自体は必ずしも〈認知科学は心の理解に深く（ことによると構成的にではないかもしれないが）関わる研究である〉という主張を覆すものではない
その主張に対する仮想反論と、それに対する再反論をHornsbyは行った。
仮想反論
：「「行動傾向（心性はこれに随伴して生じるとされる）が二者の間で異なるためには、
内的構成に違いがなければならない。」
という考えを保持すべきである」とするならば、
心的内容は限定的に規定されねばならない（自然種を指示しない）
（「「行動傾向（心性はこれに随伴して生じるとされる）が二者の間で異なるためには、
内的構成に違いがなければならない。」
という考えを保持すべきである」までが、プティとマグダウェルの、「頭の中にあるものが、心の状態と因果関係を持っていることは疑いがない」に対応する。）
仮想反論の詳細
：仮定①：
二人の動作主の心的状態は、彼らの行動傾向に何らかの違いがある場合にのみ異なる
（そこに赤いボールがある、と信じなければ、ボールを投げようとは思わない）
仮定②：
行動が異なる（すなわち、行動が異なる）ためには、内的な物理的状態に何らかの違いかなければならない
結論：それゆえ、心的状態に対応する内的な物理的状態に何らかの違いがなければ、心的状態が異なるということはありえない
「（民間心理学的な心的状態を帰属させることは、限定的内容のみに関わることであるという）結論は、深刻な疑義にさらされることになる。
限定的内容といっても、それを妥当な概念として了解できるかは明らかではない」
なぜなら、
「民間心理学的な内容を（物理的状態に？）帰属させることは、身体的な動きを規定するような頭の状態についての独我論的な研究から引き出すことができるような切り口とは
まったく違った切り口で現実を切り取ることであるように思われる。
その具体的理由として、
ボールをひろうことは、「そこにボールがあると私は知っている」という心的状態と関連するが、そのときの細かな指の動きはそのような心的状態と関連するものではない。
５
筆者
：広域的内容を伴うによ伴わないにせよ、
頭の中で起こっていることに関することに関する科学的カテゴリーや分類に
きちんと還元されるなどということは
とてもあり得ないように思われる。
・民間心理学は、科学的心理学と同じゲームを行ってはいないかもしれない
→
世界を記述しない信念であり、なおかつ
ある人が同じ考えを抱いているといえるような別のケースに投影可能な述語が（科学的記述の上には）存在しないことも可能
６
民間心理学の道具立て（信念と欲求という概念によって、命題的態度を帰属せさるという道具立て）を用いて、心的状態を二者が互いに帰属させあうという日常の慣習（傍点）の目的は？
：
他人の頭の内的状態を追跡しようと試みることによって、
その人の身体の動きを予測し説明するための手段
民間心理学の主要な目的
：
世界の中で活動している仲間たちの行動を、（傍点開始）我々が（傍点終わり）理解できるようにすること
（予測したい対象であり主体である）われわれの仲間たちの四つの特徴
①世界に対する感受性、すなわち感覚や生得的な原書的概念の道具立てをわれわれと共有している
②世界をわれわれと共有している
③彼らは我々自身のもっとも根本的な関心と必要の大部分を共有している
④彼らの思考の有用性は、
（我々自身の思考と同様に、）
彼らが世界の実際の有様をたどっていることと関わっており、
彼らの思考作用が、世界の実際の有様に十分適応していると我々が（進化論的な理由から）考えるような目的と関わっている
この特徴があるので、
「～したい」という欲求さえ同じであれば、
・民間心理学は、脳の状態の違い（that かなり目の粗い、行動上の違いとしては現れてこないような）に対しては、敏感に対応しないように設計されている
・民間心理学は、個人の間の差異を覆い隠し、
さらには種の間の差異さえも覆い隠してしまう（長所であっても短所ではない）
７
筆者の見解
：私の見解では、われわれが信念を帰属させるのは、
行動の全体に一種の解釈の網をかぶせることによってである。
……関連する行動を可能にするものとしての、
根底にある物理的あるいは計算論的な構造がどのようなものであれ、
そうした構造における自然な区分に、網の結び目（すなわち信念と、欲求の特定の帰属）が
対応している必要はない。
――
ということは、Davidson（全体論者）に対するFordorの批判は、筆者の意見にも当てはまるのではないか？
<Fordor>
意識の全体論というのは、
「命題的態度の同一性――特に志向的内容――が、その認知的連関の全体によって決定される」
という考え方。
これに、Fordorは懐疑的。
（命題pの認知的連関というのは、主体がpの意味論的評価、すなわちその真偽の決定に関係するすべての命題のこと）
われわれは、信念や志向的状態を共有している。が、そのとき、すべての命題（認知的連関）を共有しているとは思えない。
信念は、その内容をそれぞれ別に持つ。
：信念がその状態を獲得するのは、脳の状態が逐一、世界と因果関係を結ぶことによってである。
「ある生物が『牛』という概念を持とうと持つまいと、その生物は『馬』という概念を持ちうる」
</Fordor>
筆者
：Fordorの間違い
全体論は、もしそうであれば、人間の心の理解が芋蔓式に進んでくれるのにという、いわば願望。
Fordorが軽蔑したものの通りに進んでくれるかは別問題。
Fordor：バラバラになったブロックを一つの全体に組み合わせるやり方が、全員同じになるはずがない。
筆者：一つのブロックの組み合わせ全体を理解するために、各人が別々のやり方でバラバラにしている
全体論という言葉の使い方が違うから、Fordorの批判は筆者には当てはまらない（という、批判をかわすための節）
７
一章３節での、チャーチランドによる民間心理学批判に、今では応答できる。
（3）に対して、
民間心理学の関心事は、他の主体の顕著の行動パターンだけを可能な限り効率的に分離することである。神経科学とつながることを目的とはしていない
（1）に対して、
民間心理学の道具としての適用範囲は、仲間。狂人の理解は、そもそも目標としていない
（2）に対して、
なので、その中核部分が時間的および地理的な次元を越えて相対的に恒常的であり続けてきたことは驚くべきことではない。
整理。
民間心理学には、きちんとした定義がある。
これまで「民間心理学」として使われてきた言葉の、新たな用語法：「素朴心理学」、「メンタリズム的な理解」
８
因果関係と、構成的関係の区別
構成的関係
：
研究の主題と何らかの形で密接に結びついているということ
因果的に関係
：
因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、
それらの要素を差し引いてもそれによって思考という観念そのものが存続しえなくなる
ということはない。
（チェス盤がなくなっても、チェスの続きは打てる。石を駒に見立てたり、口頭で）
９
・消去主義的唯物論：民間心理学が、心に関する科学に対して歪んだ影響を及ぼすのではないか。民間人は自分自身の心を知らないと、消去主義的唯物論は思っている
↑
（構成的関係）
↓
心
科学と心とを結びつける構成的関係。その得難さが二つのスタンスの対立を生んでいる。が、どちらの立場も同じく、認知という地形に同じ隆起とくぼみを見ている。
では、構成的関係とは何か。
構成的関係←→因果関係
構成的関係：研究の主題（この場合は心）と、何らかの形で概念上密接に結びついていること
因果的関係：因果的に関係している様々な要素は、それほど密接に思考と結びついているわけではないので、それらの要素を差し引いても、それによって思考という観念そのものが存続しえなくなるというひとはない
（駒はなくてもチェスは打てる）
Permalink | トラックバック(0) | 15:30
子供第一っていうか、要するに「子供を苦しめることはみんな悪、何をおいても子が泣きを見ることだけは避けるべき」みたいな感じだよね。
そんで、その命題でもって何もかも語ろうとしすぎてる。
でたでた。
「相手の論陣を極端化して論破しやすくしてから戦う」という典型的藁人形論法。
「子供を苦しめることはみんな悪、何をおいても子が泣きを見ることだけは避けるべき」
俎上の母親は自分の子供にシリアルと買い弁当ばっか食わせて夜更かしさせて放置してるわけだわな。
子供の為に出来る、追加リソースゼロの方策（助けてくれそうな人に頭下げてすがる、交渉する）すら真剣にとってきてないわけ。
今回子供が喜んでるの見てもただ「報われない自分が可哀想」って泣くわけ。
０点じゃねーか。
その子はとっくに苦しんでるし泣き見まくってるよバーカ。
「３０点ぐらいなら取れなくないように見えるから３０点は取れよ」って言われてるだけだ。
そしたら被害者面で「１００点を取れと強要された！」とかトンチキなこと喚く。
どこの誰が０点人間に１００点なんか期待するんだバーカ。
あのな、そういうのはボチボチ最善と思われるルートをたどってからほざくことだ。
自分の感情のためだけに、「両親や従兄弟に頭下げてお願いする」ということすら回避した母親を
「無いなら作れや！」ってなるのはいいんだけど、そこで母の過去の選択がどうのこうのって責めたって策なんか出てこねーんだよ。
過去の選択について間違いを認識して反省してるならみんなだって責めやしねーよ。
まるっきり認識してないじゃん。
そのことを認識して後悔や反省をしてるなら追加で責めたりしねーよ。
目の前の「策」である従兄弟のことも生かせそうにない状態だよね。
「策」は目の前にいくらでも転がってるんだよ。
あくまでこの母親が、自分の理想のために、それを掴むのが嫌なんですってよ。
バカじゃねーの。
普通のシングルマザーはこの母親みたいに恵まれてねーし、理想とか寝ぼけたこと言ってねーよ。
てめーこそ勝手に他の罪の無いシングルマザーを巻き込もうとすんなバカが。
文中の登場人物で「誰かを蔑ろにしてる」人間は一人だけ、この母親だ。
「両親の思い」も「わが子の健全な発育」も「出来すぎた従兄弟達の親切心」も全部蔑ろにして
いまだに「理想どおりに出来なかった私が可哀想」と抜かしてる。
こいつが可哀想だとすればそれは
徹頭徹尾自分のことしか考えないで生きてるせいでそうなったんだよ。
厳しい批判を受けたら
ダメ人間の典型パターンだけど、その攻撃方法がクズ丸出しだな。
「幼少期に可哀想な目に遭った奴だろう！」なんていう人格攻撃の手段があるか？
2chのネトウヨのチョン呼ばわりなんかより更に人間として下だわな。
「きちんと養育されない子供が可哀想な目に遭う」、なんてことについて
心を痛めるんではなく攻撃に使えちゃうその神経。
こういうレベルの人間が人の親やってたらと思うとマジでコワ！としか言いようがない。
まあそういうレベルの人間がこの問題の母親みたいなことも出来るんだろうけど。
そのためなら「今泣いてる母親は泣いてて当然」となるわけだ。
この「泣いてる母親」は
誰にもこんな奴を助けることは出来ない。
自分で自分の了見を改めて、他人のことや他人の気持ちを考えられるようにならない限り
もっとはっきり言えば、
つまり、
馬鹿だな。
それだ。
子供第一っていうか、要するに「子供を苦しめることはみんな悪、何をおいても子が泣きを見ることだけは避けるべき」みたいな感じだよね。
そんで、その命題でもって何もかも語ろうとしすぎてる。
あのな、どのルート辿っても子供は泣く場合だってあるんだっつーの。避ける術とか無いからね、っていうパターンが。
「無いなら作れや！」ってなるのはいいんだけど、そこで母の過去の選択がどうのこうのって責めたって策なんか出てこねーんだよ。
「これだからシングルマザーは」とか論外なわけ。そういう憂さ晴らししたいだけのカスは支援施設に募金でもするかボランティアでもしてからモノ言えって感じ。
子ども子ども言い過ぎてこの母親蔑ろにしてる人って、きっと過去に何らかの方法で痛めつけられて泣きを見まくった可哀想な子供だったんだろうなあ、って思っちゃうわー。
だから子供泣かしそうな要因を責めずにいられないんだな、と。そのためなら「今泣いてる母親は泣いてて当然」となるわけだ。
馬鹿だな。
食糧以外に言うべきことがないならその時点でダウトで間違いない。
それはTPP全体について論じているのではなく、「TPP的な何か」について論じているだけだ。
自由貿易とTPPの違いがわかってない大学教授がなにか言ってるが、命題そのものが間違えている。経済よりまず国語能力に問題がある。
まるでアップル社の時の栄光しか知らずにジョブズを語るどこぞのベストセラー作家と同じくらいど阿呆である。
というより故意だろう。
プロとして語る以上、最低の品質を保証できないのは失格を通り越して別の思惑を疑われても仕方がない。
TPPにより影響が出ると言われている項目は２４だっけか。
全部を考慮するのは無理としても、最低でも３つ。可能であれば１０の分野で同じ理論が成り立たないことをドヤ顔で語る訳がない。
つまり、オリンパスに依頼された会計士と同じように最初から特定の目的に向かって捏造を行なっているとしか思えない。
もしこれが過失であったとしても、看過しがたい重大な怠慢によるものであり、業務遂行に必要な能力なしとして扱わざるをえないだろう。
「情報提供機能」において最低限の品質を保持できない悪貨は非常に危険である。
こういう人間が影響力を大きい場合、重大な虚偽表示の危険があるとして、積極的に批判、修正することが必要である。
メディアとしての特質に汚染され、最低限の品質を保持できないようであれば、またそういう教授に監督機能を果たせないようであれば
教授やその大学は公的機関による排除を自ら招いているとしか思えない。そういう人には望む処置を与えるしかない。
とりあえず、TPPについてどういう理論展開をしたかは、今いる経済学者（経済学、ではない）の存在価値と信頼性を測る大きなな基準になる。
別に自分はテレビ番組のプロデューサーでもないけれど、ちょっと思いついたので書き記したいと思う。
何を研究分析するにしても、調査の仕方、分析の仕方というものがある。物ごとを多角的に見る、もしくは俯瞰して見るという事だ。
山に登って高い位置から景色を見て、登る辛さを家に帰ってきてから思いだしてもまったく思い出にが“つらさ”の再現性が無い事に気が付き、そこからの着想である。
では
「特異稀な経験談の集め方！」
下記Ａ～Ｈの命題に「Ｙ・そう思う」「Ｎ・そう思わない」で解答せよ。
Ｃ関連しうる現状が今良いと良い思い出になりやすく
Ｄ関連しうる現状が今悪いと悪い思いでになりやすい
Ｆ関連しうる現状が今良いと良い思い出になり
Ｇ関連しうる現状が今悪いと悪い思い出になる
Ｈ思い出となってから記憶を思いだしただけではつらくはならない
※全ての「なる」「ならない」「なりやすい」「なりにくい」は
“その時と同じ様に”という意味で
※更にここから、肉体的には辛かったけど精神的には快楽だった等の複合命題へと進めるべきなんだけど、めんどくさくなりました。
これらの命題に対して例えば１００以上の解答サンプル集めて統計し、少数派の解答に絞った上で具体的経験談を著述してもらう
金がないとできないが、極めて効率的な特異稀な経験談を集める方法が確定しました。
最初から稀な経験は？と聞いても出てはこないような特異稀な経験が世の中にはまだまだまだまだ眠っているのではないでしょうか？？？
特に上記各命題について「Ｎ・そう思わない」と解答した部分についてメールでもレスでも良いので教えてくれると、お互いに面白く楽しい時間を過ごせると思います。
宜しくお願い致します。
@awaikumo ←連絡先はここから探してね
番組の合間に秋の東北の映像が流れるんだけど、これがよくできていて、東北に行きたくなる。
放射能の脅威については百家争鳴だから、はっきり言って何を信用していいのか分からない。
「ほんとはやべーかもしんないけど時間も経ったし生産者や議員からの圧力があるしでテキトーに出している」ものなのだ。テキトー極まる。
薬害エイズでもＢ型肝炎でも何でも後からでも十分にひっくり返る。
そしてそれは仕方ないことなのだ。
政府に万能を求めてることが間違っている。政府はただの組織だ。神でもなんでもない。
（オマケに「政府を小さくすべし、自己責任である」と6年前に選挙で意思決定したのは何処の誰だったかね）
チームを潰すには、同士討ちが一番効率が良い（諫早も農水省が地元を分断させて事業を進めた）。
被災地を信用できない。
悲しいことだと思う。けど、どうしようもない。
ＣＭがいつも痛々しい。社会貢献やタバコ以外の事業部門の紹介、いかにタバコの害を減らすかの取り組みばかり。
ああこの会社の至上命題はそもそも存在意義の模索なんだな、そしてそういった命題を抱えた組織というのは、外から見るとひどく痛々しいのだな、と思った。
まあＪＴは言ってみれば麻薬製造会社で「死の商人」なわけだから、タバコが叩かれそういった窮地に陥っているのは仕方ないだろうし、いずれタバコをやめて違う会社になるだろうと思う。
ただ、東北は違う。
彼らは望んで放射能を浴びたわけではないし、正直あまりにも気の毒だと思う。
現在の放射能被害の責任は、ほぼ100%ずさんな原発管理をしていた東電にある。
ああ、この人達は望まないのに、ゆるやかな死の商人になってしまったのだ。
そして彼らは薄ぼんやりとそれに気付いている。
除染は終わらない。放射能は消えない。けれど、あえてキャンペーンを打つということの意味。
それは、「放射能に汚染されたかもしれない地域をＰＲするということは、観光客が放射能に汚染されるかもしれないということを分かっている」ということ。
http://anond.hatelabo.jp/20111017024535
はて、どう応えたらいいものやら、と一晩考えておりました。
現実にある問題に直面しており、その根本となっている｢自己肯定感｣の乏しさについて書きました。
具体的な問題について語るつもりはありません。特定されたくないですしww
ここ数ヶ月、ほぼ初対面の方に｢自信なさそうだね｣と言われることが数回あったので、
頭の片隅にずっと、考えるべき命題としてありました。私が感じる｢生きづらさ｣の原因でもあります。
私は、自分のことをメンヘラだとか、境界例だとかの、診断基準にちっとも満たないと思います。
ただ、現在凹んでいる自分を支えてくれている大きな柱が、恋人であることに気付き、
依存してしまったら彼に申し訳ないし、不健全な関係になってしまうなあ、と気をつけようとしています。
｢冴えない｣と書いたのは、｢うちの愚妻が…｣といった風な謙遜の意味です。今の恋人は、私にとって大切な尊敬できる人です。
ただ、今までの恋愛遍歴は、人に自慢できるようなものではありませんでした。依存、共依存はろくなもんじゃないです。
恋人がいる、友人がいる、という状況を以って、はてな民の皆様からは反感を買っているようです。
予想はしていましたが、嘘を書くつもりもないので、正直に書きました。
でも、程度問題に還元されたくはありません。最も苦しみ、弱い立場に置かれた人にしか、発言権はないのでしょうか。
私には私の感じる、固有の困難さがあります。分かち合える人、そうでない人、様々にいて当然だと思います。
恋人、友人、家族、趣味の世界…様々な他者からOKをもらえたとしても、
自分で自分にOKを出してあげる、その穴だけは埋めがたい人もいるのです。
｢リア充｣というのは、世間で認められたある種の｢望ましさ｣です。価値観のひとつです。
そういう価値観に染まらないぞ、と断言できる自分のことは好きです。
誰かのご指摘の通り、そういう自分に恍惚とすることもあります。
ただし、対人関係構築の不器用さから、すべてのコミュニティでうまくやっていけてるわけではありません。
自分への理想も要求水準も、すごく高いです。世間の価値や、自分への要求をすべて満たせない自分にも苛立ちます。自信が持てません。
これらは、｢表面｣⇔｢深層｣といった関係ではありません。それこそ分裂しちゃうよ。
私からすると、すべて私を構成する面です。私は、アイデンティティを多面体として捉えています。
好きな面も、嫌いな面もあります。もっと、好きな面を増やしていけたらいいのにな、というくらいの話です。
SNSで臆面もなく、恋人とのイチャイチャ写真をうｐできるくらい、自信の皮が厚ければ
さぞかし生きやすいだろうな、と思います。そうなりたい、というわけではありません。そんなん恥ずかしいしww
秋の夜長に、ちょっとキャッチーに書きすぎたことを反省しつつ、
現実に起こっている問題に対処することでしか、自己肯定感は復活しないぞ！と、自分を戒めたいと思います。
｢持つ者と、持たざる者｣なんてキャッチーに書いたけど、ホントは多かれ少なかれ、みんな持ってるんだと思います。
自己肯定感ゼロの人は、それこそ死に至る病なので、死んでしまうか、その寸前かと思います。
私にも、自己肯定感が高い時期もあれば、低い時期もあります。今はどん底ですが。
｢きっと何者にもなれない｣私の人生で、自己のプライドと、どう折り合いをつけていくか、正念場です。
それと、皆さんが私について書いてくださったことは、あくまで｢仮説｣です。
エビデンスもなしに、私という人間を100％理解したつもりになってる方、断定的な口調で物を言う方、
自分の理解できる範疇・型に当てはめてくる方･･･には苦言をいいたい気分にもなりました。
最後に、極端な人のみが、悩みを持っているわけではありません。
そもそもの問題解決にも使えるのだが。人類が数千年に渡り人と人とが協力をする事によってあらゆる問題を解決してきた事から今回はその論理の応用編。論理を用いたコミュニケーションについて解き明かしていきたいと思う。
人が人に意思を伝える時にはどんな種類があるだろうか？
※分類できるというわけではなく要素として
一、命令（相手に何かを要請）
一、伝達（単に事実や事柄を）
とまあ色々あるけれど、個々に主観的なものと客観的なものがある。
ではこれらの情報交換を人と人が行う時にお互いの共通認識が多いか少ないかだけでその人とその人が仲良くなったり仲良くならなかったりというのではなんとも勿体無い。
だって誰でもそうだろう。例え偶然でも似たような過去の経験があったり似たような将来像や様々な物事に対して個々に思う感覚が似ているかどうかだけで大概の人は親近感を抱いたり、はたまた嫌悪感を抱いてしまう。
自分はそれは非常に非常に勿体の無い事だと言いたいのだ。
だって、たまたま誰かにとても嫌っている同僚だとか上司がいたとする。お互いに相容れないのがもしこの世に生を受けてからの全ての経験の似通りにたまたま距離があった事で様々な物事に対する認識が離れてずれてしまったのだとするのならば、もし、もしも今後共通の体験をしたり、または知識として何かしらの経験を得たのならば、“今”は協力できないと思っている相手とでもいずれ協力でき、お互いに“楽しい”と思える時間を人生に内に占める部分が増えるのではないだろうか？
例え話しに基づいて解いていく
さてここはある雑談の場だ、そして誰かが話しだす。
※実際はどちらの発言にも主観と客観が交じりあっているが便宜上無視
まず主観的例文
次に客観的例文
「なんか怖い親に育てられた人って背が低いよね」
強引な例だが、こういった雑談の場では今までに聞いた事の無い意見に対して聞いた側がどう思うのかがこれからの検証を進めていく上でとても重要になってくる。なぜなら既に自分の中で“自分はこれに対してこう思う”という一つの自我が既に形成されていると、案外素通りで他者の自分とは異なる意見を受け入れてしまうからだ。
例えば、雨降りの天気に対して
「嫌な天気だね」
と誰かが言ったとする。かなり住んでいる地域の影響も受けるかもしれないが年間数日しか雨が降らない地域の人は絶対にそんな事は思わないだろうし。例え日本国内でも雨に対して一切の「嫌な感じ」を抱かない人もいる。それにその時の状況として洗濯物を天日干しにしよう！などと予定していたのであれば嫌だと思うかもしれない。この場合客観的例文だったので状況に左右されやすいのだが、例えば
「えーっ、不味そう」
と誰かが言えば、味に対しての感覚の相違なんていうものは人それぞれだという前提が多くは幼い頃から経験しているので、さほど相手はそう思うのか程度にしか自分とは相容れない主張に対して不快感を抱かない。
では、何かの物事に対して新規の見かた、新たな捉え方を意見として雑談の場で表明された場合はどうだろう？
「なんか怖い親に育てられた人って背が低いよね」
どうだろう？実際に身体の成長と日常的ストレスまたそれによる日常的な筋肉の緊張には関係があるので、そうだ！と思う人もいれば、関係無いよって思う人もいるだろう。だがここで言いたいのはそんな事ではない。
命題の因果関係が成立するかしないのか？という部分に目を取られてしまうから“こいつとはなんか合うな”とか“こいつとは合わないな”なんていう思い込みで他者との相性を判断してしまうのである。
「なんか怖い親に育てられた人って背が低いよね」
という主張に対し論理の技法にのっとって哲学し分解考察して行こうと思う。では
Ａ “親が怖い”のならば“子の背が低い”
Ｂ “子の背が低く”ないなら“親は怖く”ない
Ｃ “親が怖く”ないからといって“子の背が低く”ないとは限らない
解りやすくすると
Ａ´ 親が怖いと子の背が低い
Ｂ´ 子の背が高いなら親は優しい
Ｃ´ 親が優しいからといって子の背が高いとは限らない
そして、それぞれに反論すると
Ａ” 怖い親に育てられても背の高い子はいるはずだ
Ｂ” 背の低い子の親でも優しい親はいるはずだ
何かを“そうだ”と言いたい時に、その物事が“在る”事を証明するのは簡単だ。その主張のたった一例であってもそれを相手に提示すればいいだけの事だから。
しかし、何かを物事や事実を“ない”と証明する事は非常に困難を極める。今回の場合で言うと
「なんか怖い親に育てられた人って背が低いよね」
に対して“そんな事は無い”と思った時に、因果関係は別として世界中の全ての怖い親の子が背が高い事を明らかにできればそもそもの因果関係を抜きにしても“そんな事は無い”という事を文字通り証明できるのだが、世界中を調べる事は物理的にも時間的にも不可能に近いしそもそも過去現在未来においてその事実が存在し得ない事を証明するのはそもそも文字通り不可能だ。
ではあなたがだれかと物事に対する感覚や捉え方で不一致を感じた時に、どう考えたら、無駄かもしれない不和発生の原因を取り除けるだろうか？
誰かが何かに対してある考えを持つ時に、自分も相手と同じ境遇、同じ体験、同じ経験をしていたならば同じ事を“今”思うかもしれない。
だって相手は“そう思う”という事実も自分も沢山見聞きしていたら“そう思う”だろう事は、ここまで読んだあなたなら想像つくだろう。
それにそのあらゆる相手の主張する事実は勿論、あなたにとって想像可能な事かもしれないしもしかしたら想像不可能な事かもしれない。けれど、ただ“違う”や“こいつとは違う”と思うのではなく先ほどの“悪魔の証明”により“（自分が）そうとも思える可能性”があるよな！と論理の帰結として言えるのだという事だ。
人生とは様々な物事や関わる相手に対して
なんとなく常に“判断”をしてしまう。
“いいな”とか“やだな”とかなんとなく思ったり・・・
確かに本能として“好感”を持つ対象には関わろうとして“不快感”を抱く相手とは関わろうとしないという現実はある。だがしかし、これは自分自信の経験でもあるけれど、なんかむさ苦しそうだなと思っていた奴が凄い楽しくて面白い奴だったり。なんかいつも不機嫌そうで関わりたくないなと思っていた人が実は共通の趣味がとても多い人だったりという事が多々あったりする。またその発見は良いものだとも自分は思う。
あなたは、ここまでこの日記を読み「論理の技法」を手に入れた。
ある命題に対しては「肯定」「否定」「対偶」があるという事。対偶とは超訳すると、ある意見に対して肯定できないからと言って否定した事にはならないというとても重要な考え方だ。
くどいけれどもう一度おさらいで例文をだす。
アルファベットでないならＡではない
さらに拡大解釈をしてみよう！
さらにこの考え方と飛躍拡大していくと
どうせなら自分にとって都合の良いように考えた方が得のはずだ
だって水が低い方に流れるのと同じで人も楽な方に流れている
当たり前の考え方になるだろう
「相手の立場に立って考えなさい」
などと言われているのではないかと思うが
逆の考え そして更に、逆の裏（上記★の部分）を“一念”に置く事で世の中のだいたいの悩み、問題は晴れるだろう。まさしく世界の見え方が変わってくるのだ。そしてこの考え方を上手に活用すればより多くの人と協力が可能になるだろう。
なぜなら
人類は“協力”によって様々な問題を解決し、そして発展してきた。
そしてこれからも
@awaikumo
第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. 関連する重要な文献
僕も家事労働が嫌い。
最近、ずぼらなひとり暮らしさんが書いたエントリーがホッテントリしていたから、僕も便乗して書いてみる。
というか、被っているところもあるので、そこはごめんなさい。
参考にしたエントリー
http://anond.hatelabo.jp/20110828154004
僕は非常に面倒くさがり。そして時間が惜しい人。家事労働している時間があったらアフィリサイトを作ったり、読書をした方が良いしね。
ということで、このエントリーはちょっとお金がかかる（といっても月単位に直したら数千円）けど楽で時間が節約できる方法を紹介します。
だから、ご飯を一度に炊く。そして、パックするわけですが、案外ラップでご飯を包むという作業は面倒くさい。
これは、ラップのようにいちいちラップを切ったり巻いたりしなくていいので、楽だし、一膳ずつ取り分けられる。
これは割愛してもよかったんだけど、とりあえずトマトスープ缶を買えばスープはできる。
適当にコンソメの素と塩コショウ、あとオリーブオイルやバジルがあればおしゃれなスープになる。
スープはおなかもいっぱいになるし、効率よく野菜も食えるからマジでおすすめ。
ごはんを前は３杯食ってけど、おかげで１杯になったし、何より痩せた。
補足
どうせだったら、炊飯器はいいものを買いましょう。それも５合炊き。
３合炊きだと６膳ぐらいにしかならない。やっぱり５合炊き。それもいいものを買いましょう。
それに電気代もかかる。
だけど食器洗いって面倒です。結構自炊するので食器も多く。保存容器（ジップロック）も多くでるので、いちいち洗うのが面倒。
でも食器洗い機ならばその手間が省けて、なおかつ手洗いよりもキレイ。
洗濯乾燥機もそう。洗濯物を干すのも面倒だし。雨がふるリスクに直面しなくてはいけない。
でも、この機械があれば、そんな面倒とリスクからも解放される。
この２つの機械はもっと普及した方がいい。この２つの機械はマジでおすすめ。
僕はイオンだけど、イトーヨーカドーもやっているらしいじゃないですか。
送料も５００円以下だし、いちいち買い物に食材を出かけなくもいいし。重いカゴをぶらさげて長いレジ待ちをしなくてもいい。
ネットスーパーに限らず、アマゾンや楽天といったネットショッピングを使いましょう。
はてなを見ているようなネットのヘビーユーザーの方に言うのもお恥ずかしいですが、本当に楽ですよね。あれ。
服をたたむなんてありえないぐらい面倒です。
下着はどうせしわになっても見る人は限られるので、そのままボックスにぶちこみます。
靴下ボックス
などといった感じ。
これ結構楽。服を効率よくたたむテクニックなんて習得するだけでも面倒ですわね。
これも被っているから書きたくないけど、大きいごみ箱は本当に楽。
昔、シリコンバレーの人のゴミ箱は大きいっていうことを本で知ってからホームセンターで買いました。
結論は楽です。
ゴミ捨て場まで持っていくという面倒くささが２週間で良くなったことは時間的な効率面でいうと大きい。
これが実は一番大切。
いらないものは捨てる。モノがたまると余計に片付ける気力が萎えるのが人情です。
それに、モノが増えると今度は物を失くしたときにモノを探すという、非常に絶望的な非生産的な活動に従事しなくてはいけません。
そのようなリスクに備えるために捨てる。
言葉で説明するのが難しいけど、イメージは佐藤可士和のオフィス
とりあえず、引き出しや整理ボックスも同じような形で統一する。
それは食器類も同じ。
さっき言った捜索リスク回避になるし、何より見栄えがいい。
部屋もすっきりする。
ということで、家事労働という労働集約的な活動はいかにして、機械化、合理化を行い工業化に近づけるかということを考えればいいのではないでしょうか。
面倒くさいという人にとっては、動線も意識したらいいかもしれない。以下に最適な位置にモノを配置するか。
それだけで、面倒くささも軽減され、何より早く終わる。余った時間で本を読んだり、人に会う。これってリア充じゃないかしら？
忙しかったり、面倒くさがりの人はいかに家事を合理化するかということを考えた方がいいです。
確かに家電を使うと電気代の問題がでますが、だったら、電気代を賄えるようビジネスをもてばいいんです。
自分で何でも節約と思ってやるよりも、家事労働に充てる時間をサイドビジネスやら勉強に使った方が効果的ですし、何よりも充実人生になると思います。
煩わしい家事労働をいかに合理化し、かつ節約して電気代を賄うか。
ということで、みなさまも何か家事の合理化テクニックや節約テクニックがあったら教えてください。
僕も定期的に追記していきたいと思います
さっそく良いエントリーがあったので、さっそく紹介してみる
http://anond.hatelabo.jp/20110905222642
これは良いですね。調味料だけというのはなるほどと思いました。僕も結構調味料であふれているので、別に分けようと思ってました。
肉は冷凍保存できるので、まとめ買いする。スーパーとかの閉店間際でよく買い占めてます。
その他にも
などなど。ちょっとした工夫で家事労働の煩わしさから開放されるみたいですね。
良いエントリーに本当に感謝します。ありがとうございます！！
あと、生ごみが腐るんじゃね？という指摘がありましたけど、すみません、ぼくの記入漏れでした。
僕の部屋には生ごみ処理器があるので、それで処分してます。そしてその土を使って家庭菜園してます。
一言家庭菜園について触れると、あくまで趣味なので全く合理化とは関係ないかもしれません。
改めてありがとうございます。もっと。。。もっとエントリーください(ﾊｧﾊｧ）
家事労働合理化のためには、少しずつの改善が必要。ちょっとしたことだけど、それが確実に効いてくると信じて。。。
お米を今だに研いでいる人が多いけど、面倒でしょ。
ということで、無洗米を使う。環境にもいいし、何より寒い冬場に水に手を浸さなくてもいい。
400円ぐらい高いけど、月割りにしたらたいしたことない。
ブックマーク数が8になってる！（わーい）
ということで、今日も追加して書いてみる
理由は単純に食器を洗う手間がなくなるから。
理想は先述のとおり食器洗い機を買うことだけど、まだ無い人は割り箸と紙コップで楽になる。
それぞれが分業的に保有する知恵の適切な範囲は、何を基準に判断されるの？
http://anond.hatelabo.jp/20110825105018
お金持ちに大量に触れて初めて気づいた8の共通点
ここでの
と定義。
１代、としたのは、２代目金持ちニートがいると、兆戦しなくても金持ちになったりで、ほとんど偽になるのでｗ
→親切が定義されていない。判定不能。しゅーりょーｗ
よって、偽。
これは一見有りそう。
それを踏まえて、判定すると、(するなｗ）
反例：企業オーナーで、不親切でも社員から搾り取ってれば利益でるから、この時点で対偶は偽。
よって、
真ではない。
これは無駄遣いの定義と貧乏の定義が必要。あと、最初の所持金の設定値も必要。よって現時点では判定できない。
ある人が50万円を所持していて、
この人物が21回飲み代を消費した時点で、この人物は貧乏になる。
この定義だと命題は真。だけど、飲み会開催の周期や収入月額も計算に入れないとおかしい。
面倒なので、ここまで。
とりあえず、真。
よって偽。
これは偽。
よって偽。
詳細略。
よって、偽。
勉強の定義が不明。だけど、仕事内容を覚えるのも勉強だとすれば、
真。
確かに働く暇もなく語っていれば、貧乏になるわな。
よって真。
よって、偽。
この命題のために、最初にお金持ちの定義を、１代で３億円、と定義しなおした。
よって真。
対偶：短期的にポジティブ、長期的にネガティブはお金持ちではない。
反例：日本は長期的には終わってると説きつつ、眼前のビジネスにポジティブに取り組んでいる方々。
よって偽。
偽：お金持ちは周りを大切にする
真：お金持ちは語るより聴く
真：お金持ちは挑戦する
という結果に。
論理的に判定してみたが、実際にまとめて見ると、驚くほどシンプルである。
だがこれを全部できている人はなかなかいない。
お金持ちになりたいと思っている人は、真のところだけをマネしてみるとお金持ちにすこし近づけるかも知れない。
（１代で)お金持ちになる方法って、要は元締めになることだろ（笑）
http://anond.hatelabo.jp/20110826000200
をミックスすると、
・無駄遣いせず、
・元締めになる方法を聞き、
・元締めになるために兆戦する、
そういう人が、お金持ちになる。
本当にいい奴で、よく一緒に酒も飲むし、研究や学業も切磋琢磨できるすごい大事な親友だ。
親友は僕と遊ぶ時、よく彼女を連れてきていた。だから、彼女と僕はお互いどういう人かはよく知っている。
親友が彼女を僕と遊ぶ時に連れてきていたのは、僕が彼女に対して無害であるということと、一番中のいい友達を知って欲しいという気持ちからみたいだった。
ところが、しばらくして、小さな喧嘩をしているのを見るようになったので、たまに仲裁に入ったりしていた。
それは、親友から相談されてそう言う立場になったのだが、、、、、
ある時、親友からだけでなく、彼女の方からも相談されるようになってきた。
話を聞いてると、健気で何となく共感してしまう事が多くなり、親友に対して、彼女から聞いた話の方を持つ意見を多くするようになってしまった。
この時、既に彼女を好きになりかけていたのかもしれない。
当時はそんなつもりはなく、話を聞いた上で自分で判断していたと思うんだけど。
で、最近本当に別れるみたいな話が出てきた。
彼女は今回も僕に相談してきて、その決心がついたと言ってきた。で、難しい時には力を貸して欲しいって。
電話で彼女に、次に好きになるなら増田さんみたいな人がいい。って言ってくれて、正直嬉しかった。
付き合いたいし、告白したいって思うんだけど、これって親友との友情ぶち壊すんじゃないかってすごく怖い。
親友とは本当にいい関係なんだけど、ここしばらく、あまり一緒に酒も飲まないし、遊んだりもしてない。
おそらくこの彼女が僕に相談しているのを知っていて、僕が彼女の方を持つのも何となくわかっているからだろうと思う。
で、そんな状況で、僕が彼女に告白したら、親友とのつながりがぶっつぶれちゃうんじゃないかってすっごく怖い。
（そもそも彼女が僕の告白を了承して食える保証もないんだけど、、、）
親友とはこれからもいい関係でいたい。彼女には気持ちを伝えたい。
どうすりゃいいかなぁ。僕には何をどうすればいいのかさっぱりわからないよ。
某兄弟がいうように、何かを得るためにはその対価を払わないといけなくて、何か犠牲にしなきゃいけないんだろうか。
（払っても等価交換されない可能性があるけどね。）
心がねじけていて素直でなく、陰湿で嫉妬深く、気まぐれで卑怯、自己中心的。ただの狂人で、人格も思想も一貫性も
まるでなく、昆虫に喩えればゴキブリ。存在自体無価値で、害悪。やることなすことキチガイ沙汰で、本物らしいものは
何もない。すべてが一過性なので、自己同一性すら疑われる。日本人の社会は、公認ヤクザである政府や一般のヤ
クザのような犯罪組織同然の悪の組織による奴隷社会しか実現できていない。そのくせ、世界文化に対する嫉妬は根
深く、形だけ大学や学問や法治国家を整え、ふんぞり返っている厚顔無恥さには反吐が出る。社会は気が狂った鬼の
集まりにすぎないのに、やれ表面は頑固だが繊細な心を持っているだの、社会とは酒に喩えられるだの、日本の心は
美しいだのと美化に余念がない。実態はと言えば、陰湿で偏狭な土着的心理と自己耽溺的美意識と頑固さの入り組ん
だ複合体でしかないくせに、とにかく人を幻惑する魔術、すなわち自己保身のためのありとあらゆる暴力や騙し、脅しが
凄まじい。相手が弱しと見るや容赦なく攻撃を加えて支配しようとし、相手が強くて敵わないと見るや徹底的に下手に出
て歓心を買い、強者から少しでも多く利益を引き出そうとする態度の変化は最も醜い。とにもかくにも思っていることや
言っていること、人を騙そうとして発する言葉と、自分が実際にやっていることが真逆というに至っては開いた口がふさ
がらない。しまいには愛が全ての自分などと言って最後の自己正当化の手段をとろうとするが、中世において間引きの
ために平気で赤子を踏み殺していた日本女に愛があるはずがない。そして喧嘩の折などには「ついに本性を出したな」
「あーそうかいその通りだ、俺私のためにやってるんだよ」と本音を漏らし、ピンチになるとあらゆる論理を持ち出して相
手の勢力を殺しにかかる必死さからどうやって日本人の心が美しいという命題を引き出せるのか理解に苦しむ。そして
そのような日本人の本性への絶望の上に、公認ヤクザである政府が性に合わない民主主義という虚構を作り出し、そ
の虚構の憲法法律でもって自分と人民を自虐的に縛り上げ、かろうじて社会秩序を維持しているについては悲壮的で
ある。いくら政府が結果論結果論と連呼し、俺らが工夫して縛り上げているから社会自体はそこまで悪くはないと威張
り腐ろうが、長年生きていれば、悪いものは悪いと分かるのである。いくら知恵を使って最悪な人種を縛っても、縛った
だけで土くれが金塊になるわけではない。所詮日本人は言葉も涙も全て嘘で、自分の腹が本当に痛むようなことはあ
http://d.hatena.ne.jp/yaneurao/20110808
上の記事だけだといまいちやねうらおさんが何にいらっとしたのかわかりにくいと思うので全文引用しました。
悪文の見本みたいな文章で、写してて辛かった・・・。
この文章、悪文なのもあったけどそれ以上の何かがある。
自分の思考経路をいちいちドキュメンタリー風に語る=確定した事実であるかのように扱うってのは常人ではなかなか難しいことを考えると
やはりもしドラ作者は「本物」だと思う。何の、かは知らん。
この作品をコミカライズするにあたって、ぼくが考え、また担当編集者の＋＋さんからもお願いされたのは、
「小説版と同じものにはしたくない。何か付加価値を付けたい」ということだった。
なぜなら、マンガ界ではこれまで、けっして少なくない数のヒット小説がコミカライズされてきたにもかかわらず、
そのほとんどが、なかなかパッとした結果を残せなかった、ということがあったからだ。
それらのケースにおいては、多くの場合が小説の単なる焼き直しに終わってしまっていて、
読者、とりわけ元の小説を読んだ人を満足させることには、なかなか至っていなかった。
やべー超格好いい。プロジェクトXの人の声で朗読したらアホな視聴者騙せそうな導入ですね。
「僕以外の人はみな能なしすぎてそんなこと考えたことねーだろバーカバーカ。マネジメント読んでる僕勝ち組」とでも言いたそうな感じ。そこにシビれｒ
そこで今度は、「ではどういう形で付加価値を与えていくか」ということがテーマとなったのだが、
あのスカスカ感は紙幅の関係だったのか、いや早まるな続きが書いてるぞ。
僕はもともと、これは「もしドラ」だけではないのだが、小説を書く際にはその設定であるとかキャラクターであるとかを、
かなり細かく、また深くまで練りこんでいく。
しかしながら、いざテキストとして表現する段になると、それらのものを必ずしもすべて表そうとはしない。
表すのは氷山の一角、ほんの一部だけで、それ以外はあえて捨てたり、あるいは隠したままにしておくのだ。
それは、そうすることによって物語世界により一層厚みや奥行きを与えられるということもあったし、
あるいは読者に想像する余地を残し、楽しみを提供していくという考えからでもあった。
端的に言うと、そういうふうにすると作品が面白くなるというのを知っていたのだ。
参考記事 つ http://d.hatena.ne.jp/aureliano/20080703/1215052052
例えば、主人公の川島みなみがドラッカーの「マネジメント」と出会う、この作品においては最も重要ともいえるシーンがあるのだが、
そこで両者の出会いのきっかけを作る書店員について、ぼくはその人物設定から背景、薦める理由までこと細かに考えていたにも関わらず、
それは、もちろん紙幅の関係もあるのだが、それ以上に、そうした方が小説として面白くなるということがわかっていたからなのである。
その通り、大胆に説明を省いたこのシークエンスは、「もしドラ」を象徴する何とも味わい深いシーンとなったのだけれど、
ところがこの小説の発表後、そこで予想外のことが起こった。
なんと、そのシーンを、面白い面白くない以前に、上手に理解出来ない人が、少数ではあるが現れたのである。
そのシーンを、何度読んでも「書店員がなぜその本を薦めたのか」を想像できない人が、すくなくはあるが一定数いるという事実が、
これに、ぼくは驚かされた。
彼らがそれを理解できなかったり、想像できなかったりする理由は、単に彼らの本の読み方の浅さ、拙さに起因するものなのだが、そういう人が少数ながらもいるということを、ボクは初めて知ったのである。
この人２回繰り返して言うの好きだなー。いや、３回か。
まぁコラムならいいんだけど「エースの系譜」である表現をページ内で５回繰り返してたことがあり、さすがにうんざりするので誰か注意してあげてください。
そうしてぼくは、これをゆゆしき問題であると受け取った。
本を読むのが下手というのは、何よりその人達にとって不利益である。非常にもったいない。あとちょっと上手くなれば、あるいは想像を働かす骨を覚えれば、彼らももっと面白くこのシーンを読むことができたはずなのに。それができないというのは、端的に言って可哀想である。
かかる状況は、作者としては何とかしなければならないのではないか。そうした問題が眼前に横たわっているならば、それを解決することこそがぼくの使命ではないか、そんなふうに考えるようになったのだ。
参考記事 http://d.hatena.ne.jp/aureliano/20110708/1310088660 とか http://d.hatena.ne.jp/aureliano/20080709/1215571196
そこでぼくは、小説では表現しなかった人物や設定、背景やプロっトというものを、コミカライズにあたって改めて表現することを決めたのだった。
そうして、小説を読むのが下手な少数の読者に対しては、その正しい読み方やおもしろがり方を伝授していく。
また、それ以外の上手な読み方のできる大多数の読者に対しては、いわばメイクングフィルムをお見せするような意味合いで、舞台裏を開陳していく。
参考記事 つ http://d.hatena.ne.jp/aureliano/20081130/1228031673
どうでもいいけど、「メイキングフィルムをお見せするような」と前の文で書いておいて、
「いうならばメイキングシーンをお見せするような効果が生まれる」ってどんだけ親切なんですか。
そうしてその手始めとして、まずは冒頭で、前述したみなみに「マネジメント」を紹介するという、この作品では最も重要な役割を果たす、
書店員であり、大学生の奥沢モモが登場することになったのである。このコミックでは、彼女をはじめ、ボクが小説を書く上で設定したほとんどの人物、設定、背景、プロットが順次明らかにされていく予定である。
ちなみにマンガを読んだ感想ですが、冒頭のもっとの重要なシーンの説明はやっぱりダメだと思いました。
「よくわからない」から「ダメ」になりました。大事なことなので二回言いました。
8/13 ヤマカンの人の部分を削除。
※ブログに書いたんだけど、誰も辿りつかないと思うので、ここに転載
この記事は、目標が達成のために毎日もがき苦しんでいる自分に向けて書いたものだ。あなたが同じように目標達成に苦しんでいるなら、いくらか役にたつかもしれない。
この記事（新政府の初代内閣総理大臣は建築家!?──坂口恭平）を読んで思った。
突き抜けている人の共通項は「オレのやるべきことはこれだ！」と良い意味で盲進し、そして盲信し続けられる人だ。
上の記事で紹介されている坂口恭平さんは、ホームレスの住まい（つまり段ボールハウス）の写真集を出し、現在は「新政府」の総理である。新政府は坂口さん自身が自分で勝手に作ったものだ。間違いなくヘンな人であり、突き抜けてる。
坂口氏は言う。
でもホームレスたちは自分で材料を集め、最適なサイズを見極め、住まいを作り上げていく。(中略) そんな姿にものすごく興奮したんですよ
ホームレスの住まいに興奮するという感性はもちろん素晴らしいが、そこから「オレはホームレスの住まいを撮りまくるんだ」という行動に結びつき、結果として「写真集を出す」にいたるまでその行動が持続するのがすごい。普通なら、「ホームレスの住まいはすごい！」と思っても、「写真集を出す」という結果に結実しない。
つまり、「目標達成できない人」に共通して足りないのは以下の２点ということになる。
この２つの中で特に難しいのは後者ではないだろうか。何かを始めることは比較的簡単だ。「よし、毎日英語を勉強しよう」「週に３回ウォーキングをしよう」と。しかし、それが続かないのが人間というものだ。
有名な自己啓発書にこんなことが書いてあった。
この命題は、論理的には当たり前のことを言っているだけだ。が、妙に心に響く言葉である。それは、多くの人にとって、持続することがいかに難しいかを物語っているからだろう。
「３日坊主」というくらいで、続けることは本当に難しい。「毎日○○をやる！」と決めて、それが半年間でも続いたことがいったいいくつあるだろう。半年でも続いたら成功としたとき、その成功率はいったいどれだけになるだろう。「ウォーキングをする」「１０分英語のニュースを聞く」という、原理的には誰にでもできる簡単な行動であっても、それすら続かない。
私も多くの人と同様に「継続性のない」人間に分類される。粘り強さの無さが目標達成の上で最も大きい障害のひとつだ。この障害がいかに大きいかを自覚して以来、何かを継続している人に「継続するために最も大切なことは何か？」と聞くようにしている。
その答えは千差万別だが、整理すると、以下の２点に集約できる。
まずビジョンだ。継続している人は、それをスタートしたときに、（無意識的にせよ）以下のことが明確にイメージできていることがほとんどのようだ。
ゴール、メリット、日々の活動は継続できない人も意識しているだろう。だが、本当の意味で「ビジョン化」できているだろうか？ビジョンというのはビジュアルという言葉からわかるとおり視覚からきている言葉だ。であるからには実際の映像としてイメージアップできていなければならない。
「東大合格！」と紙に書いて貼るのはいいが、自分が東大に合格したところが映像化されていなければならない。どこでどのような勉強を誰とどのくらいしているか、というイメージが視覚化されていなければならない。
※これはデザイン思考の日本の第一人者である奥出直人教授から学んだことだ。デザイン思考でも、ビジョンを構築する際に、言葉ではなくモノとしてイメージされていなければならないという。
そして、継続できない人の多くがそもそも意識していないのは3番目（マイルストーンの存在）ではないだろうか？TOEIC９００点というゴールに対して、７００点、８００点というサブゴールをいつ達成するかということを明確化しておくのは継続するためにとても大切なことだ。
そして、実はサブゴールを立てることこそが、上記の２（続けることのインセンティブが継続的に存在すること）に直結するのだ。
このことは、どうも心の性質と関係があるようだ。人間は、「達成した！」という感覚そのものが大きなインセンティブになる生き物らしい。
「この製品をデファクトスタンダードにする」という目標を立てるのはいいが、その目標に対する目の前の目標を立てることが継続の秘訣というわけだ。「プロトタイプを完成させる」「○○さんに高評価をもらうまで洗練させる」「１社に採用してもらう」「年末までに○○万円会社の口座にある」といったサブゴールを立てておこう。そしてサブゴールが達成されるごとに自分を褒めよう。いや、褒めることすら不要かもしれない。人間にとって「達成」そのものが実に大きなご褒美なのだから。
とはいえ、である。サブゴールを立てることは、いわば「テクニック」だ。そのテクニックで継続
に成功したとしても、ゴールがあなたの幸せにつながってはじめてその継続は意味を持つ。
良いゴールを立てるにはどうしたらよいか、これはまた別の記事で考えてみたい。