2006-07-02
_ alias template
class C {
void func() {}
}
template mem_fun(alias T) {}
alias mem_fun!(C.func) hoge;
が通ることを使ってなんかできないか。 できない。
(22:24)
[ツッコミを入れる]
ToDo:
これを inference って言うのかなぁ。
class C {}
class D : C {}
int main() {
auto add = (int x, float y) { if (true) return new C(); else return new D(); };
writefln(typeid(typeof(add(1,2))));
の返り値の部分を適当にかえてあそぶ。結局、 int & float, C & D, C & null あたり全滅。実に D らしい。 null は void* なんだね。
あー。
(13:47)
(20:53)
なんか色々感心した。
(21:09)
class C {
void func() {}
}
template mem_fun(alias T) {}
alias mem_fun!(C.func) hoge;
が通ることを使ってなんかできないか。 できない。
(22:24)
発駅 9:30発 大塚(東京) 地図 | 時刻表 | 乗車位置 [ 9分 ] 電車 ＪＲ山手線(外回り) [上野方面 大崎行き] 150 円 9:39着 停車駅 9:42発 日暮里 地図 | 時刻表 [ 1時間7分 ] 電車 京成本線(特急) [成田空港行き] 1,000 円 △10:49着 着駅 成田空港(空港第２ビル) 地図 | 飛行機
(16:12)
http://tuch.blog66.fc2.com/blog-entry-148.html
じゃじゃ馬の単行本読んでヒッチで翌日北海道行ったけど、 行き倒れになったり牧場の美人4人姉妹の次女に拾われたりは しなかった。 まぁどっか行きたいなぁ。
(06:01)
寝坊が怖くて寝れない。 家出て成田。早く着き過ぎ。 手続きしてぼんやり。 飛行機。 例のごとく隣は外人。 まぁ英語なので無問題ではないけど困りもしない。 寝まくったり酒呑んだり飯喰ったりしてから 飛行機内でおべんきょう。 論文と量力の歴史と。
ユーロをポンドに変換。 紙幣しか交換できんと言われて £38.5 ゲット。 結局手数料考えると日本で二段階変換したのとそんなに変わらない。 コインは機械で変換できるみたいだが、 2ユーロ0.8ポンドとか。 どう見てもぼったくりです意地でも交換するもんか。
着いた。異国なのに町の表示が読めるから困るけど死にはしない。 ヒースロー→パディントン £14.5 。 パディントン駅に回転寿司が。 パディントン→Bristol Temple Meads £48.5 。 殺す気か。 電車から馬とか牛とかが見える。
駅からバスに適当に乗る。 逆回りぽいのに乗ったけどまあいいか。 Cotham Road と伝えたつもりだったけど素通りされて 質問するが言葉が通じないけどまぁ死にはしない。 下りて迷いながらひょこひょこ歩いて Bill 邸へ。 22時なのに外はまだ明るい。
水とかもらってホテル行っていろいろやって寝た。 ホテルはネット無いぽい。
HP に TAXI 。 今にいたる。
(11:31)
社食のイタメシにカレーかけた物体がおいしかった。 晩飯のとりあえず量がたくさんあれば良いだろうと思ってる と思しき物体はどうかと思った。
物価は高いけど財布を開いてない以上お金は全く減らない。
それどころか不思議な理由で倍以上に増えた。
(09:51)
研究関係
帰ったら
(15:31)
まぁネットつながってなくても記録だけ書いておこう。
金曜。
論文の話などしてから、 HP から脱出。
なんか週末はいかがお過ごしですかという話題を眠いと全く話聞けねーなーと思って聞いてたら OK? と聞かれたので「オウケイ、アイムノットオウケイ！」とわめいてみたところ he looks worry と言われた。心配させてごめんなさい。
よくわからんがたぶん日曜に適当に向かえに来るらしい。
だいたい帰ると時差ボケ眠いピークを過ぎるなーと思いつつ ORBITAL やって、 FINAL5 まで行った。
腹減ったので町を徘徊。スーパーでギネスが 440ml 1.5£ くらいで割にハッピーなので、店で喰うより適当にファーストフード買ってギネスと一緒に喰おうと思った。なんか6本だと6.5£というのは店の人がかけ算できないというよりは酒税とかがあんま無いんだろうなぁとうらやましす。
とりあえずケバブを買ってみる。3.5£のラージと3.0£のスモール。まぁラージだろうと頼んだらすごいものをもらった。ケバブってナンみたいなのに肉と野菜とソースをはさんだ物体だと思っていたんだけど、大量の肉につけあわせのナンと野菜とソースがあるような物体なんですね勉強になりました。パンの部分を手で持つのは絶対不可能。喰い放題行って肉喰う量くらいの肉入ってやがるぞ。
「チャールズ、ケバブ屋について良いアイデアはあるか？」「ヘイボス、野菜を減らしたらそのぶん肉を増やせますぜ」「全くだチャールズ！」「ヘイボス、ナンを減らしたらそのぶん肉を増やせますぜ」「その通りチャールズ！お前は天才だな！」「ヘイボス、肉の質を落としたらそのぶん肉を増やせますぜ」「お前は商売の神だ！神降臨！！！」とか眠いからぼんやり考えつつとりあえず帰宅。
ちょっと喰うもこれは無理だと思ってギネスとリップクリームを買いに。薬屋は閉まっていた。マツモトキヨシみたいなのは無いのかなぁと思いつつもマツモトキヨシってかなりよくわからん位置付けの店だよなぁたぶん日本特異、とか思いつつギネス買って帰って喰う。乾燥した国なのでリップクリーム無いとかなりつらい。
先生曰く「そんなアホみたいに量増やしてる暇あったら質を良くして欲しい」だそうだが、僕としては半分の量で半分の値段で売れと主張したいと思ったけどまぁ、まさにそんなこんな。彼らはおいしいものは好きだけど、マズいものを別にイヤだと思わないらしい。
なんていうかそのへんなんでも残さず食べる僕に似てるかもしれんし、それなりにここの喰いものをキチンと喰らっているあたり、僕は英国紳士の資格があるのかもしれない。昨日も通常の2倍くらい入ったマズいコーヒーをキチンと呑んだし。というかカプチーノの泡だけ喰らって残りを残すセンセ達は世の中をナメてるとか思った。
当然の帰結として肥満の国になってて、あとみんなやたらとコーラを呑む。そして揃いも揃ってダイエットコーラを呑むあたりは実はギャグなのかなぁ？笑うところでスルーしてしまっているかもしれない。
あと肥満と関係あるか知らんが、巨乳の国だなぁと思う。さすがは、あのヘルシングの舞台となった国というか、この表現を拡張すると地球はあのサザエさんの舞台になった星です、みたいになるなと思いつつ、というかたぶん豊胸手術の国なんだきっと。
そういえば今日始めてお金を使ったのであった。 -7.5£ ほど。このままでは強烈に余る。あとピーターは一銭も現金を持ってないらしい。
そういえばなんだろう。印象に残る点として、量子暗号は軍に売る、ってのをどこにでも明記してるのは明らかに日本と違うネ、と。
あとなんか前回と違って、やっぱ本気で英語はなんか考えんとナーと思った。もうなんかどう考えても、中高での積み重ね量という点でも、自然言語に対する適性という点でも、かなりどうしようもなく負けてるのは確実なので、というかまぁそういう事象は結構あったんだ。例えば逆上がりとか全然できなかったけど、できる子がどうやって回ってるか…とか観察して頭で回ることを考えた上でやたら努力する子だったはずなんだから、英語も無理なら無理で、ほっといてもなんともならんのは確実なので、もうちょい理性的に分析して勉強しようとかそんな殊勝なことを考えた。
ORBIT 、 ENDING' 見た上に全面月取った。
土曜。
存分に寝て、起きて、どうすっかなーと。つまるところネットないとやることなんてそんなに無いわけで外出。リップクリームを購入して適当に吊り橋とやらを目指してみる。まぁえらい遠いのでぶらぶらと。郷に入れば郷に従ってコーラとか買って呑んだ。
途中セバスチャンに遭遇。すげー偶然。
迷いもせずに吊り橋に到着。方位磁針はなんかえらい便利。吊り橋はさすが名所だけあってなかなか良い場所だった。アルファさん並に全くカメラを使ってなかったけどパシャパシャ撮ってみた。あとクリフトンになんかアーケードがあったけどそこがいい感じだった。町は基本的にビクトリア朝とかの物体をそのまんま残して使ってるらしいけど、そういう再生産ぽさがモロにモロだったとか。結構壊しちゃうか、飾りたてて観光資源にするだけの日本とはなんか違うナと思ったけど、まぁそれは地震とも関係あるだろう。いやでも寮とかなぁ。
たぶん3,4時間歩いたので、疲れた。バスで駅に。そんで駅からバースに。5.4£で往復。案外安くて幸せ。
バースはなんかセンセが世界一綺麗な町がどうこう言ってた気がしたので行ったわけだけど。まぁ全体的に綺麗。適当にブラつく。1£のアイス買って10£出したら紙幣取り上げられた上で no change と言われた。まぁ細かいので1£あって良かた。なんか本屋に EDGE とか Retro Gamers がどうとかとか、 Linux USER とか Linux Magazine とかがあった。日本と似たような名前なのな。あとゲームショップとかも面白い。まぁ総じて高いわけだが。
まぁ適当にブラつく。1£で入れる公園とかあって、なかなか良い場所だった。こんなところで隠居したい。オバキューの絵とともに日本のみなさんへ Bath へようこそここで〜を喰ったがウマかったよ、とか書いてある色紙を発見。藤子が来たんだろうか。
適当に別の場所でメシを喰う。 Jacket Potatoes とかいう物体。巨大な芋を割ってカレーソースかけて、あとパンとサラダがついてるわけだけど、だからなんで巨大な芋を使うんだろう…今日この一食しか喰ってないけど、昨日もあいまって十分だよ。5£近くしたので値段的にもちょうど良いと言えばそうなのだが。
Roman Baths とかいう名所ぽいよくわからん博物館みたいなのに侵入を試みるもお値段12£とかでは入る気起きません。美術館とかは基本的に外に値段を書いて欲しいよ。あと外からじゃ何なのかすらわからん。 Pump Room ってなんだ。 Assembly Rooms ってなんなんだ。アセンブラ書いてるんなら入るぞ。とか思いつつまぁ寒くなったし店閉まり始めたので電車乗ってバス乗ってギネス買って帰宅。
どうでもいいけどホテルの紅茶パックがなかなか良くて困る。
寝ようとしたらなんかパンパン鳴ってて、何かなーと考えたら俺脳内会議で全員一致で花火だろうということになり、ホテルを脱出して Cotham Brow をかけ上がった。色々場所を探したものの、1つだけ、上半分が見れた花火があっただけだった。悲しい。
あとマクドに want more? get Bigger Big Mac! とか書いてあってギャグかなぁと。
日曜。
起きてミューズリを喰らってみる。コーンフレークより色々入ってて栄養あるのかな…
適当にネットカフェぽいところを体験してみる。別にやりたいことがあるわけじゃないけどどんな感じかなーと。
ぼんやり論文読む。 sqrt(a'a) みたいなオペレータの実現法と、その応用として cat state 作ったりとか。
んーむセバスチャン来んなと思いつつ undump でも実装してみる。スタックの位置は exec(3) 呼んだ後に変わるみたいだね。
つーか来ねえなと思ってるうちに一日が終わる。よく考えるとホテル自体の入口が開けられなかったかもしれぬ。
しゃーないから近くに下りてカップメンとギネスを買う。そんでインドカレーを買って帰って喰う。店の人は日本から来たらしく、適当に日本語英語混じりで会話。言語能力あって良いのう…ここにはヤキニクもワカメサラダもスシも無いと嘆いていた。ワカメサラダなのか…カレーはまぁうまい。
ヘタな約束したせいでヒマな1日になっちゃったな…と思ったからバスで町に。急ぎ足気味で市内を回る。まぁ色々見た。塔がど真ん中にある丘みたいなのがすごく良い場所だっただけに時間が20時越えててあんまゆっくりできんかったのが残念だった。歩いて帰るとなかなかしんどい。
引き続き undump の続きなど。ちゃんと気合い入れて作らんと全然動くものにはならんナー。
どうでもいいけどイギリスもイタリアも英語じゃイギリスでもイタリアでもない。
(10:39)
なんか論文の問題点を指摘される。あー確かにそうなんかも、とか混乱。まぁ明日までに考える。タフプロブレムとか言いつつマスターがどうとか。修士の割にはめんどい問題考えてて偉い、ってこと言ってるんだろうなぁ、みたいなことをボンヤリ思いながら、なんていうかこれって東大に受かるための英語リスニングなんだよな。英語はだいたい言ってる雰囲気をつかめば解けた気がする。これからは自信を持って「俺の英語は受験英語なんだ！だからイギリス英語とはちょっと違うんだよ！」と主張しよう。
ヤツラだって center を centre と毎度スペルミスしてるじゃないか。
家が狭いとかクーラー無いとか話しながら帰宅。二階建バスはスリリング。
なんで Bath が観光地やねんと言うと温泉発祥の地とかいう話だけど。 Bath Spa 、バース＝スパ、とかなんか気取った駅名だけどなんのことはない、訳すと風呂温泉じゃないか。そんなダサい名前は日本じゃ銭湯にもついてないよ！
近所のスーパーでいつものようにビールを買おうとするとなんか怒られた。言ってることよーわからんなーと思って聞き返したら未成年や否かと聞かれてるらしい。もう25だよ！まぁ学生証の生年月日見せて納得させた。
(10:28)
http://igarashikuniaki.net/tdiary/?date=20060710#p01
んー？
「量子系における観測とは、古典系との相互作用である」
文脈読んでないけど、単純化しすぎだよなぁ。 U |ψ,φ> → |ψ',φ'> みたいな2量子系のユニタリ変換でも、ψの系だけ見たら観測だよね、っていうのが肝だと思うんだよな。そこからこう、宇宙全体がユニタリ変換してるところをもやん、と考えて、 "Hirbert space is big space." by 誰だっけ、につなげるのがこう、観測の理解として楽しい部分だと思うんだけど。この話はそのまんまニールセンだけど。
ところで今の今まで古い本が欲しいと思ったこと無いんだよなぁ。ランダウ・リフシッツの力学パラっと見てああこれはいいなと思ったけど、量力とか新しい話無い古い本とかイヤじゃね、とか。量力の体系として今まで一番面白かったのは Chang & Nielsen だしなぁ。ちなみに98年とかに量子情報のまとめみたいな感じの本で、博士論文として書いた本らしい。それでも量子情報的には古い本になってしまったかんじ。
やっぱ物理としては原理をハッキリさせたいわけですね。量力なら4つ、量子状態は無限次元ヒルベルト空間内の無限次元ベクトルですよ(というオマジナイ)、系の合成はベクトルのテンソル積で考えるよ、時間発展はハミルトニアンを肩に乗せたユニタリ発展ですよ、外部系を用いた観測は非ユニタリ発展しまっせ、のあたりから。
古い本は基本的にその観測の部分に触れてないわけで。具体的な話はどうでもいいか。
要するに、この話なんだけど。
http://d.hatena.ne.jp/yaneurao/20060715#p1
天才が書いた本であることやすごい業績を残した人が書いた本であることと、その本が良い本であることはあんまり相関は無いし、まして_今も_名著であることとはもっと関係が無い。書いた時点で既に完成した分野だったり(ランダウ・リフシッツの力学とか)、その後に他に良い本が無い(ドラゴン本なんかは日本語コンパイラ本としてはそんな感じなんでしょうか)ならともかく、量力において古い本がありがたがられるとも思いにくいし、なんていうか少なくとも僕はランダウ・リフシッツの量力なんかよりルイーゼルが欲しい。つまり結論はルイーゼルをおくれ、と。ぶっちゃけルイーゼルが何した人かもよく知らんけど。
いやそんなどうでもいいことが結論ではなく。だけど件の量力本読んだこと無い以上ケチのつけようが無いぞ。
なんつうかノリがたぶん哲学書のノリなんだよなぁ。たぶんで一人議論してもロクなことは無いんだけど。
納得いかないがまぁそんなことより他に考えることあるのでまた今度。
なんだろう。例えばアインシュタインの1905年特殊相対性の論文読んだことあるわけだけど、今読むならあれ読むより啓蒙書でも読んでる方がはるかにいいと思うんだよな。そういう話というか。1905年当時より理解の仕方は深まってるわけで。なんつーか。固定された対象を学んでるんじゃないんだ。古い本ありがたがってもしゃーないべ、というか。
いやあとりあえず Knuth 本並べるとかそういう快感はわかるんだけど。
概要をさらいたい素人は啓蒙書を読めばいいだろう。研究者は最近の本なり論文を読むわけだ。古い本を読む子は誰だ、歴史屋だ収集屋だ哲学屋だ文系だ、と。
というような話を前提に考えると、やねさんはランダウが天才だということしか述べてない、というかぶっちゃけ天才ということすら述べられてないというか、19歳で学位とかは天才業界には結構いすぎてまぁ天才過多というかみんな賢すぎてイヤになるわけで、素直にノーベル賞受賞と言えば話ははやいんだけど。 Nielsen とか今でも学生に見えるらしいしなぁ(http://www.qinfo.org/people/nielsen/blog/?page_id=181)、つまり勧める理由が不明。「天才の思考の片鱗」が見たいんなら論文でもいいと思うし、なんつーか修士論文でノーベル賞を受賞したジョセフソン大先生の本(http://www.amazon.co.jp/exec/obidos/ASIN/4198607028/503-4855349-7085504)とかでもいいんですか！という話に。
いがさんの方は引用した一文はむしろ古さを感じてしまったなぁ、というのは前述の通り。あと難関であることに価値は無いだろうなぁと僕は思ってしまうんですが。啓蒙書マンセー。
まぁいいや。帰ったら考えまとめる。
(10:44)
帰った。もっといたかったなぁ。日本熱いし。
えーと。
HP行って、研究の話したけどタイムオーバー。 うんもうちょいいるべきだったよやっぱ。
メシはまたしてもカレー系だったわけだけど。
ビルがポンドの両替をしてくれた。 no commission とか言いながら交換したけど、 1£200円は手数料つきでもギリギリじゃないかとか思ったけど まぁいいかと交換。 後で残った10£は2000円弱だったのでちょうど良かったと判明。
なんかタクシー→チャーター車というリッチな方法で ヒースローまで。 センセ同行なのでファーストクラス用のラウンジとかに入れた。 ので呑んだくれ。 でも読んでる本はレーニンの帝国主義論とかいう倒錯を。 つかGBA本を荷物から出しておかなかったのが失敗だったわけだが。
どうでもいい写真とか。
(18:51)
いぎりす行きで映画いくつか見たのだった。 書いてみて気付いたけど、 なんてことだ要するに全部つまらなかったんだ…
どこが怖いかすら理解できなかった。 もうだめだ。
1度目の埋葬がよくわかんなかった。 ぐぐったところやっぱ埋葬はされてないぞ。 話は割とどうでもよかった。
あーでも割と見たなかではマシだったかなぁ。 でも悪役の子がどうもなんかなぁ。なんかなぁ。
ハッククラックセキュリティで知的な映画さ！ って雰囲気をかもし出しつつ 最後はただの殴りあい。 お金吸い出した方法もよーわからんし。
タイトルも内容も全て思い出せない…！
非常にタフな日程だった。 確か、渋谷、秋田、隅田川お台場とか、青森、 富士山頂、などなどを7日でこなしてた。
あと War Museum とか。 全体的になんかやたら SAMURAI とか言ってたね。
映画と違って非常に面白かった。
(20:07)
http://igarashikuniaki.net/tdiary/?date=20060710#c01
「量子力学における測定とは、古典的対象と量子的対象との相互作用のあらゆる過程である。」
おーこれならだいたいいいじゃん！ ランダウえらい！
(01:11)
template g(int n) {
static if (n == 1) {
const int g = 1;
}
else static if (n & 1) {
const int g = g!(3*n+1)+1;
}
else {
const int g = g!(n/2)+1;
}
}
template h_(int m) {
static if (m == 1) {
const int val = 1;
}
else {
const int v_tail = h!(m-1);
const int v_head = g!(m);
const int val = v_tail > v_head ? v_tail : v_head;
}
}
template h(int m) {
const int h = h_!(m).val;
}
static assert(false, h!(100));
このくらいなら一度もエラー出さなくて書けた。
(05:01)
http://allabout.co.jp/health/sleep/closeup/CU20030819B/index.htm
自分が人に嫌われている、あるいは人が自分に危害をあたえると思い込む（偏執症状）
研究者立ち会いでそんなことやってるんなら 実際に危害加えられてるんじゃないのか…
(04:24)
b7ffe000-b8000000 rw-p b7ffe000 00:00 0
これがなんなのかイマイチわからない。
mmap2(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xb7fff000
と
mmap2(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xb7ffe000
でマップされてるわけだけど。
んーむ。
(05:20)
http://d.hatena.ne.jp/h_sakurai/20060712#p2
10FPS。そんな速いんか。 このままでは Web2.0 時代のほげほげもできてしまいますよ。
(07:40)
前からチラチラ見てたけど。
http://d.hatena.ne.jp/O-saka/20060707#p1
これで四国のほげほげなんとかなるかなぁ。
どうでもいいけど、 ブラウザの仕様が統合されてなくてタイヘンとかいう話があるけど、 Linux&FreeBSD&... とかに比べりゃマシかなぁとか思ったりもする。
でも、僕にとって前者はイヤだけど 後者はホビーノウハウたりえるのはなぜだろうね。 たぶん MS に振り回されるより Un*x 群に振り回される方が良いという ごく宗教的な理由なんだろうけど、 ホビーノウハウが人によって違うのは興味深くはある。
(23:02)
ってコードが通ってしまった。悲しいかも。
http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=2313&orderby=clen&language=-1
(14:26)
http://www.jmuk.org/d/?path=2006/07/16#d16t01
ラーは面白いのかぁ…
http://shinh.skr.jp/m/?date=20060219#p01
感想書いてないから思い出せないけど、 なんかモノのバランスがこれはどうなんだチックな感が強かったような。
(07:22)
なんとなく思いたって 任意発言に反応するための機構をつっこんでみた。 これで mirc も無脳にも assam にもなれるわけだが。 動的に assam 化できると便利だろうなぁ。
本当はドメモというのを実装しようかと思っただけだけど、 案外夢が広がるかも。
(09:20)
なんとなくおうちさがしいんついて記録を。
ネットをぼんやり見ていると、 思ったより安くで良さそうなものがある。 特に良さげなのがあったのでその物件について 内見や間取りなどの質問をしてみたところ、 他にもいい物件あるし店に来いとのこと。 この時点でなんか他のとこ売りたい雰囲気はするわけだけど。
行ったら、まず浜地ですと名乗っても話が通じない。 そのくらいなんとかならんのか…と思いつつも話を聞く。 聞くに、件の物件は、安くて好条件に見えるから問い合わせが多いが、 大屋が自分で勝手に拡張したもので、 雨漏りがしまくってとても人の住む家ではない、とのこと。
まぁ普通に、そんな主張はあまり信じることができず、 無い物件を撒き餌にしてるんじゃないかなぁとか思った。 売れない時点で大屋がちゃんと修復しない理由が不明すぎるし。 本当だとしてもそんな物件をネットに上げてるのは撒き餌だし、 あと他の人も大屋が異常に気難しいとか、やたら汚ないとか、 なんか適当な理由でネットで見た物件は無視されていた。 だいたい間取りすら見せてくれないし。
あと相手の印象がどうもなんというか、 ホストの人ってこんな感じなんじゃないかという印象だった。
まぁそれはそれとして他の色んな物件を見てみる。 2時間くらいパラパラと資料を見る。 向こうの人がここ良いですよーと言って持ってくる 物件はなんとも微妙な。 なんというか、さっきの物件より明らかに 家賃高くなった以外に違い無いんですけど…みたいなのとか 出してくるのはどういう神経なんだろうとか。 でもそれなりに良さげなところが何個かあったので、 それらの内見の話になる。 具体的には追って連絡するとのこと。
追って連絡。 一番良さそうに思っていた2件は既に無いらしい。 それじゃあ意味ないなぁと思って内見は保留と返答。
んで今日もう一件行った。 なんかこっちは紙パラパラとかじゃなくて、 業者専用のネット資料にアクセスして、 その画面を一緒に見るスタイルでだいぶ違うんだなーと思う。 つかこっちの方が絶対に正しい。 検索性とか良かったし。 人も割とまともなそうな人だった。 条件にあう物件を全部送ってくれるとのこと。
渋谷駅付近は人住んでなさそうで案外物件あるとのこと。 確かに円山町とかにアパートとか点在してますねーとか言うと、 ヤクザしか住んでないアパートとかあるんですよー、 とか言ってた。 ヘンな話だよなぁ。 ヤクザも別に好き好んで円山町に住まん気が…
(20:56)
http://alohakun.blog7.fc2.com/blog-entry-373.html
自分の頭の良さと言語の素晴らしさを披露したくてしたくてしょうがない，特定の言語マンセーな人たち (Perl や Haskell の人に多い)
なるほど。 あとポールさんとか。 多いのはなぜかな…
(21:54)
http://shugo.net/docs/tcp-tcp.html
なるほど。 再送うんぬんのところは エミュレーションしない、って選択肢は無いのかしら。
(22:54)
げーむだから別に落ちてもいいんです！ っていうか本当に malloc が落ちるなんてのを インフラ以外でハンドリングすべきと思ってるのかい？ とか主張しようと思ったのだが。 なんかそんなネタ主張はどうでもよくなった。
i@u ~/wrk/sdmkun> LD_PRELOAD=/usr/local/lib/libfailmalloc.so ./sdmkun terminate called after throwing an instance of 'St9bad_alloc' what(): St9bad_alloc zsh: abort (core dumped) LD_PRELOAD=/usr/local/lib/libfailmalloc.so ./sdmkun
バックトレース
(gdb) bt
#0 0xffffe410 in __kernel_vsyscall ()
#1 0x41045069 in raise () from /lib/libc.so.6
#2 0x41046671 in abort () from /lib/libc.so.6
#3 0x41e1dc30 in __gnu_cxx::__verbose_terminate_handler ()
from /usr/lib/libstdc++.so.6
#4 0x41e1b655 in std::set_unexpected () from /usr/lib/libstdc++.so.6
#5 0x41e1b692 in std::terminate () from /usr/lib/libstdc++.so.6
#6 0x41e1b7ca in __cxa_throw () from /usr/lib/libstdc++.so.6
#7 0x41e1bc0e in operator new () from /usr/lib/libstdc++.so.6
#8 0x41df5ecb in std::string::_Rep::_S_create () from /usr/lib/libstdc++.so.6
#9 0x41df70b5 in std::string::_S_copy_chars () from /usr/lib/libstdc++.so.6
#10 0x41df7267 in std::basic_string<char, std::char_traits<char>, std::allocator<char> >::basic_string () from /usr/lib/libstdc++.so.6
#11 0x0809dbd1 in __static_initialization_and_destruction_0 (__initialize_p=Variable "__initialize_p" is not available.
)
at bulletmltree.cc:16
#12 0x080badb5 in __do_global_ctors_aux ()
#13 0x0804b699 in _init ()
#14 0x080bac46 in __libc_csu_init ()
#15 0x410326c9 in __libc_start_main () from /lib/libc.so.6
#16 0x0804c3e1 in _start ()
えーと。
#include <iostream>
#include <string>
std::string s("hoge");
int main() {
try {
} catch (...) {
std::cout << "exception!" << std::endl;
}
}
とかでエラーつかまらないわけだ。 これってなんか対処あるんかいな。 まぁ例外とかどうでもいいや。
(00:50)
自慢じゃない(が|けど|ですが)、 は何かが「アホ(誉め言葉)」という意味で 自慢してることが多いわけだけど。
というか普通じゃないことに価値があって つまりアレだ。 逸般とか、そういうキモいアレな文脈が多い。 それに対する「ああ本当に自慢じゃないなw」 みたいなのも同様にキモいことかもしれない。
ためしに本当に自慢じゃない事例として、 「自慢じゃないが俺は寝た後は必ず起きることにしている」 とかいう文章を考えてみたけど。 まぁこれはこじつけだ。いいや。
「自慢じゃないが女」とか「自慢じゃないが腕力に自信がない」 などは、まぁ普通にいいかと思った。
(01:00)
http://googlejapan.blogspot.com/
一瞬すごっ、と思ったけど、 計算して考えるともともとそんな感じか。 40pixel で 10m 。
(01:14)
f(x)=1/cos(x)
complex(x,y)=x*{1,0}+y*{0,1}
g(x)=cos(x)*cos(x)*complex(cos(f(x)),sin(f(x)))+sin(x)*sin(x)*complex(cos(f(x)),-sin(f(x)))
#plot [0.8:0.85] real(g(x))*real(g(x))+imag(g(x))*imag(g(x))
plot [0:4] real(g(x))*real(g(x))+imag(g(x))*imag(g(x))
これを解析的に極値を求めるわけですが… Mathematica かねぇ。
(16:43)
http://sdc.sun.co.jp/solaris/solaris10/dtrace/guide.html
前の sun の D について、 news で Walter タンが半ギレぽい応対をしてて面白いけど、 半ギレぽく見えてる僕の読解力は信頼できるのだろうか。
(23:36)
(15:41)
_ (15:44)
_ (15:51)
http://shadow.s63.xrea.com/jinro2/jinro.cgi?NO=994&DISP=ALL
実装したらみんながさとみさんを入れるわけで、 それならさとみさんバンしたら良くね。
(16:40)
なんだこれだけでいいのか。いや、 S*(q/p-1) が正解か。
(17:00)
http://www.cipher.org.uk/index.php?p=projects/bugle.project
via https://www.codeblog.org/blog/akr/20060723.html#p01
(02:34)
ICFPC のメールで、 参加者はたくさんいて、 ほげほげな人は何人いました！とか書いてあったけど、 UM書いてアドベンチャーで点数取っただけの子が 39人もいました！とか。
(05:29)
マゾプログラミングがあるなら当然あってしかるべきだろう。 でもいまひとつ適切なものが思いつかない。
人を積極的に罠にはめて喜ぶようなもの… と考えるとショートコーディングなんかは S であって M であるということになって あひおが。
(17:44)
http://d.hatena.ne.jp/toge/20060725#1153843313
そもそも sleep とか無駄に入ってるからなぁ。
/etc/rc.d/rc の action $"Starting $subsys: " $i start に & つけるだけで起動えらく速くなるし。 たぶん倍増くらいはいってる気も。 OK FAILED が見れなくなるけど、まぁ別に問題ない…
(01:11)
から ADVTR でもやるかーとか思ったんだけど (プライオリティキューぶっこわれはやる気ない証拠) そうそうこのマシンではメモリが足りないのであった。 512MBで足りないというのはなんつーか UM が悪い気がしてならない。
(01:52)
(02:54)
(02:54)
(02:54)
XML とか S 式ってまじですか。
今回の ICFPC は、「関数型言語屋必死だな」っていう 印象を与えられなかったのも良かったかな。 なんか、先一昨年以来の2年は、 関数型つかえオーラを感じたんだけど、 今回は関数型言語のアジみたいなものを、 アフォードちゅうんかね、 さりげなく提示されてる印象を受けた。 というか全体的にアフォードが非常にうまいわけだけど。 まず練習をさせる、というか、 こういうのはたぶん、そんなに簡単じゃない。
(04:35)
さっき積まれてるアイテムに ex できることに気付いたんですがね…
つーか本当は、 keypad 解いた後に ex コマンドで アイテムに必要なもの調べられると知ったんですがね…
つまり全パターン combine してたんだなー。 あほー。あほー。
(04:36)
(success (command (go (room (name "54th Street and Dorchester Avenue")(description "You are standing at the corner of 54th Street and Dorchester Avenue. From here, you can go north, east, south, or west. ")(items ((item (name "X-9247-GWE")(description "an exemplary instance of part number X-9247-GWE")(adjectives ((adjective "orange-red") ))(condition (pristine ))(piled_on ((item (name "V-0010-XBD")(description "an exemplary instance of part number V-0010-XBD")(adjectives ((adjective "magenta") ))(condition (broken (condition (pristine ))(missing ((kind (name "X-9247-GWE")(condition (pristine ))) ))))(piled_on ((item (name "F-1403-QDS")(description "an exemplary instance of part number F-1403-QDS")(adjectives ((adjective "pumpkin") ))(condition (pristine ))(piled_on ((item (name "P-5065-WQO")(description "an exemplary instance of part number P-5065-WQO")(adjectives ((adjective "heavy") ))(condition (broken (condition (broken (condition (broken (condition (pristine ))(missing ((! kind (name "T-6678-BTV")(condition (pristine ))) ))))(missing ((kind (name "B-4832-LAL")(condition (pristine ))) ))))(missing ((kind (name "F-1403-QDS")(condition (pristine ))) ))))(piled_on ((item (name "B-4832-LAL")(description "an exemplary instance of part number B-4832-LAL")(adjectives ((adjective "taupe") ))(condition (pristine ))(piled_on ((item (name "L-6458-RNH")(description "an exemplary instance of part number L-6458-RNH")(adjectives ((adjective "gray40") ))(condition (broken (condition (pristine ))(missing ((kind (name "P-5065-WQO")(condition (broken (condition (pristine ))(missing ((kind (name "T-6678-BTV")(condition (pristine ))) ))))) ))))(piled_on ((item (name "T-9887-OFC")(description "an exemplary instance of part number T-9887-OFC")(adjectives ((adjective "eggplant") ))(condition (broken (condition (broken (condition (pristine ))(missing ((kind (name "X-6458-TIJ")(condition (pristine ))) ))))(missing ((kind (name "H-9887-MKY")(condition (pristine ))) ))))(pi! led_on ((item (name "Z-1623-CEK")(description "an exemplary instance of part number Z-1623-CEK")(adjectives ((adjective "indigo") ))(condition (broken (condition (broken (condition (pristine ))(missing ((kind (name "D-4292-HHR")(condition (pristine ))) ))))(missing ((kind (name "L-6458-RNH")(condition (pristine ))) ))))(piled_on ((item (name "H-9887-MKY")(description "an exemplary instance of part number H-9887-MKY")(adjectives ((adjective "yellow-green") ))(condition (pristine ))(piled_on ((item (name "F-6678-DOX")(description "an exemplary instance of part number F-6678-DOX")(adjectives ((adjective "shiny") ))(condition (broken (condition (broken (condition (pristine ))(missing ((kind (name "J-9247-IRG")(condition (pristine ))) ))))(missing ((kind (name "V-0010-XBD")(condition (pristine ))) ))))(piled_on ((item (name "R-1403-SXU")(description "an exemplary instance of part number R-1403-SXU")(adjectives ((adjective "pale-green") ))(condition (pristine ))(piled_on ((item (nam! e "USB cable")(description "compatible with all high-speed Universal Sand Bus 2.0 devices")(adjectives )(condition (broken (condition (broken (condition (broken (condition (pristine ))(missing ((kind (name "T-9887-OFC")(condition (broken (condition (pristine ))(missing ((kind (name "X-6458-TIJ")(condition (pristine ))) ))))) ))))(missing ((kind (name "F-6678-DOX")(condition (pristine ))) ))))(missing ((kind (name "N-4832-NUN")(condition (pristine ))) ))))(piled_on ((item (name "N-4832-NUN")(description "an exemplary instance of part number N-4832-NUN")(adjectives ((adjective "sienna") ))(condition (pristine ))(piled_on ((item (name "J-9247-IRG")(description "an exemplary instance of part number J-9247-IRG")(adjectives ((adjective "slate-gray") ))(condition (pristine ))(piled_on ((item (name "B-5065-YLQ")(description "an exemplary instance of part number B-5065-YLQ")(adjectives ((adjective "dim-gray") ))(condition (pristine ))(piled_on )) ))) ))) ))) ))) ))) ))) ))) ))) ))) )))! ))) ))) ))) ))) ))))))
(04:42)
(06:23)
ひどすぎて手では実装できそうもないけど。
a+a を計算しまくって、 0 になるまで M[4]=a, M[5]=a*2, M[6]a*4,... を並べる。 この右は M[12]=0 にしておく。 この並んだ数は例えば、奇数なら8個などと並ぶ。
で、これを左向きにたどる。 この時のメモリを i としよう。 i は最初は必ず 0x80 だ。 これを別な場所 d に記録しておく。 次の値 i を見たら、d から 2回ひいてみて、 0になるかをチェックする。 0になったら d XOR i を d に、 そうでないなら i を d に代入する。 これで 0x40 が手に入る。 これを終わりまで(M[3] は 0にしておく)繰り返すと、 a の最右 bit が立った値 d=2^e が手に入る。
a-=d を 0 になるまで計算して、 その回数だけ、 b を 0 に足し算して値 f を得る。
これで得られた数値 f (M[2] に入れてやる) は a*b/d になる。 さて、 M[11] から順に、 0 でない数値があらわれるまで f += f を計算する。 するとちょうど f*2^e つまり a*b が得られているはず。
ありえん。 本当にこんなめんどいのか。
(07:26)
ubyte M[256];
ubyte mult(ubyte a, ubyte b) {
int i = 4; // i is register
ubyte c = a;
M[i] = c;
while (true) {
c += c;
if (!c) break;
M[++i] = c;
}
ubyte d = 0;
ubyte g = 0;
while (true) {
ubyte e = M[i--];
if (!e) break;
d = (e&g)^e;
g ^= d;
}
ubyte f = 0;
while (true) {
a -= d;
f += b;
if (!a) break;
}
i = 11;
while (true) {
if (M[i--]) break;
f += f;
}
return f;
}
void test_mult(ubyte a, ubyte b) {
foreach (inout ubyte u; M) u = 0;
ubyte c = a*b;
printf("%d == %d ?\n", mult(a, b), c);
assert(mult(a, b) == c);
}
int main() {
test_mult(35, 27);
test_mult(2, 11);
test_mult(4, 11);
test_mult(18, 11);
test_mult(0xff, 0xff);
test_mult(0xd1, 0xc3);
return 0;
}
0x80 から落としていく部分のアルゴリズムはダメだったので少し変えた…
(08:06)
ちょっと修正した。
どうです？この風格。 これが王者の威光というものです。 このフォントでキリストを越えてしまったかもしれません。 少なくとも空海クラスは既にメじゃありません。 (当たり前です。私はこのフォントでノーベル文学賞を狙っているのですから) 世界中の亡者どもがこのフォントを狙ってくるでしょうね。
甘い。
これだから猿は甘いのです。 私はマイクロソフトと契約をする予定です うんぬんかんぬん…
案外難しい文体なんだなと思った。
下に GPL がどうとか書いてあるけどなー。
codex.um 攻略サイト欲しいと思ってました！ あと野良スコアタックとかしたいい。 ただ自分が全然上位とかにかめなさそうなのが萎えです。
でも僕がんばるよ！ADVTR解くから！
またしても萎えかけてから、 UM をソケットで書き込めるようにした。 手で解く気無さげだぞ！
それはそうと、これはあれだ。 外部に公開すると面白くね？ 外から UMIX に入れるんだぜ。
同じ画面に無いアイテムあるのね…
まぁこのくらいは。
{"USB cable"=>"eggplant T-9887-OFC", ["X-6458-TIJ", ["shiny F-6678-DOX", []], ["sienna N-4832-NUN", []]], "magenta V-0010-XBD"=>"orange-red X-9247-GWE", [], "eggplant T-9887-OFC"=>"!X-6458-TIJ", [, ["yellow-green H-9887-MKY", []]], "shiny F-6678-DOX"=>"slate-gray J-9247-IRG", [, ["magenta V-0010-XBD", []]]}
["USB cable", "sienna N-4832-NUN", "shiny F-6678-DOX", "magenta V-0010-XBD", "orange-red X-9247-GWE", "slate-gray J-9247-IRG", "eggplant T-9887-OFC", "yellow-green H-9887-MKY", "!X-6458-TIJ"]
あとは手動でいいや…
ああなんとか TIJ は存在しないけど、そもそも欠けてていいのね…
USB 自動取得成功。
uploader 取ったあ。 k.inaba さんはウソつきじゃなかった！
結局、 downloader はだいたい自動で、 uploader は and 出てきてきちーと思ったので、 だいたい手動でやりましたあ。 ソケットで UM にデータ送れるようにしてあったから、 x 連打とか抽出とかは自動でやるスクリプト作りましたが。
あとどうでもいいですが僕は IRC は好きですが メッセはいやです。 IRC のキモはめどい時は無視して良いことだよなと。
_ 検閲されたデータで条件分岐させて ゲームの動作変えたらいいんじゃないかなぁ…
http://dream.ie.ariake-nct.ac.jp/~bashi/d/?date=20060722#p01
i@un ~> ruby -e 'puts Time.now.yday' 208
(18:31)
の類はアカデミックでもあって、 そしてそれはむしろ事務みたいなのが吸収してくれる、 普通の会社より多いんじゃないかと思ったのには、 どの程度影響されたんだろなぁ。
要するにめんどくせえ…
(19:24)
http://www.plala.or.jp/access/community/mailplus/smtp_auth.html
25番が閉じたということなので 2525 にポートフォワーディング。
(10:54)
アレは眠い頭でネタバレを見てしまって 意気消沈なのであった。 副作用は最初ちらっと考えたんだけど なんか頭から抜けてた… というかネタバレ見ても簡単に実装できる気がしないというはなしが。 まぁ今度やる。絶対にやる。
(12:32)
そういや書いてなかったのでメモっておこう。
ほげほげほげ、と僕がニヤニヤしながら説明してから 「それ何に使えるの？」って聞く子はたいてい、 使えない子。 なんていうか、 学習対象候補発見→とりあえず学習、 っていう子の方が、 学習対象候補発見→評価→OKなら学習、 っていう子より、最終的には強い。 つかお話にならんくらいの差がつくことが多い気がする。 いや、もちろんこの世の全てのこと学ぶことは不可能なので、 評価ちゅうのが重要なのはわかるけど、 評価ばかりして足踏みばかりというのもだめだよね、 気をつけようね。 みたいな。
こういうの、Dスレとか見てるとよく思うんだよな。 別にメインストリームになるかなんてどうでもいいじゃん。 ぶっちゃけたぶんならねーよ。 1.0になったら使う、ってのもなぁ。
あ、もちろん、 これは僕がプログラム自体が半目的化してるって理由が強い。 プログラムはあくまで手段であって、 成果だけが目的、っていう人 (もちろんこのタイプの方があきらかに健全だけど) はその態度は正しい…のかな。 ちと判断保留。
(17:12)
プログラム自体が目的化してない健全な人の場合、 厄介な問題があるわけだ。
言語を学習することは、 目的に直接関係無いけど、 手段の向上になるから、 目的取得の効率化につながる可能性があるわけで。 つまり今 HP を上げるか将来 HP を上げるため 生命力を上げておくかみたいな。
で、それなら、 結局1.0になったら使う、ってのが正しくね。 メインストリームになるの？ って聞くのはあんま意味なくて、 メインストリームになったら使う、で問題ない。
でも、他の言語経験が別言語で生きることなんていくらもあるわけでして。 結局、評価が必要なわけだ。 健全な人はご苦労なこったなー。
(17:18)
| 前 | 2006年 7月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | |||||
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。
_ いが [私の観測の定義は 『「位置」とか「運動量」をばしっと決めること』かなと。 ↓ 波束の収縮が起こる ↓ 状態を変えるこ..]
_ やねうらお [> なんつーか修士論文でノーベル賞を受賞したジョセフソン大先生の本とかでもいいんですか！ あの人、オカルトチックだ..]
_ shinh [あーまさに観測のそこしか説明しないから古い教科書微妙…とか思ってしまうのですが。ビシっと決めない中途半端な観測とかも..]