 
|
はてなキーワード: 時計とは
さっきこんなの読んだ。
これはすごい！人生がときめく「チェックリスト」7つの魔法！！ | No Second Life
http://www.ttcbn.net/no_second_life/archives/20174
だってこの人わざわざdomo ToDo+で持ち物リストを作って、
お出掛け前にわざわざiPhone引っ張り出して確認してるらしい。
見るの忘れてわざわざ駅でリップをかったこともあるとか。
どこのどなたかさっぱり知らんのだけど、
普段持って歩くものくらいスッと思い出せないもんかね。
昔の人は出かける前に「鳩が豆食ってパッ！」ってやってたよね。
ハンカチ、時計、がま口、万年筆、眼鏡、櫛(?)、手帳、パッ！
だったよね（最後のパッ！て何ですか？）。
うちの父ちゃんもよくやってたなぁ。
たぶんこうやって持ち物確認してる人って結構いると思うんだよね。
すげー洒落たやつとか、すげーイケてるやつとか、すげーシュールなやつとか。
そういうの知ってる人は #hatomame つけてつぶやいて欲しいっす。
どうやら村上は、この本のアメリカ版をそのとき初めて目にしたらしい。
日本では『1Q84』は2年を掛けて3巻に分かれて発表された（村上は2巻目で一度終わりにしたが、一年後にもう数百ページ付け足したのである）。
アメリカでは、一巻のモノリスとして組まれ、秋の読書イベントに発表が設定された。
YouTube ではきらびやかなトレーラームービーを見ることができ、
一部の書店では発売日10月25日に深夜営業が予定されている。
Knopf は英語訳を急がせるため、二人の訳者に手分けして翻訳をさせた。
村上にこれほど長い作品を書くつもりがあったかと尋ねると、なかったという。
これほど長くなることが分かっていれば、書き始めなかったかもしれないともいう。
彼はタイトルや冒頭のイメージ（この作品の場合は両方だった）が浮かんだ時点で、机の前に座り、
毎朝毎朝、終わるまで書きつづけるのである。
といっても、この大作はごく小さな種から生まれた。
村上によれば『1Q84』は、人気を博した彼のショートストーリー『四月のある晴れた朝に100パーセントの女の子に出会うことについて』（英語版では5ページ）を増幅させたものに過ぎないという。
「基本的には同じなんだ」と彼は言う。
「少年が少女に出会う。別れてしまった後、二人は互いを探し合う。単純な物語だ。それを長くしただけ」
筋書きを要約することすら、少なくともこの宇宙で人間言語をもって雑誌の1記事で書くとすれば不可能だ。
青豆という少女が、タクシーに乗って東京の周縁に掛かる高架の高速道路を行く。
そこで渋滞に巻き込まれ、身動きがとれなくなる。
チェコスロバキアの作曲家レオシュ・ヤナーチェクの「シンフォニエッタ」だ。
「渋滞に巻き込まれたタクシーの中で聴くのにうってつけの音楽とは言えないはずだ」と村上は書く。
運転手は青豆に変わった迂回路を提案する。
高架高速道路には非常用脱出口が設置されている、そして、普通の人には知られていない脱出口への階段がある、と彼は言う。
本当に絶望しきっているのであれば、そこから地上に降りることもできる。
青豆が考えていると突然、運転手が村上一流の警告を口にする。
「見かけにだまされないように」と彼は言う。
降りていけば、彼女にとっての世界は根底から変わってしまうかもしれない、と。
そしてわずかではない違いとして、月がふたつあった（ちなみに彼女が遅刻した約束というのは暗殺の約束であったことが明らかになる）。
そしてその世界にはリトル・ピープルと呼ばれる魔法の種族がいる。
彼らは死んだ盲の羊の口（詳しく書くと長くなる）から生まれ、オタマジャクシの大きさからプレーリードッグの大きさにまで育ち、「ホーホー」と合唱しながら空中から透明な糸を紡ぎだして「空気さなぎ」と呼ばれる巨大なピーナッツ型のまゆを作る。
この本ではなかばあたりまで、このように浮世離れしたした超自然的ガジェット（空中に浮かぶ時計、神秘的なセックス麻痺など）が繰り出されてくるので、
私は行間にエクスクラメーションマークを置きたくなった。
この数十年、村上は自身が「本格小説」と位置づけるものを書こうとしていると言い続けてきた。
一例として彼は『カラマーゾフの兄弟』を挙げて目標にしている。
その試みこそが、三人称の幅広い視点から描かれた巨大小説『1Q84』であるように思われる。
怒り、暴力、惨事、奇妙なセックス、奇妙な新現実を抱えた本であり、
偶然ぶつかることになってしまった悲劇にも関わらず（あるいはその悲劇のなかでこそ）、
ひとりの人間の脳に詰め込まれた不思議を提示して、本書は読者を驚嘆させる。
驚きを覚える本の数々をこれだけ読んだあとでもなお、私は村上の本で驚かせられた。
そのこと自体が驚きだったと村上に伝えると、彼はいつものようにそれを受け流し、
自分の想像力を入れたつまらない花瓶でしかない、と言い張った。
「リトル・ピープルは突然やってきた」という。
僕は物語の虜だった。選択したのは僕ではなかった。彼らが来て、僕はそれを書いた。それが僕の仕事」
明晰夢を見ることがあるかと尋ねると、
覚えていられたことはない、という。
目覚めたときには消えている、と。
ここ数年で覚えていられた夢は一度だけ、それは村上春樹の小説のような繰り返す悪夢だったという。
その夢の中で、影のような未知の人物が「奇妙な食べ物」を料理してくれていた。
食べたいとは思わないが、夢のなかでは彼はそれに興味をひかれていて、まさに一口入れようというとき目が覚めた。
2日目、村上と私は彼の車の後部座席に乗り込み、彼の海辺の家へ向かった。
運転したのはアシスタントの一人である身ぎれいな女性で、青豆よりわずかに若かった。
私たちは東京を横切り、青豆が『1Q84』で運命的な下降をした高架高速道路の本物へと向かった。
カーステレオではブルース・スプリングスティーンがカバーした「Old Dan Tucker」がかけられていた。
車中で、村上は冒頭のシーンを思いついたときに考えていた緊急脱出口のことを持ち出した（青豆と同じように実際に渋滞に巻き込まれていたときにそのアイデアを思いついたという）。
実際の高速道路で、小説中であれば青豆が新世界に向けてくだっていったであろう場所を正確に特定しようとしたのである。
「彼女は用賀から渋谷に行こうとしていた」車窓をのぞきながら彼はいう。
「だから多分このあたりのはずだ」
と言ってこちらを向いて念を押すように
「それは現実じゃないけれど」
と付け加えた。
それでも、彼は窓の方に戻って実際に起こった出来事を話すように続きを語った。
キャロットタワーと呼ばれる、およそ巨大なネジが刺さった高層ビルのような建物の前を通り過ぎた。
村上はそこでこちらを向いて、もう一度思いついたように、
「それは現実じゃないけれど」と言った。
日本に滞在した5日間のあいだ、私は村上の東京にいたときとは違って、実際の東京で落ち着くことができなかった。
村上の東京、それは本物の東京を彼の本というレンズで見たときの姿だ。
客席の上の方で二塁打が打たれるたびに注目した（私がもらった天啓にもっとも近いものは、枝豆を喉につかえさせて窒息しかけたことだった）。
また、私はローリングストーンズの「Sympathy for the Devil」とエリック・クラプトンの2001年のアルバム「Reptile」をかけながら、神宮外苑という村上お気に入りの東京ジョギングルートをゆっくりと走った。
私のホテルは新宿駅に近い。そこは『1Q84』でも重要な役割を果たす、交通機関のハブ的な場所だ。
登場人物たちが好んで使う集合場所、中村屋で私はコーヒーを飲み、カレーを食べた。
そしてフレンチトーストとタピオカティーの向こうで東京人たちが交わす会話に耳をひそめた。
そうしてうろつくあいだに、村上小説が極度に意識しているものごと、すなわち、偶然かかる音楽、上昇と下降、人々の耳の形といったものを、私も極度に意識するようになった。
実際、彼の小説中の説明をもとにして料理本を出版した人もいるし、
登場人物が聞いた音楽のプレイリストをオンラインでまとめている読者もいる。
村上は、明らかに喜んだ様子で韓国のある会社が西日本への『海辺のカフカ』旅行を企画したこと、
ポーランドの翻訳者が『1Q84』をテーマにした東京旅行のガイドブックを編集していることを教えてくれた。
村上は読者から彼が生み出したものを現実世界で「発見」したという便りを受け取ることがよくあるという。
たとえば、彼が作り出したと思っていたレストランや店が東京に実際ある、など。
ドルフィンホテルというのは『羊をめぐる冒険』で村上が生み出したものだが、札幌にはそれが複数ある。
『1Q84』の発表後、ありえない名字として作り出したつもりだった「青豆」という名字の家族から、村上は便りを受け取ったという。
ここでの要点と言えるのは、現実に漏れ出す虚構、虚構に漏れ出す現実というものが、
村上の作品についてはほとんどの場合、作品そのものだということだ。
作家活動の初期には、「日本人という呪い」から逃れようとしているとさえ語った。
その代わり、十代の若者として、西洋の小説家の作品を貪ることによって、文学の感受性を培った。
その中にはヨーロッパの古典（ドストエフスキー、スタンダール、ディケンズ）もあったが、
彼が生涯を通して繰り返し読んだのは、とりわけ20世紀のアメリカのある種の作家たち、
レイモンド・チャンドラー、トルーマン・カポーテ、F. スコット・フィッツジェラルド、リチャード・ブローティガン、カート・ヴォネガットなどだ。
処女作に取りかかったとき、村上は奮闘し、標準的でない解決法に行き当たった。
そうやって自分の声を獲得したと彼は言う。
第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 練習問題
188 名前：名無しさん＠涙目です。(島根県)[sage] 投稿日：2011/11/04(金) 18:51:42.77
まずポテトL塩なしを頼む。すると「お時間かかりますがよろしいですか？」って聞かれるから「えっ？どのくらいかかるの？え？10分？なげーな！！(しかめっ面で)・・・まぁいいよ」と了承する。
で、時計を気にしつつ貧乏揺すりして明らかにイライラしてる感じを醸し出し「まだ？遅くない？早くしてよ！！」と言い出す。
すると、「これ、サービスですが」って大抵ジュースをくれる。で、まぁ出来上がるまで待つ。
出来上がって呼ばれたら「あ、やっぱ塩かけて。あとケチャップ5個ね。」と注文。ポテトを受け取ったらポテトの入れ物をトントンしてちゃんと中身が沢山入ってるかチェック。
■自室
母「入るよー」
「？！」
-
■何かが見つからない時
「時計見なかった？」
母「見てない このへんじゃない？（探しだす）」
「あ、いいよ、探さなくて」
母「だいだいいつも同じ場所に置かないからﾌﾞﾂﾌﾞﾂ（探してる）」
「（聞いていない……）」
※しばらくして母が見つける
母「もう、テレビも落ち着いて見れないじゃない」
-
■特技を書いて下さい
「（思い浮かばない……）」
母「適当に書けばいいのに」
「うーん……あ、子供に好かれる、かも」
本心で何思ってるかなんて分からないんだし簡単な気持ちでそんなこと言って云々」
母「子供なんてねえ……」
母「あんたは子供に好かれると思ってるかもしれないけど実際どうだか……」
「分かった。ごめんなさい。やめとく」
母「そうだね、その方がいいね」
-
同級生の持ってる時計の高さに引いた
時計の金額を見ていると婚期逃すよ、と２ちゃんで揶揄されてたけど
同姓の俺が見てもそうなのかなあ
それに比べ俺は給料も増えず、彼女も大学卒業後０、家は無く、車のローンで四苦八苦
ほんのちょっとの差がここまで差がつくかー
どんだけ薄給でも都会にしがみついていたらチャンスが広がっていたのかな？
それはあなたの意思と努力と能力の無いせいだよと言われたら何も言えない
でもそんな強くないよ
今はそんな事する余裕全く無いや
日々の仕事に追われ、日々のストレスに苛まれ、日々ただ過ごすだけ。
年に一度、毎回同期と会うけど、その度にボロボロにされる
昔はそんな俺を弄ってくれて、お前努力家だし、すぐにこっちのステータスに来れる来れる！、とか言ってくれたけど
最近はもう腫れ物に触るかの扱い
大体、会話のレベルについていけない
俺はそんな大層な仕事がある職場でないから、自分を道化にしてなんとか笑いを取っている
いいやつらだし、この縁はずっと続けたいと思っているけど
先日、オタな友人が人生初の合コンに行くことになり、僕はその友人から「見た目を改造(俗に言う脱オタ)したい」との相談を受けました。
(というのも、かくいう僕自身が(自称)脱オタ歴9年であり、見た目改造に関して、色々と試行錯誤してきたからです。)
今回、友人の見た目改造計画が、思いのほか成功を収めたので、その記念に方法をまとめてみることにしました(僕なんかがファッションや脱オタを語るのは10年早いですがご容赦ください)。
行動に移しやすいように、方法はできるだけ具体的になるように心がけたつもりです。脱オタを目指す方に少しでも参考になれば、(あるいは、目指し始めるきっかけになれば、)幸いです。
さて、見た目改造(脱オタ)では、服装改造と髪型改造が2大要素となりますが、ここでは服装改造方法に絞ってまとめようと思います。
これから具体的な戦略説明に移ります。が、その前に、1点だけ事前説明させてください。
紹介する服装は、2chの某板住人や、あなたの周りの本物のおしゃれさんには、笑われるかもしれません (セレオリ(笑)、大学デビュー(笑)とか)。
でもOKです。目指す方向は、あくまで無難。僕達は、服にはこだわりが無い人なのですから。
むしろ、今回ターゲットとする女性がどう思うかが大事です。その点、今回ターゲットとする女性は、そこまで気にしないと断言できます。下手すれば、オシャレさんと勘違いされる可能性だってあります。
セレクトショップと呼ばれるお店で買いましょう。ユニクロとブランド品の中間くらいの服を扱っているお店と思ってください。セレクトショップとしては、ユナイテッドアローズ(United Arrows)、シップス(SHIPS)あたりが有名です。
セレクトショップは、駅ビル型ショッピングセンター、例えば、ルミネの中に入っています(新宿駅だと、東南口のルミネやFLAGSあたり)。
セレクトショップに入ると、店員が話しかけてきます。臆せず「XXを探してるんですが、良いのありますか」と聞いてみましょう。（持論ですが、脱オタにおいて、店員のセンスを借りることは重要だと思います。）
「無難で合わせやすいもの」をおすすめしてもらえば、ハズレは無いでしょう。もし、すすめられたものが、よくわからなかったら、「検討します」とか「あとでまた来ます」と言って逃げましょう。
相手から見えない部分は、お金をかけても無駄なので、極力ケチりましょう。ユニクロや無印良品で購入すれば十分でしょう。ユニクロなら肌触りも良いので一石二鳥です。
まず、肌着の選び方です。 肌着はシャツの下に着るインナーとして使います。肌着は、ユニクロのVネックシャツ(無地)を買いましょう。色は、ピンク、黒、グレーあたりが良いでしょう。
肌着は、極力外から見えないようにしてください(そのためのVネックでもあります)。もし見えてしまう場合、肌着の色が、シャツや上着の色と同じにならないようにしてください。
次に、靴下です。靴下は黒系のくるぶしソックスを買いましょう。
最後に、下着(パンツ)と、ベルトは、正直、何でも良いです(つまり、新たに買う必要は無いです)。相手に見えないように気をつけさえすれば。
アクセサリー類(ネックレスや指輪、ブレスレット)などは、仮に持っていたとしても、身につけないほうが良いです。センスの良い代物なら良いんですが、少しでもダサい要素があると、それだけで相手の減点対象になります。逆効果になるくらいなら、つけないほうが無難です。時計やバッグ、財布、眼鏡も同様です。ブランド品だったり、強いこだわりがあったりしない限り、家に置いてくるのが良いでしょう。
とはいえ、バッグ、財布、眼鏡については、身につけていないと無いと困るという方も少なく無いと思います。その場合には、以下の対応を取るのが良いでしょう。
今回紹介した方法では、服装だけで合計予算\60000とコストはかかります。それでも、かけたコストに見合った価値は得られると思います。
実際、冒頭の友人は、この方法で、無事見た目改造をし、合コンに参加した女子から、「爽やか系男子」の称号を得ることができました(後日こっそり聞いた話によると)。
また、友人は見た目改造で自信を持ったらしく、普段は奥手な友人が、合コンでは驚くほど饒舌となり、 本人的にも楽しいひとときを過ごせたようです(外面の変化が内面にも、好影響をもたらしたようです)。
以上です。みなさまが実りある秋を過ごすきっかけになればうれしいです。拙文を最後までいただき、ありがとうございました。
自分の文章を晒す訓練として、駄文を垂れ流しただけだったので、正直ここまで反応いただけると思っていませんでした。(少々戸惑っています。)
自分の考えに対して、率直なご意見をいただく機会はあまりないため、非常に勉強になりました。(厳しいご意見は、正直胃にくるのですが、どれもおっしゃるとおりだと思いました。)
反応・コメントくださった方に感謝いたします。
いただいたいくつかのコメントに対して、追記させて頂きます。(また長くなってしまうのですが)
もっともなご意見だと思います。ただし、今回の方法は、ある程度お金をかけることも重要なポイントです。
こちらもごもっともです。僕自身、最近はチノパンを履くことが多く、ジーンズはめったに履きません。
でも、個人的に最初のうちはどうもチノパンを使うのに抵抗があった(難しかった)ため、今回はジーンズを挙げています。以下、理由です。
髪型や眉毛も重要な要素ですが、服装よりも失敗のリスクが高い気がします。そのため、今回は服装について買いました。
ただ、個人的には、ワックスの使い方やら紙質で相当悩んだので、機会があれば、そのあたりを含めてまた書いてみたいと思います。(戦略自体は服とだいたい同じですが。)
どなたかがコメントしていたのですが、服装を検討する上では、僕の文章よりも、それに対する他の方のコメントをご覧になったほうが、参考になると思います。(色々、勉強になりました。)
http://anond.hatelabo.jp/20110922220106
とワクワクして画像開いてずっこけそうになった。
まさか「この画像で街の天候を把握できる（ｷﾘｯ）」とか言い出すんでちゅかああ？
そもそもその画像がどういう意味で何に使う画像なのかわかってるんでちゅかああああああ？？？？
まーさーかー
ペロッと大嘘ぶっこいたら突っ込まれて後に引けなくなった件のブコメの人（調べたらspring-rollさんって言うのかー へーｗ）が
必死にネットで「なんかないかなんかないか」って探し回った挙句
「これだ！」って会心の笑みで戻ってきたんじゃないよね？
まさかね？
確証もないのにそこまで想像しちゃ悪いよねｗ
（一応補足）
ものすごくたくさん人居たんだし時計と空を交互に睨んでた人も相当数いるんだから
こんなもん聞き取りすればするほどどっちがほんとか明らかになるんだけど
引きずっちゃってほんとにいいの？ｗ
俺がこの人ならもうこっそりフェイドアウトするけどなあああああｗ
定位置に人がいればへこみ、いなければ喜び
同じ歩数で会社まで歩き、
昼になれば同じものを咀嚼し、昼飯が終わればいつもの飲み物を買いに、いつも同じ時間にコンビニに行き
いつもと同じ店員に会計をしてもらいながらいつもありがとうございますと言われもうやめようと思いながらも翌日も同じことを繰り返し、
大体決まった時間にトイレ休憩をとり、退社をし、いつもの位置から電車に乗り、
いつもの棚にいつもの商品が置いてあることを確認して喜び、なければかなしみ、だが買わずに帰り、
いつも同じ夕飯を食べ、時々違うものを作って失敗し、もう二度とやるものかと思う
それから同じ習慣を繰り返し、決まった時間に風呂に入り、上がり、
明日遅刻する不安におびえながら目覚まし時計をセットし、眠れない夜を過ごし、
浅い眠りの中で遅刻する不安に目が覚め夜であることに安心し、また眠り、目が覚め、眠り、目が覚め、鳴り出した時計を止め、
同じ毎日を繰り返す
そういう生活を
私は
送りたいわけじゃない
私は、誰の教師に就くか、選ぶ権利はなかった。
私にとっては、ハングルを学ぶ意思はない。意思はないが、拒否はできない。これはハラスメントの一種だ。
何も朝鮮半島との史的交流を学ばせるな、と言っているのではない。
たとえば簡単な話、日本史の授業で、なぜハングルを学ばせるのか、足る理由があるというなら、呈示してほしい。
断っておくが、これは嫌韓やレイシズムに起因するものではない。
たとえば隠れキリシタンを始めとした日本におけるキリスト教受容の歴史を学んで、じゃあ『どちりなきりしたん』や『こんてむつすむんぢ』を読んでみましょうとゲラ刷りのプリントを渡されたって、当時の私からすれば、等しく嫌だっただろう。
江戸時代の科学史として、和算やエレキテル、万年時計などなどを深く説明されたって、机に突っ伏していたはずだ。
だから、そういうことをどうしても教師が教えたいなら、カリキュラムを変えてほしい。公教育レベルで、教師自らが先んじて行動して、変えてほしい。学生に、選択権を与えてほしい。それが生徒にとり得心のゆく行動ならば、生徒も主体的に動くだろう。
その実現した成果の上で、ハングルだ、隠れキリシタンだ、世界水準の数学者だ、と教えたいだけ教えればいい。
現状の教育システムなら、どちらになびこうが犠牲になるのは生徒だ。「ちょっと偏ってたほうが面白いだろ」などと馬鹿げたことを言うな。新聞購読するのとは話が違うんだぞ。
横浜の県立高校 女性教諭が日本史授業でハングル指導 「朝鮮人虐殺現場」見学企画も＋（1/2ページ） - MSN産経ニュース
http://sankei.jp.msn.com/life/news/110825/edc11082502070000-n1.htm
iPhone3GSのホームボタンの調子がここしばらくすこぶる悪いので、
（音声コントロールとかは使ったこと無いので知らない）
※選んだものだけを終了させるやり方は不明
以上です。
これで自分は今のところ、（以前よりは面倒なものの）、問題なく使えています。
説明不足なところがあったりしたらすいません。
エヌ氏の一日は、「いいね！」ボタンをクリックすることから始まる。
「いいね！」ボタンは、エヌ氏が参加している仮想世界上の友達の日記やひとりごとつぶやき機能についているお手軽評価ボタンのことだ。
エヌ氏の友達は、熱心に仮想世界上の日記に日々のできごとを綴っていた。
朝ごはんに食べたもの、今いる場所、気がついたこと、天気のこと、猫や花の写真とありとあらゆるものが仮想世界上の日記としてほぼリアルタイムに書き込まれていた。
エヌ氏は仮想世界上の友達との友好的なコミュニケーションを円滑に果たすために、早起きしてエヌ氏が就寝してから起きるまでの間に書かれた日記にたいして、「いいね！」ボタンを次々と押していった。
本来は、どういうふうに「いいね！」なのかを感想コメントとして残すべきなのだが、何せエヌ氏が読まなければならない日記の量は膨大で一日のうちのかなりの時間をそれに費やしていた。そんな状態だったので、コメントを残さずとも、友達の日記を読んだ証拠を残せる「いいね！」ボタンはエヌ氏にとって、歓迎されるべき機能であった。
出勤前の30分の時間で、「いいね！」ボタンを押し切ったエヌ氏は、朝食も摂らぬまま駅へ向かうバス停へ向かった。
するとエヌ氏の仮想世界上の友達たちは、これまでのエヌ氏の「いいね！」行為への対価を果たすべく、「家を出ました」日記に対して「いいね！」を連発し始めた。
はたからみると、一体全体、何に対して「いいね！」なのかさっぱりわからないが、「いいね！」ボタンを介したコミュニケーションはエヌ氏の生活の一部となっていた。
バスに乗り込むとき、エヌ氏はバスのナンバープレートに書かれた番号とバスの形式を仮想世界上の日記に書いた。このナンバーのチェックはエヌ氏のライフワークだ。エヌ氏のこの日記に次第に「いいね！」が増えていく。増えていく「いいね！」の数を見て、エヌ氏は満足した。
バスを降りたエヌ氏は駅の立ち食いそば屋へ入り、いつものコロッケそばの食券を購入した。カウンターで食券と引き換えにコロッケそばを受け取ったエヌ氏は、隅っこのテーブルにコロッケそばを運び、携帯端末でコロッケそばの写真を撮りはじめた。エヌ氏は、そばを食べながら、器用に左手で携帯端末をあやつり、コロッケそばの写真を仮想世界上の日記として書き上げた。
当然、今年の初めからコロッケそばを何杯食べたかのカウントも忘れない。梅雨の明けたこの時期でコロッケそばカウントは65だった。
食事をこの日記に書き込むこともエヌ氏の大切な日課だ。エヌ氏は日記に書き込んだあとに徐々に増え続ける「いいね！」の数を見ながら、コロッケそばの余韻に浸っていた。
エヌ氏が朝起きてから、2時間が過ぎようとしていた。エヌ氏が見るべき新しい日記があることを画面が告げていた。交友関係が広いエヌ氏が見るべき日記の数は瞬く間に増えていく。
電車を待つホームの上でも、日記を確認し、「いいね！」ボタンを押す作業は続いた。エヌ氏はいつものように先頭から2両目の後ろよりのドアに並ぶと入ってくる電車の番号をチェックし、軽やかに日記を作成した。
日記を作成している間にもエヌ氏がチェックしなければならない日記の数はうなぎのぼりに増え続ける。電車に乗り遅れて遅刻しそうな人の日記に「いいね！」を付け、風邪でおなかを壊して寝込んだ友人の日記にも「いいね！」をつけた。ゆれる満員電車の車内で、つり革につかまらずに絶妙なバランスを取りながら、携帯端末を操作し、増え続ける日記に次々と「いいね！」ボタンを押して、日記を読んだことを示す証しを残した。
会社に着いたエヌ氏は、席につくとおもむろにパソコンの電源を入れ、社内SNSの画面をチェックし始めた。この画面にも「いいね！」ボタンが実装されており、次々と軽やかに「いいね！」ボタンを押し続けた。
会社の業績が落ちていることを示す記事、先輩が地方に転勤する記事、一身上の都合で退職することになった記事と内容のよしあしにかかわらず兎にも角にも「いいね！」ボタンを押し続けた。
プライベートな仮想日記とは別に取引先や同じ業界の人たちとのネットワークもある。社内向けの「いいね！」が終わると、仕事上のつながりのある人たちの日記に「いいね！」をつけ始めた。こちらはプライベートな日記以上に「いいね！」をつけるのに気を使う。付けもらしがあっては失礼だし、「いいね！」をつける人とコメントを書く人との間で差をつけてはいけないからだ。一応、社内の内規でコメントを書くことは作業負担も大きく、誤解を招く恐れがあるので、「いいね！」操作に限るとなっている。
ここまで仕事を終えたエヌ氏は、休憩のために喫煙室へ向かった。喫煙のための休憩はなぜか咎められないことになっている。
タバコに火をつけるのと同時に反対の手で、携帯端末から「喫煙室なう」と仮想日記に書き込んだ。
書き込んだあとから「いいね！」の嵐がやってくる。仕事中に増え続けた日記に「いいね！」をつけ終えるとエヌ氏は、喫煙室を出た。
エヌ氏はオフィスに戻ると、担当している商品のプロモーション用アカウントにログインしてみた。一般の人から感想や苦情が書き込まれることが多く、それに対してうまく受け答えをしなくてはならない。機転のきいたコメントができればいいのだが、うまいコメントが思い浮かばないときは、「いいね！」を多用した。そのときに最善の言葉が見つからなくても、会社として関心があることを示すことができる「いいね！」ボタンはエヌ氏にとっても会社にとっても都合のよいものであった。担当者が複数いても、それぞれの変な個性がでることもなく穏便にアカウントの運営ができた。
「いいね！」ボタンの操作に夢中になって仕事をしていると、とうに昼食の時間を過ぎていた。
カフェテリアでB定食を選び、デザートのショーケースから日替わりプリンを手に取り外の見える席に腰掛けた。昔は同僚と食事をともにすることが多かったが、今では食事の時間も貴重な「いいね！」タイムとなっている。プリンを食べた数をカウントするのもエヌ氏の重要なライフワークとなっている。プリンのカウントは89だ。日記のタイトルにカウント数を入れて、写真を撮って日記を作成した。
先ほど、休憩したときに「いいね！」チェックをしたにもかかわらず、すでに二桁以上の新しい日記がエヌ氏の携帯端末の画面にはあった。
この日記の未読を消化することはエヌ氏にとって大変に重要な関心事である。しかも読み逃げするわけではなく、「いいね！」をつけるのだ。
「いいね！」をつけることは信頼とコミュニケーションの証しであり、エヌ氏にとっては生きがいだ。
食事のあともエヌ氏は的確な操作によって、「いいね！」ボタンを次々と押し続けた。それは仕事の一部でもあり、趣味の一端でもあった。
画面を更新するたびにあらわれる新たな「いいね！」ボタンがある限り、エヌ氏の仕事は存在し続けるし、エヌ氏の存在意義も大きなものになる。
日もとっぷりと暮れたころエヌ氏は会社での仕事を切り上げ、帰路の電車の中にいた。朝と同じ車両に陣取り、携帯端末の「いいね！」ボタンを押し続けた。「いいね！」ボタンをたくみに使いこなすエヌ氏は、仮想日記上での評判がすこぶるよかった。仮想日記上でエヌ氏と知り合うことができれば、自分の日記にエヌ氏からの「いいね！」の評価が必ず入るからだ。
エヌ氏の「いいね！」の評価は呼び水となりほかの人も釣られるようにして、「いいね！」ボタンを押してしまう。エヌ氏の周りには「いいね！」の好循環ができているようにみえた。
帰宅したエヌ氏は、就寝までの時間を使って、仮想日記の新着のチェックを始めた。帰路の電車やバスの中でもチェックをしていたのだが、小さい画面では、日記の消化に限界がある。エヌ氏ご自慢の32インチの薄型画面を使っての「いいね！」ボタンを押す操作はとてもはかどるのだ。
時計の針が次の日に変わるころにエヌ氏の一日は終わる。しかし、エヌ氏が寝ている間にも世界は動き続け、無数の「いいね！」ボタンは増え続ける。