大学の授業で停止問題について扱われたことがある。詳細は忘れたが、確か「プログラムが停止するかどうかを検出するプログラムは書けない」ということを数学的帰納法っぽいやり方で証明する、という話だったと思う。
このことを自分で証明した時、ある種の衝撃が走った。当時のぼくは理由がよくわからなかったが、今思えば「実装できない仕様がある」ということに驚いたのかな…
今世の中で起こっていることとは数学的に全く別の次元の話かもしれないが、感覚的には忘れたくない…
仕様の世界にもP≠NPみたいなことってあるんだろうか。ある仕様によって引き起こされる、仕様間の関連や表に見えない仕様を含めた仕様全体の複雑性を知る方法とかあるんだろうか…
飛びましたねー
というのを書こうと思っていてすっかり忘れていました。
http://www.airbus.com/A380/seeing/indexminisite.aspx
ホテルではないのですが、許して下さい。
食器が華やかでいいですね〜(種類は間違えられたとの説あり)。
もちろんおいしかったですよ。
ソファがよいですねぇ。
しかも大混雑の渋谷において、(時間帯というのもあったとは思うが)奇跡の静けさだった…
http://s03.2log.net/home/programmer/archives/blog38.html
すごすぎるとはあんまり思えず最初の感想が「リアルだ」という自分はもう壊れているということか…
「死人が出てないだけマシ」というのと通信会社の人が「こうして我々カーストの上に立つ者は幸せな日々を送る」というコメントがもっともリアルに感じる。死人が出たら葬儀参列禁止令が出るとも聞く。
これで少子化じゃカースト制も維持できないと思ってもらいたいものだが、サイクルが長い話なので手が入ることはないのだろう。
ただ、通信会社も下のほうからはこの波が忍び寄っていると思うのだが…
会社を選んだ当時は社会が見えていなかった。
電源を入れていないのにお湯が出て来た…
あったまっちゃったみたいです。
どうりで冬と夏で温度が違うわけだ。
昨日の夜も、今日の昼も、ただ張るというだけでどきどきしてしまった。
新緑が風で揺れているのを見るだけでも…
「結婚できないのは会社のせい」
という見出しを見た気がする。幻想だろうか。
夢でなければ、ちょっと共感。
「ここに来る前に結婚できてよかった」という先輩の一言が、重い。
水を頼んだらみそ汁が出て来そう、なくらいパニックでした。
かわいそうなのでじっとしてました。
ファミレスでも時々あるけど、利益を出すにはそこまでさせなきゃいけないんだろうか…
非常に気が重い件のうちの1つが片付いた。
長かった…
ごほうびに今日は入浴剤を入れよう。
…言われなくなってました。気づいたら。
どうも条例施行(?)からタイムラグがあったみたいです。すいません、間違ってました＞k。
でも、ティッシュ持った黒服がいます。ただティッシュを配っているだけなのか、それともティッシュを受け取ったら声をかけていいルールとかあるのだろうか…
あと、マッサージはいいんですかねぇ。
JL1528 RJOO->RJTT 63A
迷ったあげくまた2階席。どうせ疲れて寝てしまうだろうからという読みだった。
結局かなり曇っていて読み通りに…
私は無事です。
取り急ぎ…
JL1507 RJTT->RJOO 39K
ラウンジで一杯やる(ただしトマトジュース)。
エグゼクティブな方々のラウンジは使えませんのでミニラウンジです。
クロワッサンもあるし、ふかふかのソファに満足。
ホテルっぽい雰囲気から、写真に残そうとしたけど、今見たら人が入ってしまっている…難しいね。
そして撮影へ。
JA8984
JA8985
JA016D
友達のお兄さんのお見合いに何故か出席します。しかもぼくの母親と一緒に…
当日は友達のお兄さんの友達とかがいっぱい来ていて、お見合い本番を前にパーティー状態。
そんな中、結局礼服を買わずに会社に行くスーツと会社に行く靴で来てしまったぼくですが、胸ポケットにハンカチを入れるのを忘れていて、ハンカチの折り方入れ方がよくわからないので会場の人に聞いていたら、これを付けることもあるとかで、変なものを持ってきました。「大絞り」とかいう黄色の花みたいなのに緑色の短冊みたいなやつ…。さらに、お兄さんの前にぼくが座ると聞かされて、意味不明ながらもそういうものなのだと納得します。
…という夢。
なんじゃこりゃーーー
いとこの結婚式に礼服を買う買わないの話が影響していると思われますが、お見合いは…(^^;;;
したいのだそうだ。MD録音を想定していたが、今時はICレコーダという手もある。ただ、会議用だと周波数特性が声の範囲に限られていそうでやだなぁ…
決めてに欠ける感じだったのだが、周囲がみんなICレコーダらしいのと、13500Hzまで録音できるというICレコーダ SONY ICD-MX50を発見しため、これにしてみる。
どんなもんかな〜
ちなみに、MDだったらPanasonic SJ-MR50でした。
今日はダイエーばんざいな日でした。
○コンビニ・オリジンより薄味な気がするお弁当。しかも安い。時間が経ってさらに割引。
○ミニッツメイド(紙パック), ブルガリアヨーグルト, うずまきソフト, 冷凍えびドリアが爆安。ぼくの食生活にマッチ。
ラッキー
○スーツのクリーニング。15時に出すと18時にはできるのです。
○貸金庫。おもしろーい! 貴重な体験でした。
○記帳。One'sダイレクトをやめるためにOne's plusをやめなければいけないと言われたので、やめたら、他支店で記帳できなくなったらしいのだが…本当?? ということで記帳してみる。全然ふつーにできるじゃーん。何だったんだろう…
○自動車税納税証明書探し。車検の為に必要という認識がなかったのだが…既に車検証とセットになってました。さすがー(^^;;
○Yahoo! BB モデム返却。送るのに手ごろな箱がなかったので、現物を持ってコンビニに行ったのだが、「箱は売っていません」とのこと。郵便局に行ったら…まーいろんなサイズのいろんな箱があること(箱の形してないものもあり)。やるな…ということで60サイズを100円で買ったら、モデムとVoIPアダプタ(旧型)がばっちりぴったり入ったのでした。よく考えたら試験サービスからのお付き合いだったのね…＞YBB
○その他いろいろ。疲れました。でもいろいろできて精神的によろしかったかと(仕事と違って進捗してる感じがする…)。
そういえば、WHOISのデータベースって、部分的に非公開にできるんでしたよね…ISPの連絡先を入れるとかで。でも、WHOISもいろんなところに出てきちゃってて、
○JPNIC(IPv4アドレス)
○InterNIC(ドメイン)
○APNIC(IPv6アドレス)
さて、何をどう手続きしたものか…そもそもどこなら何を入れるべきか/入れなくてよいか、がわかんない(^^;;
昼間っから遊んでいるわけではありません。と言いたい、思いたい…
IXIAのセミナーのためヒルトン東京に来ました。レストラン事前に調べて、これは行ける、と思った。
大正解。
アペタイザー、ってゆうんですか? 昼間から生がき(^^;; なんていいご身分なんだぁ～
サラダ。盛り付け下手ですいません…種類いっぱいあって、欲張って何種類か盛ってます。
いやーーーここまでもうかなり美味しいです。
スープ。いいかほり。
ACARSその他の受信用にPCから制御できる広帯域受信機をずーっと狙ってたのですが、気がついたら去年の秋ころにIC-PCR1000が製造中止に(T_T)
ふらついていたら川崎電子のページでAORの受信機たちを発見。RS-232Cがついているみたいだ。AR8600MK2がいいー! Linux版のコントロールソフトのオープンソースもあるみたい。IC-PCR1000相当のコマンドがあればいいなぁ…
ちなみに川崎電子さんはぼくがIC-R3ssを買ったところです。親切にしていただきました。
下記によると、「ノスタルジーすら感じる90's J-Pop Soulな楽曲」とのこと。
ぼくってやっぱ80年代後半～90年代が好きなんだなぁ。
VOCALANDとかもね…
http://www.jbook.co.jp/product.asp?jan=4562199350060
H2Oの凝縮が、液体と言う状態でこんなに豊かな表情を持っているなんて。
思わず魅せられてしまった。
…風呂の中で手桶をいじりながら。
流れる水をじーっと見てしまった。
最近すっかり何も書いていないことに気づきました。ちょっとショック。
感じたことを見過ごさないように、って思ってるのに…
今週は何をやっていたのだろうか。もう終わっちゃうよ。
ケータイメールの送受信記録を見てみよう。
…ほとんど何もない(T_T)
今週はなーんもしてなかったんだなぁ。
○友人がKiss Digital Nを買ったのがうらやましーなー
○ACARSはやっぱ面白いなーUSBサウンド欲しいなーANST買っちゃおうかなぁー
○やっぱIC-PCR1000買っとくべきだったな…まだ売ってるとこあるかな…
○「呼」の定義って何だろう(呼制御の呼、ね)
○ダイエー行きました。色々買いました。雪印「コクとうまみの6Pチーズ」買いました。うまー!
○何か最近頭働いてないのは糖分不足な気がしたので、明治のホワイトチョコとグレープフルーツジュースを買ってみた
○ASTEL解約はがき出したら切手貼り忘れて50円不足ですって来たので、ローソンで切手買ってローソンのポストにはがき出した
○IXIAのセミナー申し込んだけど定員超えでだめって言われたけどキャンセル出て大丈夫になった、らきー
○皆様続々とお誕生日を迎えられて大台突破されてますねぇ…もうすぐわが身
○電気代が7617円から5994円に下がった。春だなー
○春なのに激寒でコートを着る日々
○Webalizerついにインストール成功。コツはpngを入れた後gdでpngを有効にするとこ…でも、日本語の検索ワードやっぱ化ける…
○極上生徒会…蓬莱学園を彷彿、というか塾高を彷彿でよいかも…っていうかGoogleで「生徒会」と検索すると極上生徒会が一番上に出てくる…
○またWindows Update出ましたねぇ
○HDD故障気味…はやく買いたいよぅ。今なら250Gすか?
どれもあまりにどーでもいいことで、別エントリーにするのもなんだかなのでまとめて書いてしまいました。ほんとは思った時にすぐに出せればいいんだけどね…
やっぱ分けたほうがいいかなぁ。
JL1528 RJOO->RJTT 53A
時間節約のため(死んじゃうよぅ)、行きと帰りで別会社もよしとする。
今回も結局ぎりぎりだったな…お財布に大阪空港まで行ける自信のない470円しかなかったので、慌てて下ろしたりなんかして。でも結局足りてたのだが。
今日のお弁当は幕の内。がらっがらの中、外の夜景を見ながらの食事は最高です。
今日のCAさんにはほんっと助かりました。おしぼりくれたし、ごみも持っていってくれました。そのタイミングが絶妙。
機内でNHKの日航のニュースが流れていたのがなんともかわいそうなくらいだ。
あとJALは暗い室内が夜景鑑賞にはよいですね～
若干遅れて16Lに着陸。やっぱりCアプローチはかなり無理があると思うのだが…
T1からのモノレールやバスはいい場所に座れなかったりしてやなのだが、今日はすいてたなー
時間ぴったりのライナーがないので特快で帰る。
NH0019 RJTT->RJOO 83J
昨日の夜決まって(決めて)、今日の深夜予約したので、既にK席はなかった…
T2のチェックイン機の前までケータイでねばってたのだが、どうしてもK席があかなかったのであきらめる。機内からの写真はおあずけだな…今日はとてもよい天気だったのに。くやしいので2階席を取る。
それでもやっぱくやしいのでT2展望台にのぼりささっと周囲を収めます。ちなみに展望台は6:30-22:00です。結構いい時間までやってるね～よかったよかった。
…ということです。
T2の展望台。ひろーい。
今にも踊りだしそうな、青一色。
(T_T)(T_T)(T_T)(T_T)(T_T)
もう思い残すことはございません。
まさかあの声が直接きけるとは…
LIVE行ったらCDとちがって残念、なんてこともあると思うのですが、河井英里さんの場合は絶対そんなことありません。びっくりしました。感動。
"Never Again"、ううぅ…あまりの迫力にその場が固まっていたように思います。
あれをオーチャードでやったことあるだなんて知りませんでした。いつごろだろう。岩代太郎さんのコンサートとかだろうか。次があるなら絶対行く。
ぼくも「深い」と思います。同感です。
なんだろう、声とかだけでなくて、お話の仕方とかその他もろもろから、真っすぐな感じがするのです。
ありがとう。
ケータイのベアラ方式やオペレータなどに強い所属意識を感じることがある。普段用いるサービスで見たらそんなに大差なくても、である。
身体性の強いメディアってそういうものなのかな。各企業のブランディングがうまく行っているということか。
何か外のビル群から白煙と黒煙が! しかもありえない航路と高度で八王子市市内を飛行機が飛んでる…
でもどうやら飛行機が激突とかそんな事態ではなかったようだ。
それより、ぼくの部屋が月9の舞台に選ばれてしまった。南側の窓をつぶすかわりに隣の部屋とくっつけられて広くなっている。広い部屋に立派なソファがぽつん。でも、ベッドは狭い一角に押し込まれた感じだ。
…という夢。昨日の飛行機と前のニューオータニが混ざったな。
というのを、駅前を見上げたら低高度からclimbする大型旅客ジェット機が見えたので思い出した。横田から離陸したものと思われます。
こんなんあったんだー! って前も見た気がするけど…
"Just an Internet Connection"ということで、もはやACARSは無線すらいらない時代のようです。
ちょっちこれわ欲しいかも…
ログが出てるところもあります:
http://asia.geocities.com/sunshine_8088/
…というのは今日乗ったJA8234を検索したら出て来たのでした。
あぁ春霞。
NH40 RJOO->RJTT B747 52A
ぎりっぎり間に合った…(これを逃すと関空行くしかない)
またまたいつもの席です。
帰りはモノレール。
昭和島駅ってなんて不思議な駅なんだ…東京っていろいろね。広いね。
JL1505 RJTT->RJOO JA8234 B767-346 14K
羽根よりずいぶん前の山側だ!
初767かも…。しかもこんな前に。クラスJが見えます。
今日は春霞。富士山がかろうじて見えます。
ちょっちクラシック。これもまたよし…
最近さぼり気味ですいません…
唐突ですが、今やりたいこと:
○漢字ナンクロ(面白いですよねぇ、優れた文化ですよねぇ)
○PC修理(HDDが変)
○スーツのクリーニング
○httpのログ分析ツールの導入
これはかなりやりたいです。どうも「超立体マスク」とかでかなり上位になっちゃってるらしく、検索からいらっしゃるかたが多い模様…
ちなみに、超立体マスクは後輩の涙ぐましい努力(とシーズン的にだいぶ緩和されてきたこと)により、まずは2箱get、現在適用中。
(コンプレックスですが)鼻の中心線がずれているらしく、それがわかっちゃうのがちとやかも…
中学のときに馬飛びで顔面から落ちた時説と、そもそも顔の筋肉やらの関係でそうなることはある説の両方あり。
最近やや自虐気味…
あまりに感動的な言葉がちりばめられていて、その中から印象に残った言葉を抽出するのをあきらめたくらいだ。
http://www-6.ibm.com/jp/developerworks/java/021018/j_j-xp0813.html
創発効果を重視したロフト環境が懐かしい…
ご紹介ありがとうございました＞kurumics
XPについては数年前から一度実践したいと思い続けていましたが、それが許されることは当面なさそうです。
精神的に衝撃を受けたら花粉症がよくなってしまった。
多分今も緊張が続いているんだろう…
これから疲れる日々が続くということか。
いまさらながら買ってしまいました(^^;
情報が必要な方はコンタクト下さい。
そのかわり、今まで使っていたASTELはいよいよ解約です。
この番号も長かったな…残念。
古いデザインのほうを3000円で買いました。会社用と割り切って愛はないのです。
ファーム最新になってるかな…
