塩湖の関係か、湖があってもそばに町がないパターンが多いな。町が見つからないので、敦煌周辺とか眺めてみたり。敦煌は中国だったのか。敦煌の西にある巨大な砂漠もなかなか?地球規模の砂場って感じで境界線がはっきりしているのが不思議。*2009/5/2210進Basic便利。手軽にフラクタル模様をみるのに一番だ。それにしても、M種類の線形的なアフィン写像をN回組み合わせたことによる写像の集合ってすごく複雑。出てくる図形の複雑な事、複雑な事。それでも線形的な側面がある分、まだシンプルな写像なんだよな。サイズが縮小していく特殊な写像は奇麗に扱えるしね。最近発散も縮小もスケールの変化が違うだけで、軌道そのものの複雑さは変わらないような気がしてきた。拡大と縮小ってどこが違うんだろう?最近ちょっと疑問になってきた。縮小は、周期的な点に対し線形的な空間に無限に近付く。縮小や収束する軌道は周期点へ近づくとだんだん周りが線形空間になり、自分の周りの点との関係は変わらない。パイ層のように重なって周期点へ近づく。それに対して拡大や発散やカオス軌道は、写像をとり点が動くたびに非線形な空間の乱雑さを受けていく。周期点の周りの線形空間で近似できる範囲。距離というのはここへ入るまでの写像の回数ではかったほうがよくね?*2009/5/21その2面接落ちたー、やったー。なんでやねん、次探さな。面接とったどーにしないとね。それはそれとして、GoogleMapなどを見てしまう。写真か動画だけじゃなくて、音とかもあればいいのにね。自然の音はいいよ、潮騒の音、風の音、動物の鳴き声、全部人間の感性を呼び覚ましてくれる。人工音ではひきだせない感覚っていっぱいあるよね。*2009/5/21うーん、風邪だ。普通の風邪でインフルじゃないとは思うけど、もしもはあるかもな?一応マスクをして面接にいこう。それにしても鏡を見るたびおっさんになったなと感じる。身だしなみや太りすぎに気をつけないといけない歳だ。最近インドア生活がたたって太っている、やせないと。今日から裁判員制度らしい、俺のところにも来るのか、とういか人を裁く立場なんて責任持てないが、まあその時はその時か。ギガンダム討伐中々いい出来、問題は完成がいつになるのかってことだな。ギガンダム討伐自体、文庫本でいえば7巻とか8巻にあたるような内容。論理式や自然数論の記号をゲーデル数に変換する方法を学習。難しいが簡単といえば簡単。なんらかの文章をゲーデル数に変換するという操作。関数なら、2^r*3^n,,,をかけてゲーデル数に変換する、論理式なら¬や∨を見て対応したゲーデル数に変換する。工場の作業員が、丸いものなら赤く塗り、四角いものならねじを締めると指導を受ける。どちらも、加工を施して変換するという点では同じだな。ゲーデル数を判別して論理式などに戻す。2^r*3^nでゲーデル数を割ってみたりして、これは関数か、それとも他の数でわってみて、これは論理式か対象式かなどを判別する。おもちゃをみて、特徴的な出っ張りやキャラの顔などで商品名を判別する。どちらも、調べて判別するという点では同じだな。関数にゲーデル数を代入したときと、論理式からゲーデル数を求める作業に対角線論法を施す。これについては本に乗っている本格的な説明は難しかったが、とりあえずWikiにのっている原始再起関数の中で説明されているほうがわかりやすかった。*2009/5/20その2今日はやっぱり駄目だった。文章を書いても認知症みたいな文章になってしまう。いえば体の調子も微妙におかしい。帰納的関数の集合PRについて勉強。うーん、わかったようなかわらないような。抽象的な定義が書いてあるのを眺めてもよくわからない。これら4つはゲーデル数で表現可能である。ゲーデル数は、自然数論の公理系で表現可能となる。うん技術的な部分がちょっと難しい。あとプリンターの調子が悪い。