はてなキーワード: クイーンとは
それぞれに思い出話が弾む。私も色々子どもの頃のことを話した。
歌ったとか、家庭科の時間チョコレートの溶かし方が分からなくて
ホットプレートにそのまま乗せてしまったとか、そんな類の話だ。
ほうれん草を植えていた。ほうれん草は当時は子どもでも跨げるぐらい
「こんなに立派なほうれん草は滅多にありませんよ」と(元)先生は言い、
私たちはその葉っぱを茂らせたほうれん草の大木を背景に写真を撮った。
タイムカプセルの中には私はベビースターラーメンを入れていたのだけれど
開けてみると立派な手打ちのラーメンに変化していた。腐ってはいない。
せっかくなので持ち帰ることにした。
でもそれだけではやはり食べるには硬すぎる。一枚一枚、
丁寧に葉を毟り取る。集っている毛虫を追い払うのが難儀だった。
ちょうど花を咲かせる啓蟄の時期だったから、これもまあ仕方のないことだ。
やがて青々とした葉っぱだけがあとに残った、甘みのあるほうれん草の葉だ。
家に帰り、そのラーメンにほうれん草を添えてエグみを取り煮込んで食べる。
硬くもなく、まずまずの柔らかさだ。私は心地良い気分になった。
小学校の同窓会であってもこんなに楽しい思いが出来るのだと思った。
今度はこっそり忍び込んで、あのほうれん草でお浸しを作ってみたいものだ。
満腹になった私は満足して、それで眠ることにした。善き哉善き哉。
ディスカバリーチャンネルの番組に「世界の名軍艦TOP10」というのがある。
これは専門家の意見やファン投票を踏まえ、脅威度・兵装能力・防御力・就役期間・革新性などの項目で歴代の軍艦を独自に数値化し、ランク付けしたという内容。
ランキングは以下のとおり。
すぐ気づいたと思うが、このランキング、日本の軍艦は1隻もランクインしていないのである。
確かに、この指標で大和や武蔵がランクインしないのはまあ仕方ない(脅威度ゼロだし就役期間も非常に短いし)。
すてきなかっこで街練り歩く
ピチピチジーンズはじけそう
皮下脂肪率は50%
すっぱい臭いがその真髄
36010人並ぶ
幼稚園児さえ射程距離
モニター画面に大噴射
GO GO GO GO GO GO GO GO GO GO GO GO GO GO GO サンボ
萌えるファットに撮るファット
高い金払ってコーヒー飲んで
店員の前で奇妙な行為
乳乳尻尻うなじ鎖骨足へそ
カメ小の扱いもなれたもん
同業者を叩いてご満悦
強気になりゃいいってもんでもないぜ
300*300キャンパスに
全精力傾けエロ絵描く
それでも戦う奴等は神
2D2DTO3D
ひらぺったいあの娘今や3D
リアル女なぞもういらねえ
肉製のブスと フィギュアレディ
どっちっかっつったら シリコンボディ
こうなりゃ貫け純潔ボディ
近親相姦レッツゴー
大股開きでKOだ
やっぱり僕らはMSX
最強PCMSX
SCREEN7のスプライト
32Kのメインラム
MSX3はまだか
俺は待ってるぜ西和彦
ここにいけば何か見えてくるぜ
ヤオイの姉貴も手ほどきくれるぜ
化粧を覚えてモテ路線
取り戻せ僕らの失楽園
あのさ、私は私は私はって、増田自身のことなんかどうでもいいんだよ。
相手のことを考えろって言われてるのになんで自分語りばっかりしてるの?
もう一度言う、お前のことはどうでもいいの。
キチガイのニュースに共感するとか誰もそんなこと聞いてない。他人と会話してんのに甘えるな。
人と会話する時はその人が興味を持ちそうなことやその人の利益になりそうなことを話せ。
あと元のエントリで一番不可解だったことを指摘する。
もちろん別にアイドルや現役女子高生と結婚したいと申し上げているわけではございません。過去私が好きになった人は普通の女性だと思います。IT業界の方もいれば保育士さんもいました。しかし一度も好かれたことはありません。10回程度は失敗していると思います。
ちなみにこの調査によれば、
http://bridal-souken.net/research_news/2012/02/120201.html
既婚者および婚約中に人に「何人目の交際相手と結婚したか(するか)」を聞いたところ、男性の平均は5.0人、女性の平均は4.5人となりました。
なんで増田は恋愛経験が平均から大きく下回ってるのに「普通の女性」と結婚なんてできると思うの?
「アイドルや現役女子高生との結婚」でないかぎり、高望みではないとでも思ってる?
年収600万円で平均年収を上回ってるから平均的な女なら手に入って当然だと思ってない?
年収によって男の価値が決まるという考え方は、男性も女性も馬鹿にしてる。そのことに気づいてるのかな。
個人的には、あなたが結婚できる相手は「普通の女性」ではないと思うよ。そして、そのことを残念がったりする資格もあなたにはない。
べつにどんな女性でも喜んで受け入れろとも言わないけどね(好みがあるのは当然のこと)。
勇気を出して思いを告げてくれた相手を「エイリアンクイーン」と呼ぶあなたを、そのエイリアンクイーンさんはどう思うだろうね?
アラサーの男です。
諸事情ありまして、結婚しなければならない義務感に駆られて色々挑戦しているのですが、正直結婚できる希望がありません。
つい先日、先輩にお見合いのような形で女性を紹介していただいたのですが、帰りにLINE交換したあと即座にブロックされました。先輩からは「お前ありえない、相手に対して失礼すぎ、ネガティブすぎる」と大変厳しくお叱りを頂きました。この先輩は私の知る限り最も人間観察力があり人脈が広い人ですので、彼の仰る通り、私は女性に対して失礼でネガティブすぎるんだと思います。実際、即ブロックされましたし。
もう先輩は口も聞いてくれないだろうし一切紹介もしてくれないでしょうし、正直ショックです。いろいろ考えまして、私は以下の3点が良くないんだろうなぁと思いました。
もともとメンタルが豆腐で、いつも独り言をベラベラしゃべり、気に入らないと悪態をついて一人で怒り出すような、自分を抑える程度のメンタルもないクズ野郎だったのですが、とある人物と一緒に仕事をすることになった時に怒りで完全に精神をおかしくしてしまって、それ以来期待や希望というものが完全になくなってしまいました。始めっから自分の思い通りになんぞいくものなどない、何が起きても相手は悪くないしアタリマエのことであると考えるのです。そうすれば怒りなどありませんので無事平穏に過ごすことができるようになりました。新しいお仕事もみつかり大変よくして頂いております。しかしながらこのような希望のない思考が女性に好かれるとは到底考えられません。裏切られて精神をおかしくしないために、相手を信頼しないということですから。
私は人生30年程度生きてきまして、女性に関しましては一度も成功体験がございません。私が好きになった人に好かれたこともなければ、例外を幾つか除いて、そうでない人に好かれたこともありません。
もちろん別にアイドルや現役女子高生と結婚したいと申し上げているわけではございません。過去私が好きになった人は普通の女性だと思います。IT業界の方もいれば保育士さんもいました。しかし一度も好かれたことはありません。10回程度は失敗していると思います。
たかが10回です。既婚者の皆様には100回は失敗した人もいらっしゃるでしょう。しかし10回もどん底に突き落とされるのは豆腐メンタルの私を破壊するのに十分です。再度挑戦することはできるのですが、そのたびに前回の失敗体験が蘇り、「どうせダメだろうな」とか「どうせ相手は俺を空気以下みたいに思ってんだろうな」とか「一緒にいると申し訳ないな」とか思います。実際再度挑戦するたびに状況が悪化しています。どんどん女性に対して失礼で信頼出来ない態度になっているのだと思います。ネガティブは良くないというのも、ネガティブなことを考えているとどんどん本当にネガティブになるというのも理解はしているのですが、私は一度も成功したことがない、たったひとつの成功例もない事象を信用することは一切できない性分でして、どうにもポジティブに感じることができず大変困っております。
私は他人に対する愛情というものがよくわかりません。もちろん女性に対する性欲はございますし、両親が私を愛してくださっているのはよくわかるのですが(ツイッターをしばらくやめたら両親に本気で心配されてしまって大変申し訳無いので、近々両親のためだけに再開する予定です)、他人に対する愛情というのがわからないのです。きっと私は他人などどうでもいいのです。そういうよくわからない感情を抱くことで精神が高ぶるとせっかく平穏を取り戻したのにまたおかしくなってしまうのではないかと恐ろしいのです。冒頭の先輩にも「彼女は本気で結婚相手を考えてるんだぞ」と言われましたが正直恐怖とともに馬鹿じゃないのかと思ったぐらいであります。一緒に住むとかそういう想像がどうにもできません。結婚式で永遠の愛を誓ったりするのですが、私はとてもではないですがあんな誓いにYESと答えられません。嘘に決まっています。未来永劫死ぬまで心変わり無く愛する自信などあるわけがありません。それでも女性というのはああいうのが好きなようで、かといって自分は嘘をつけず、たいへん困っています。
二次元の女の子は大好きなのですが、それでも「〜〜〜は俺の嫁」とかいう感覚がイマイチわかりません。正直嫌です。嫁というなら、本当にあなたは死ぬまでその娘を愛し続けられるのですか?嘘ですね?無理でしょう?東方が好きだったあなた、たった数年経過した今は艦これではないでしょうか?それで嫁扱いするなど噴飯ものです。そういう感情があるのでどうにも愛情というのがよくわからないのです。
すみません、ダラダラと長くなってしまいましたが、そういったわけで私は女性と結婚する上で大変問題があります。しかしながらなんとしても結婚しないとならない理由がいくつかありますし、なによりこのまま還暦を迎えてしまうと多分孤独のせいで精神がおかしくなって人様に迷惑をお掛けすることになると思います。それだけは避けなければなりません。もちろん自殺という選択肢は極めて合理的だと思うのですが、私の豆腐メンタルではどうにも無理なのでどうかお許し下さい。
ここまで書いてたらまただいぶ陰鬱な感じになってきました。自力でどうにかできる気がしません。どうすればよいのでしょうか。ちなみに私の年収は600万円です。
大学時代から着てるSHIPSかEDIFICEを着ているが、さすがに大学生っぽさが辛くなってきた。
子供もいるし、DONITTI(ひどいタイトル)を買ってみたがいまいちピンとこない。
COENとかIVORY CORTとかセレクトショップのセカンドライン(というかお父さんライン)に移行する
この前は表紙で選んで、ふとGAINERを読んでみた。
良いスーツ着て合コンして糞高いレストランで若い女の子をたぶらかそうとしてるのに辟易した。見るんじゃなかった。
各スナップにはなぜか職業が書いてあるんだけど、商社とかマスコミ勤務とかばっかり。うへえ。
みんなドヤ顔w
この秋に出たカーディガン特集!ってあって、全部プロデューサー巻きしててワロタwwww
せめて着ろよwwww
年末に忘年会と称して友人(結婚二年目)と二人で呑むのがここ10年ほどの恒例行事だったが、今年はそれが無理な模様。
「え、無理?都合なら合わせるし、何なら年明けでもいいけど?」
「いや、その、嫁さんがさ…」
「いや、今のところそういう予定は無いんだけどさ、うちの嫁さん、俺がお前と会うのをあんまりいい顔しないんだよね」
「え、俺何かやらかした?」
「まあ聞け。こないだの連休にお前と嫁と一緒に三人でドライブ行った事あったろ」
「うん」
「うん」
「で、クイーンの『ドント・ストップ・ミー・ナウ』をふざけて二人で歌ったろ」
「あー、あったな(笑)」
「あれがまずかった」
「と、いうと?」
「まあ、何というか、俺があんまりはしゃぐから、お前に嫉妬したというか、何というか」
「…は?」
「その、とにかく察してくれ」
「…ああ、まあ、うん。分かった」
「すまん」
知人がスマホのクイズゲームのアプリをやっていた。俺を含む周囲の人間に知恵を借りようという魂胆らしく、暇だったので乗っかることにした。
音楽カテゴリで「リバプールで結成された4人組の…」と来た時点でビートルズと答えたら「うお、すげえ!」と凄く驚かれてた。
「27歳の若さでこの世を去った天才ギタリスト…」と来た時点でジミヘンと答えたら「ジミ…ジミー・ヘンドリックスかよ!略すなよ!」と突っ込まれた。
で、「イギリスのロックバンドで、ボーカルがHIVで…」と来た時点で「クイーン」と答え、次に「アメリカの女性歌手で、クイーンの曲から芸名をとった…」で「レディー・ガガ」と答えたあたりで何故か俺は「洋楽オタク」という称号を与えられてしまった。
なんだか今ひとつ釈然としない…。
最近見はじめた「ちはやふる」「ちはやふる2」がもう、なんだか心をわしづかみにして放してくれない。切なくて切なくて、見てて辛いんだけど、でも気になるし、なにしろ面白いから見ちゃうんだけど、いいかげん黙っているのが苦しくなってきたので、ここで思いの丈をぶちまけさせてください。
具体的になにがって言うと、真島部長がとってもせつないです。結論としては、真島部長はあの新しく入ってきた後輩の女の子と付き合っちゃったりすればいいと思うの。だからそこまでの紆余曲折を書きます。
千早ちゃんは恋愛とかあんま頭の中にないんです。いるよこういう子。天然なんです。。カルタのことしか頭にないの。許してあげて。そんな女の子の千早ちゃん、一つのことに一生懸命になっている千早ちゃんに惹かれる男子、真島部長、あんたは素敵な男子です。おれはあんたが好きだ。応援する。たとえ、にくまんくんとかつくえ君にあれはないなとか言われちゃっても、真島部長、あなたの純粋なおもいはとても美しい!!自分に素直にいてください。くぅ、青春だぁ…。
でも残念、千早ちゃんは天然だからね。ずっとひとときも忘れずに千早ちゃんを思っている真島部長の気持ちは、いつまでたっても届きません(断言)。そりゃー真島部長が一念発起して、千早ちゃんの両肩に手を置いて、目をまっすぐに見ながら、好きだと伝えてキスの一つでもしてやれば、そこまですりゃーまー、きゃーってな感じで、一応一般的な意味で好きらしいっていうことには気がついてもらえるかもしれませんし、そんな展開も、いや、それはそれでいいか。そんな男前の真島部長もみてみたいか!よし、いけーっ!真島ーッ!!…いやいや、そうじゃなくてですね、それは漫画の展開的にもありませんし、真島部長的にもカルタに集中している千早ちゃんにそんな無粋なアタックはしないでしょうから、あり得ないのは分かってます。でも、逆にそれくらい流れをぶった切る行動でも起こさない限り、思いが伝わらないのも、分かってるんでしょ、真島部長。あー切な。
新入生が入ってきてすぐのミーティングで、太一がA級とることが大事(のうちの一つだったわけだけど)って言われた後、自分のことに集中するようになりましたよね。自宅で部活のみんなで名人、クイーン戦を観戦している時に、千早ちゃんの言葉を聞いていながら、聞こえていないふりをしましたよね。振り回されまいと覚悟しては、気がつけば見つめていて、また覚悟しては惹かれていて…。真島部長、うふぅ~、せつない。千早ちゃんは、もうホントかるく殺意を芽生えるくらいに悪女?小悪魔系?天然だからいかんともしがたい。いや千早ちゃんは悪くないんだ。むしろそういうトコまで好きなんだ!真島部長、あなたが言っていたのは、すごく、すごーく分かります。恋なんて全然思い通りにならなくて、よくもなんともないみたいな、あれ、なんて言ってたんだっけ?忘れちゃったけど新幹線の中で言ってたそんなやつね(まぁ案の定千早ちゃんにはまったく響いてませんでしたけど、千早ちゃんったら、て・ん・ね・ん!(ハート))。だから、いいんだよね。だからこそ、いいんだよね。真島部長は千早ちゃんのことが好きだけど、それを追いかけるだけじゃなくて、ただ自分を磨いて、結果的に千早ちゃんが振り向いてくれるかもしれないけど、それはとりあえず脇に置いておいてカルタに集中すんだ!ってね。あーせつねぇ、青春だ…。おれは真島部長こそ正当派青春青年だと思うね。まぁ千早ちゃんもあれはあれで青春を謳歌してると思うけど。
はい。でも千早ちゃんは天然だから真島君のことは振り返りません(ジャジャーン)!残念!てかね。それとは別におれ一つ思うことがあるの。たぶんだけど、もしかしたらだけど、ちょっと思うのはね。真島部長は認めないと思うし、こんなこと言うのもしょうがないと思うんだけど、でもおれがここでお節介なこと言ったとしても、幸い真島部長はアニメの中の人だから夜な夜なエゴサーチとかしてないじゃん、だから言っちゃうけど、真島部長ってカルタに一生懸命な千早ちゃん、その横顔とか後ろ姿とかが好きなんじゃんないのかしらね。ちはやちゃん本人よりもっていう意味よ。いやもちろん千早ちゃん本人のこと好きなのは分かってるけどさ。で、その上でね、でも千早ちゃんカルタやってる最中は真島部長の気持ち気がつかんよ、って言いたい、もちろんそんなこと言ってもどうしようもないけれども。だって真島部長じゃなくて新君だ、とかそういうようなもんでもないわけじゃないですか。それでね、気がつくとしたらカルタ一息ついた時って可能性があるわけですけれども、つまりもう負けちゃって燃え尽きちゃったときとかに、カルタと違うものが目にはいるとかはあるかもしれませんけれども。でも、千早ちゃんのいいところってそうじゃないじゃん!今、このとき、カルタ以外目に入らないで、回りの声も聞こえないで、この世にあるのは読手の声とあたしだけみたいなそんな千早ちゃんじゃないですか!!だからさ、真島くん。そんな千早ちゃんでいるうちは千早ちゃんは振り向かないし、振り向いた時はそんな千早ちゃんじゃなくなってるってことじゃん。そんな千早ちゃん、たぶんあれよ、もちろん相変わらずすごく可愛いとは思うけど、でもちょっと違う…。分かるでしょ。あぁ、切ねぇ。
千早ちゃんはね、もうああいう子だから、無理なの、真島くんあきらめて、もうこれ以上自分を傷つけないで…(涙目)いや、いいんです、これも青春ですから、真島部長は精一杯、自分の思うとおりやればいいと思うの。あぁどうなるんですかね。どう決着をつけるんですかね。作者さんはどうしてくれるのかしら。もう目が離せないのね。どうなってもいいと思う。おれはオープニングの「離れては寄り添って」っていうところを聞くたびに切なくなるんですけど、でもね。なんていうかな。いや、真島部長・千早ちゃんハッピーエンド的なのも見てみたくないかって言われたら、そりゃー見てみたいよ。真島部長が報われる瞬間がきたらいいなぁって思います。でも、少なくともいまんとこ想像できん。まぁそんなのっていくときゃコロっていくもんだから、ころっていってもいいです。でもね、やっぱ、こういう酸っぱいのって、酸っぱいまま終わるんじゃないかな…。だからね、真島部長は千早ちゃんとの距離をたえず模索してるわけなんですけど(そして千早ちゃんはそういうのガン無視してもうすごい勢いでタオルとかなげちゃったりするんですけど。あーっくそっ!千早っ!おまえいいかげんにしろ!)、そんでそれはとっても甘く苦しい過程なんですけど、そんな揺れ揺れの青春の中でも、やっぱ時間は着実に過ぎていっているわけ。それは真島部長にとってはまずは何よりも時間だけが過ぎていってしまうという焦燥なんでしょうけれども、でも同時にみんな成長してっているってことじゃん。なにしろ真島部長が。そしたらね、これまたすっごく切ない話なんですけど、きっといつかは真島部長も千早ちゃんとの距離をうまくとれちゃう日が来ちゃうと思うんだな。なんか、あきらめるんともちがうと思うだけど、なんだろ、あれ?なんでおれ千早のことなんか必死に追いかけてたんだろ、みたいな、そういうふうにふと冷静なるときが。おほーぅ切ねぇ、見てられない…。そういうふうに、ぐふぅ、真島くんにとって、千早ちゃんが、特別じゃなくなっちゃう日が、いつかはきちゃうんじゃないかなぁって。うぅ…。そんで、それは少なくとも千早ちゃんが真島くんに気がついて振り返ることになる時よりも早く。
あぁぁぁぁぁ切ねぇー。
それでね、さいごは千早ちゃんにスポットが当たるんですけど、千早ちゃんだっていつまでもカルタバカじゃないんですよ。もちろん、ずっとカルタやってくんでしょうけど、この青臭い青春のカルタというか、ちょうどあの何だっけカルタ会のボスの知恵のあるゴリラとかひどい呼ばれようをしていた先生が、これだから高校生は目が離せないとかおっしゃっていた、その特別な時間、というのが、いつか終わりを迎えるんです。そのときに、千早ちゃんにはなにが残っているか。そこにはもちろんカルタ部の仲間が、当然真島部長だっているんだとおもうのですけれども、その時になってはじめて真島部長の存在というに気がついて…。となったとして、仮に、なったとしてですよ。仮にですよ。そのときは、もうね。真島部長は、千早ちゃんにね、振り回されてはいないんだ。そこにもう歯車はない。人生ってだいたいそういうもんじゃない?
だからね、もうおれはですよ、ちはやふるから目が離せなくなっちゃったのは、決して交わらない二人の人生(っつったら大げさだけどさ、そう見えちゃうんだよね)を見せつけられてるようで。切ねぇなぁって。もちろん、そうじゃなくて、うまい具合になんかいくのかもしれねぇ。それはそれですごくいいってか、その積んだ状態からの一手を(あれ、ここにきて将棋アニメに…)むしろ見せてくれって期待もあったりとかもするし。ただ、おれは、おれの中では、そういうのはもう絶対交わらないまま平行線ってか、平行ですらなくてねじれてるって言うか、自分の経験上そういうことになってるみたい。なんかみてて色々長い間使っていなかった感情の箱があくのな、具体的になにがあったとかじゃないんだけど。だからこっからどうなんのかなーって、興味津々。真島ぶちょー、もうさー、千早ちゃんとかいいからさ、後輩の名前忘れちゃっけど、あ、すみれちゃんか(ニラちゃんかじゃねぇよ…もう千早ちゃん最高だぜ)、あの女の子とかと付き合っちゃえばいいじゃん。別にやけでってわけじゃないんだよ。あの子だってきっとすごくいい子なんだぜ。じゃなきゃもう苦しすぎるわ。
私は、流行りのSNSとやらをわりとぞんざいに使っているので、
誰であろうと基本的には全て承認するようにしている。
そのせいか、タイムライン上にいつの間にかへんちくりんな人間がいることも多い。
今日はその一例をここに記したいと思う。
彼はプログラミングに精通しているようで、どうやら情報系の学校に通う学生らしい。
彼はよく、流行りらしい関数型言語(Haskell?)やらアセンブル言語等の話題を取り上げ、
これがああなってこうで・・・等と、恐らく的確なのであろうコメントを発する。
最近の学生は勉強熱心であり意識も高いのだな、と思わせるには十分であった。
仕事をほんの少し楽にする為のこまいスクリプト程度なら書くこともある程度での知識を持つ人間である。
そんな彼の観察を時偶に続けていたところ、
彼がとあるウェブ上のプログラミングコンテストに挑戦した、という旨の発言が目に入った。
いつも難しいアルゴリズムや先進的なコーディングについて語る彼のことだから、
さぞかし優秀な成績なのだろう、と期待してコンテストのウェブサイトにアクセスし、彼の固有名で検索にかけた。
コンテストは4つの問題が出題される形式であり、それぞれ難度に差がつけられている。
1つは中学生でもコードの書き方さえ知っていれば解けるであろう問題。
1つはFizzBuzzを基本とし、それに些細な応用を付与した問題。
1つは前述のエイトクイーン問題から更に発展させた上で、高度な数学的思考を求める問題。
彼の結果は、初問正解のみであった。
提出されたコードは、会期を過ぎると誰でも閲覧が可能になる為、
彼のコードを覗いてみることにした私は、そこで更におかしな笑いがこみ上げた。
彼は、FizzBuzzがほぼ全く書けていなかった。
それどころか、基本的なループ処理や、型の扱いが出来ておらず、
素人の私から見ても、これがちんぷんかんぷんなコードであることは一目瞭然であった。
以前、彼はHaskellの話題に言及する中で逆FizzBuzz問題についても述べていた気がする。
確かに、私もそんな事が要求される場面があれば悩むだろうな、とその記事を読み感想を覚えたが、
彼は逆FizzBuzzどころかFizzBuzzすらマトモに記述できないのである。
「圏論が出来ないヤツは将来、プログラマーとしても技術者としても失格」
「構造体同士の四則演算は全メンバに同一の演算子を適用するのかな?」
彼は、一体何なのだ?
http://sanpoapril.blog104.fc2.com/blog-entry-167.html
http://d.hatena.ne.jp/saebou/20120102/p1
Mステは原語表示の下に日本語訳がつく。CD付属のとほぼ同じ内容。
日本とかJAPANとか出てくるのは、その番組では言い替えて歌ったから。
スマスマ | 紅白 | Mステ |
---|---|---|
あなたが彼を愛そうと、キリストを愛そうと関係ない | ||
みんなで手を挙げて | ||
それがあなたの生まれ持った宿命なんだもの | ||
小さい頃 よくママが言ってた | My Mama told me when I was young 私が若い頃 ママが言ってた | |
人はみな 生まれたときはスーパースター | We are all born superstars 「みんな生まれたときからスーパースターよ」 | |
化粧台の鏡の前 | She rolled my hair and put my lipstick on 髪をまくり上げて 口紅を塗ってくれた | |
私の髪をカールし 口紅をつけながら | In the glass of her boudoir ガラス張りのブードワで | |
自分を愛するのはいいこと | "There's nothing wrong with lovin' who you are" 「ありのままの自分を愛せばいい」ママが言ったわ | |
神はあなたをパーフェクトにつくったの | She said, "Cause he made you perfect, babe." 「そのままで完璧なあなたを 神は創ったの」 | |
くよくよしないでいれば きっと成功する | "So hold your head up girl and you'll go far, 「だから顔を上げていれば 遠くまで行けるわ" | |
私の言葉を 信じなさい | Listen to me when I say" これから言うこと よく聞いて」 | |
私には自分なりの美しさがある だって神様に間違いはないから | I'm beautiful in my way Cause God makes no mistakes 自分らしいままで美しい だって神には一寸のブレもない | |
私は正しい道を進んでいる こうなるように生まれてきたの | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
後悔の殻に閉じこもらないで 自分を愛せば うまくいく | Don't hide yourself in regret Just love yourself and you're set 悔いに身を隠さないで ただ自分を愛せばそれでO.K. | |
私は正しい道を進んでいる 私はこう生まれてきた | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
ほかの生き方なんてない | Ooo there ain't no other way Ooo そのほかの道なんてない | |
こうなるように生まれてきたの | Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた | |
ほかの道はない こうして生まれてきたんだから | Ooo there ain't no other way Ooo そのほかの道なんてない | |
Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた | ||
私は正しい道を進んでいる 私はこう生まれてきたから | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
Don't be a drag, just be a queen ドラッグ・クイーンじゃなくて クイーンになればいい | ||
Don't be! なればいい! | ||
分別をわきまえて、友を愛しなさい | Give yourself prudence And love your friends 自分の体を尊重して 友だちを愛するの | |
日本のみんな、真実を喜びなさい | Subway kid, rejoice your truth 「サブウェイ・キッズ、真実を祝え」 | |
自信が持てない者達の信仰のために | In the religion of the insecure I must be myself, respect my youth 弱者のための宗教では 自分らしくいて 若さに敬意をしめす | |
私は自分を見失わず、若さを大事にする | ||
誰を愛しても、それは罪ではない | A different lover is not a sin Believe capital H-I-M (hey hey hey) 恋人が“ヘン”だからって罪にならないわ 信じて大文字の“H-I-M”(神)を | |
主なるイエスを信じなさい | ||
私は自分の人生を愛しているし、この曲も愛している | I love my life I love this record and Mi amore vole fe yah (love needs faith) この人生もこのレコードも愛してる(愛には信じる心が不可欠) | |
愛することは確信することよ | ||
私は私のままで美しい | I'm beautiful in my way Cause God makes no mistakes 自分らしいままで美しい だって神には一寸のブレもない | |
だって神様は間違えたりしないから | ||
私の生き方は間違っていない、これが私の生まれ持った宿命 | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
悲嘆に本当の自分を隠さないで | Don't hide yourself in regret Just love yourself and you're set 悔いに身を隠さないで ただ自分を愛せばそれでO.K. | |
自分自身を愛せば大丈夫 | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
私の生き方は間違っていない、これが私の生まれ持った宿命 | Ooo there ain't no other way Ooo そのほかの道なんてない | |
Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた | ||
他の生き方なんてできない | Ooo there ain't no other way Ooo そのほかの道なんてない | |
これが私の生まれ持った宿命 | Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた | |
私の生き方は間違っていない、これが私の生まれ持った宿命 | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた | |
野暮なこと言わず、女王でいればいいのよ | ぼやいてないで いっそ女王になろう | Don't be a drag, just be a queen ドラッグ・クイーンじゃなくて クイーンになればいい |
あなたが貧乏でも、お金持ちでも | 貧富の差も 肌の色も 国籍も関係ない | Whether you're broke or evergreen あなたが貧乏でも 恵まれていても |
黒人でも、白人でも、ベージュ肌でも、ラテン系でも | You're black, white, beige chola descent 黒人でも 白人でも ベージュ肌でも インディオ系でも | |
レバノン生まれでも、東洋系でも | You're Lebanese, You're Orient あなたがレバノン生まれでも 東洋系でも | |
障害を負って、仲間外れにされて、イジメられたり、からかわれても | 人生で困難があっても いじめられ からかわれても | Whether life's disabilities Left you outcast, bullied or teased 人生で障害を負って 仲間外れにされて イジメられて からかわれても |
自分を讃え、愛してあげなさい | 自分を信じ 愛してあげよう | Rejoice and love yourself today 今日いる自分を愛して そしてお祝いして |
だってそれがあなたの生まれ持った宿命だから | それがあなたの人生だから | Cause baby you we're born this way だってベイビー あなたはこの運命のもとに生まれてきた |
たとえゲイでも、ストレートでも、バイでも | 性的好みなんてどうでもいい | No matter gay, straight, or bi Lesbian, transgendered life たとえゲイでもストレートでもバイでも レズビアンでもトランス・ジェンダーでも |
レズビアンでも、性同一性障害であっても、関係ないわ | ||
私の生き方は間違ってない、ベイビー | 私は正しい道を進んでいる どんな困難も乗り越える | I'm on the right track baby I was born to survive まちがってなんかいないよ ベイビー 生きるため産まれてきた |
私は生き抜くために 生まれてきたの | ||
黒人でも、白人でも、ベージュ肌でも、ラテン系でも、東洋系でも | 肌の色や国籍なんて関係ない | No matter black, white or beige Chola or Orient made 黒人でも 白人でも ベージュ肌でも ラテン系でも 東洋系でも |
I'm on the right track baby I was born to be brave このまま進めばいい ベイビー 勇敢になるために産まれてきた | ||
そう 歌おうJAPAN! | ||
私はこのままで美しい | 私には自分なりの美しさがある だって神様に間違いはないから | I'm beautiful in my way Cause God makes no mistakes 自分らしいままで美しい だって神には一寸のブレもない |
だって神様は間違えたりしないから | ||
私の生き方は間違っていない、これが私の生まれ持った宿命 | 私は正しい道を進んでいる 私らしく生きている | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた |
自分自身を愛せば大丈夫 | 後悔の殻に閉じこもらないで 自分を素直に愛せばそれでいい | Don't hide yourself in regret Just love yourself and you're set 悔いに身を隠さないで ただ自分を愛せばそれでO.K. |
私の生き方は間違っていない、これが私の生まれ持った宿命 | 私は正しい道を進んでいる 私はこう生まれてきたから | I'm on the right track baby I was born this way このまま進めばいいのよ ベイビー 私はこの運命のもとに生まれてきた |
他の生き方なんてできない | ほかの道はない | Ooo there ain't no other way Ooo そのほかの道なんてない |
これが私の生まれ持った宿命 | こうして生まれてきたんだから | Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた |
ほかの道はない | Ooo there ain't no other way Ooo そのほかの道なんてない | |
こうして生まれてきたんだから | Baby I was born this way ベイビー 私はこの運命のもとに生まれてきた | |
I was born this way hey! 私はこの運命のもとに生まれてきた | ||
私の生き方は間違っていない、これが私の生まれ持った宿命 | 私は正しい道を進んでいる こう生まれてきたから | I'm on the right track baby I was born this way このまま進めばいい ベイビー 私はこの運命のもとに生まれてきた |
これが私の生まれ持った宿命 | 私はこう生まれてきたから | I was born this way hey! 私はこの運命のもとに生まれてきた |
私の生き方は間違っていない、これが私の生まれ持った宿命 | 私は正しい道を進んでいる こう生まれてきたから | I'm on the right track baby I was born this way hey! このまま進めばいい ベイビー 私はこの運命のもとに生まれてきた |
同じ遺伝子 |
第1章 プログラミング概念入門 1.1 計算器 1.2 変数 1.3 関数 1.4 リスト 1.5 リストについての関数 1.6 プログラムの正しさ 1.7 計算量 1.8 遅延計算 1.9 高階プログラミング 1.10 並列性 1.11 データフロー 1.12 明示的状態 1.13 オブジェクト 1.14 クラス 1.15 非決定性と時間 1.16 原子性 1.17 ここからどこへ行くのか? 1.18 練習問題 第1部 一般的計算モデル 第2章 宣言的計算モデル 2.1 実用的プログラミング言語の定義 2.1.1 言語の構文 2.1.2 言語の意味 2.2 単一代入格納域 2.2.1 宣言的変数 2.2.2 値格納域 2.2.3 値生成 2.2.4 変数識別子 2.2.5 識別子を使う値生成 2.2.6 部分値 2.2.7 変数の,変数への束縛 2.2.8 データフロー変数 2.3 核言語 2.3.1 構文 2.3.2 値と型 2.3.3 基本型 2.3.4 レコードと手続き 2.3.5 基本操作 2.4 核言語の意味 2.4.1 基本概念 2.4.2 抽象マシン 2.4.3 待機不能な文 2.4.4 待機可能な文 2.4.5 基本概念再訪 2.5 メモリ管理 2.5.1 末尾呼び出し最適化 2.5.2 メモリライフサイクル 2.5.3 ガーベッジコレクション 2.5.4 ガーベッジコレクションは魔術ではない 2.5.5 Mozartのガーベッジコレクタ 2.6 核言語から実用的言語へ 2.6.1 構文上の便宜 2.6.2 関数(fun文) 2.6.3 対話的インターフェース(declare文) 2.7 例外 2.7.1 動機と基本概念 2.7.2 例外を持つ宣言的モデル 2.7.3 親言語の構文 2.7.4 システム例外 2.8 進んだ話題 2.8.1 関数型プログラミング言語 2.8.2 単一化と内含(entailment) 2.8.3 動的型付けと静的型付け 2.9 練習問題 第3章 宣言的プログラミング技法 3.1 宣言的とはどういうことか? 3.1.1 宣言的プログラムの分類 3.1.2 仕様記述言語 3.1.3 宣言的モデルにおいてコンポーネントを実装すること 3.2 反復計算 3.2.1 一般的図式 3.2.2 数についての反復 3.2.3 局所的手続きを使うこと 3.2.4 一般的図式から制御抽象へ 3.3 再帰計算 3.3.1 スタックの大きさの増加 3.3.2 代入ベースの抽象マシン 3.3.3 再帰計算を反復計算に変換すること 3.4 再帰を用いるプログラミング 3.4.1 型の記法 3.4.2 リストについてのプログラミング 3.4.3 アキュムレータ 3.4.4 差分リスト 3.4.5 キュー 3.4.6 木 3.4.7 木を描画すること 3.4.8 構文解析 3.5 時間効率と空間効率 3.5.1 実行時間 3.5.2 メモリ使用量 3.5.3 償却的計算量 3.5.4 性能についての考察 3.6 高階プログラミング 3.6.1 基本操作 3.6.2 ループ抽象 3.6.3 ループの言語的支援 3.6.4 データ駆動技法 3.6.5 明示的遅延計算 3.6.6 カリー化 3.7 抽象データ型 3.7.1 宣言的スタック 3.7.2 宣言的辞書 3.7.3 単語出現頻度アプリケーション 3.7.4 安全な抽象データ型 3.7.5 安全な型を備えた宣言的モデル 3.7.6 安全な宣言的辞書 3.7.7 資格とセキュリティ 3.8 宣言的でない必要物 3.8.1 ファイルを伴うテキスト入出力 3.8.2 グラフィカルユーザインタフェースを伴うテキスト入出力 3.8.3 ファイルとの状態なしデータI/O 3.9 小規模プログラム設計 3.9.1 設計方法 3.9.2 プログラム設計の例 3.9.3 ソフトウェアコンポーネント 3.9.4 スタンドアロンプログラムの例 3.10 練習問題 第4章 宣言的並列性 4.1 データ駆動並列モデル 4.1.1 基本概念 4.1.2 スレッドの意味 4.1.3 実行列 4.1.4 宣言的並列性とは何か? 4.2 スレッドプログラミングの基本的技法 4.2.1 スレッドを生成すること 4.2.2 スレッドとブラウザ 4.2.3 スレッドを使うデータフロー計算 4.2.4 スレッドのスケジューリング 4.2.5 協調的並列性と競合的並列性 4.2.6 スレッド操作 4.3 ストリーム 4.3.1 基本的生産者/消費者 4.3.2 変換器とパイプライン 4.3.3 資源を管理し,処理能力を改善すること 4.3.4 ストリームオブジェクト 4.3.5 ディジタル論理のシミュレーション 4.4 宣言的並列モデルを直接使うこと 4.4.1 順序決定並列性 4.4.2 コルーチン 4.4.3 並列的合成 4.5 遅延実行 4.5.1 要求駆動並列モデル 4.5.2 宣言的計算モデル 4.5.3 遅延ストリーム 4.5.4 有界バッファ 4.5.5 ファイルを遅延的に読み込むこと 4.5.6 ハミング問題 4.5.7 遅延リスト操作 4.5.8 永続的キューとアルゴリズム設計 4.5.9 リスト内包表記 4.6 甘いリアルタイムプログラミング 4.6.1 基本操作 4.6.2 ティッキング(ticking) 4.7 Haskell言語 4.7.1 計算モデル 4.7.2 遅延計算 4.7.3 カリー化 4.7.4 多態型 4.7.5 型クラス 4.8 宣言的プログラムの限界と拡張 4.8.1 効率性 4.8.2 モジュラ性 4.8.3 非決定性 4.8.4 現実世界 4.8.5 正しいモデルを選ぶこと 4.8.6 拡張されたモデル 4.8.7 異なるモデルを一緒に使うこと 4.9 進んだ話題 4.9.1 例外を持つ宣言的並列モデル 4.9.2 さらに遅延実行について 4.9.3 通信チャンネルとしてのデータフロー変数 4.9.4 さらに同期について 4.9.5 データフロー変数の有用性 4.10 歴史に関する注記 4.11 練習問題 第5章 メッセージ伝達並列性 5.1 メッセージ伝達並列モデル 5.1.1 ポート 5.1.2 ポートの意味 5.2 ポートオブジェクト 5.2.1 NewPortObject抽象 5.2.2 例 5.2.3 ポートオブジェクトに関する議論 5.3 簡単なメッセージプロトコル 5.3.1 RMI(遠隔メソッド起動) 5.3.2 非同期RMI 5.3.3 コールバックのあるRMI(スレッド使用) 5.3.4 コールバックのあるRMI(継続のためのレコード使用) 5.3.5 コールバックのあるRMI(継続のための手続き使用) 5.3.6 エラー報告 5.3.7 コールバックのある非同期RMI 5.3.8 二重コールバック 5.4 並列性のためのプログラム設計 5.4.1 並列コンポーネントを使うプログラミング 5.4.2 設計方法 5.4.3 並列性パターンとしての機能的構成要素 5.5 リフト制御システム 5.5.1 状態遷移図 5.5.2 実装 5.5.3 リフト制御システムの改良 5.6 メソッド伝達モデルを直接使用すること 5.6.1 1つのスレッドを共有する複数のポートオブジェクト 5.6.2 ポートを使う並列キュー 5.6.3 終点検出を行うスレッド抽象 5.6.4 直列依存関係の除去 5.7 Erlang言語 5.7.1 計算モデル 5.7.2 Erlangプログラミング入門 5.7.3 receive操作 5.8 進んだ話題 5.8.1 非決定性並列モデル 5.9 練習問題 第6章 明示的状態 6.1 状態とは何か? 6.1.1 暗黙的(宣言的)状態 6.1.2 明示的状態 6.2 状態とシステム構築 6.2.1 システムの性質 6.2.2 コンポーネントベースプログラミング 6.2.3 オブジェクト指向プログラミング 6.3 明示的状態を持つ宣言的モデル 6.3.1 セル 6.3.2 セルの意味 6.3.3 宣言的プログラミングとの関係 6.3.4 共有と同等 6.4 データ抽象 6.4.1 データ抽象を組織する8つの方法 6.4.2 スタックの変種 6.4.3 多態性 6.4.4 引数受け渡し 6.4.5 取り消し可能資格 6.5 状態ありコレクション 6.5.1 インデックス付きコレクション 6.5.2 インデックス付きコレクションを選ぶこと 6.5.3 その他のコレクション 6.6 状態に関する推論 6.6.1 不変表明 6.6.2 例 6.6.3 表明 6.6.4 証明規則 6.6.5 正常終了 6.7 大規模プログラムの設計 6.7.1 設計方法 6.7.2 階層的システム構造 6.7.3 保守性 6.7.4 将来の発展 6.7.5 さらに深く知るために 6.8 ケーススタディ 6.8.1 遷移的閉包 6.8.2 単語出現頻度(状態あり辞書を使用する) 6.8.3 乱数を生成すること 6.8.4 口コミシミュレーション 6.9 進んだ話題 6.9.1 状態ありプログラミングの限界 6.9.2 メモリ管理と外部参照 6.10 練習問題 第7章 オブジェクト指向プログラミング 7.1 継承 7.2 完全なデータ抽象としてのクラス 7.2.1 例 7.2.2 この例の意味 7.2.3 クラスとオブジェクトを定義すること 7.2.4 クラスメンバ 7.2.5 属性を初期化すること 7.2.6 第1級メッセージ 7.2.7 第1級の属性 7.2.8 プログラミング技法 7.3 漸増的データ抽象としてのクラス 7.3.1 継承グラフ 7.3.2 メソッドアクセス制御(静的束縛と動的束縛) 7.3.3 カプセル化制御 7.3.4 転嫁と委任 7.3.5 内省 7.4 継承を使うプログラミング 7.4.1 継承の正しい使い方 7.4.2 型に従って階層を構成すること 7.4.3 汎用クラス 7.4.4 多重継承 7.4.5 多重継承に関するおおざっぱな指針 7.4.6 クラス図の目的 7.4.7 デザインパターン 7.5 他の計算モデルとの関係 7.5.1 オブジェクトベースプログラミングとコンポーネントベースプログラミング 7.5.2 高階プログラミング 7.5.3 関数分解と型分解 7.5.4 すべてをオブジェクトにすべきか? 7.6 オブジェクトシステムを実装すること 7.6.1 抽象図 7.6.2 クラスを実装すること 7.6.3 オブジェクトの実装 7.6.4 継承の実装 7.7 Java言語(直列部分) 7.7.1 計算モデル 7.7.2 Javaプログラミング入門 7.8 能動的オブジェクト 7.8.1 例 7.8.2 NewActive抽象 7.8.3 フラウィウス・ヨセフスの問題 7.8.4 その他の能動的オブジェクト抽象 7.8.5 能動的オブジェクトを使うイベントマネージャ 7.9 練習問題 第8章 状態共有並列性 8.1 状態共有並列モデル 8.2 並列性を持つプログラミング 8.2.1 さまざまな手法の概観 8.2.2 状態共有並列モデルを直接使うこと 8.2.3 原子的アクションを使うプログラミング 8.2.4 さらに読むべき本 8.3 ロック 8.3.1 状態あり並列データ抽象を構築すること 8.3.2 タプル空間(Linda) 8.3.3 ロックを実装すること 8.4 モニタ 8.4.1 定義 8.4.2 有界バッファ 8.4.3 モニタを使うプログラミング 8.4.4 モニタを実装すること 8.4.5 モニタの別の意味 8.5 トランザクション 8.5.1 並列性制御 8.5.2 簡易トランザクションマネージャ 8.5.3 セルについてのトランザクション 8.5.4 セルについてのトランザクションを実装すること 8.5.5 トランザクションについてさらに 8.6 Java言語(並列部分) 8.6.1 ロック 8.6.2 モニタ 8.7 練習問題 第9章 関係プログラミング 9.1 関係計算モデル 9.1.1 choice文とfail文 9.1.2 探索木 9.1.3 カプセル化された 9.1.4 Solve関数 9.2 別の例 9.2.1 数値例 9.2.2 パズルとnクイーン問題 9.3 論理型プログラミングとの関係 9.3.1 論理と論理型プログラミング 9.3.2 操作的意味と論理的意味 9.3.3 非決定性論理型プログラミング 9.3.4 純粋Prologとの関係 9.3.5 他のモデルにおける論理型プログラミング 9.4 自然言語構文解析 9.4.1 簡単な文法 9.4.2 この文法に従う構文解析 9.4.3 構文木を生成すること 9.4.4 限定記号を生成すること 9.4.5 パーサを走らせること 9.4.6 パーサを「逆向きに(backward)」走らせること 9.4.7 単一化文法 9.5 文法インタプリタ 9.5.1 簡単な文法 9.5.2 文法のコード化 9.5.3 文法インタプリタを走らせること 9.5.4 文法インタプリタを実装すること 9.6 データベース 9.6.1 関係を定義すること 9.6.2 関係を使って計算すること 9.6.3 関係を実装すること 9.7 Prolog言語 9.7.1 計算モデル 9.7.2 Prologプログラミング入門 9.7.3 Prologプログラムを関係プログラムに翻訳すること 9.8 練習問題 第2部 特殊化された計算モデル 第10章 グラフィカルユーザインタフェースプログラミング 10.1 宣言的/手続き的方法 10.2 宣言的/手続き的方法を使うこと 10.2.1 基本的ユーザインタフェースの要素 10.2.2 GUIを構築すること 10.2.3 宣言的座標 10.2.4 リサイズ時の宣言的振る舞い 10.2.5 ウィジェットの動的振る舞い 10.3 対話的学習ツールPrototyper 10.4 ケーススタディ 10.4.1 簡単なプログレスモニタ 10.4.2 簡単なカレンダウィジェット 10.4.3 ユーザインタフェースの動的生成 10.4.4 状況順応時計 10.5 GUIツールを実装すること 10.6 練習問題 第11章 分散プログラミング 11.1 分散システムの分類 11.2 分散モデル 11.3 宣言的データの分散 11.3.1 オープン分散と大域的ネーミング 11.3.2 宣言的データを共有すること 11.3.3 チケット配布 11.3.4 ストリーム通信 11.4 状態の分散 11.4.1 単純状態共有 11.4.2 分散字句的スコープ 11.5 ネットワークアウェアネス 11.6 共通分散プログラミングパターン 11.6.1 静的オブジェクトとモバイルオブジェクト 11.6.2 非同期的オブジェクトとデータフロー 11.6.3 サーバ 11.6.4 クローズド分散 11.7 分散プロトコル 11.7.1 言語実体 11.7.2 モバイル状態プロトコル 11.7.3 分散束縛プロトコル 11.7.4 メモリ管理 11.8 部分的失敗 11.8.1 失敗モデル 11.8.2 失敗処理の簡単な場合 11.8.3 回復可能サーバ 11.8.4 アクティブフォールトトレランス 11.9 セキュリティ 11.10 アプリケーションを構築すること 11.10.1 まずは集中,後に分散 11.10.2 部分的失敗に対処すること 11.10.3 分散コンポーネント 11.11 練習問題 第12章 制約プログラミング 12.1 伝播・探索法 12.1.1 基本的考え方 12.1.2 部分情報を使って計算すること 12.1.3 例 12.1.4 この例を実行すること 12.1.5 まとめ 12.2 プログラミング技法 12.2.1 覆面算 12.2.2 回文積再訪 12.3 制約ベース計算モデル 12.3.1 基本的制約と伝播子 12.3.2 計算空間の探索をプログラムすること 12.4 計算空間を定義し,使うこと 12.4.1 深さ優先探索エンジン 12.4.2 検索エンジンの実行例 12.4.3 計算空間の生成 12.4.4 空間の実行 12.4.5 制約の登録 12.4.6 並列的伝播 12.4.7 分配(探索準備) 12.4.8 空間の状態 12.4.9 空間のクローン 12.4.10 選択肢を先に任せること 12.4.11 空間をマージすること 12.4.12 空間失敗 12.4.13 空間に計算を注入すること 12.5 関係計算モデルを実装すること 12.5.1 choice文 12.5.2 Solve関数 12.6 練習問題 第3部 意味 第13章 言語意味 13.1 一般的計算モデル 13.1.1 格納域 13.1.2 単一代入(制約)格納域 13.1.3 抽象構文 13.1.4 構造的規則 13.1.5 直列実行と並列実行 13.1.6 抽象マシンの意味との比較 13.1.7 変数導入 13.1.8 同等性の強制(tell) 13.1.9 条件文(ask) 13.1.10 名前 13.1.11 手続き抽象 13.1.12 明示的状態 13.1.13 by-need同期 13.1.14 読み出し専用変数 13.1.15 例外処理 13.1.16 失敗値 13.1.17 変数置き換え 13.2 宣言的並列性 13.2.1 部分停止と全体停止 13.2.2 論理的同値 13.2.3 宣言的並列性の形式的定義 13.2.4 合流性 13.3 8つの計算モデル 13.4 よくある抽象の意味 13.5 歴史に関する注記 13.6 練習問題