[雑記]雑記2008年1月21日(月)

■ 最近のわたし

Javaを勉強しようと思ってちょっと触っている。

ゲーデル数のエンコーディング、デコーディングをして遊ぼうと思った。

3秒でわかるゲーデル数の仕組み。

• 自然数って素因数分解できんじゃん
  • 12 = 2^2 * 3^1
  • 15 = 2^0 * 3^1 * 5^1
  • これを[2,1]とか[0,1,1]というリストだと思いなさい。
    • (指数がリストのなかの数になると思いなさい)。
  • こうすれば、自然数を「自然数のリスト」と見ることができるよ。
• 次に「自然数のリスト」を「文字列」として解釈するよ。
  • 1 => "0", 3=>"f", 5=>"￢"...
  • などという形でそれぞれの数に文字をわりあてるよ。
• たとえば

24 = 2^3 * 3^1
=>[3,1]
==>"f0"

• こうすれば任意の論理式に自然数が一対一で対応ですよ？
• つまり、「これは適切な論理式か？」「これは適切な証明か？」という論理学上の問題が、「自然数から自然数への関数をつくる」問題になるよ。

デコード (自然数->論理式) は簡単だが、エンコード (論理式->自然数) は論理式のパースをしなきゃならないのでちょっと面倒なんだ。

それでちょっとパーサーの書き方を調べたりしていた。

途中で脱線して「JavaScriptでタブローを描くプログラム書いたら楽しいんじゃないか？」と思い、手をつけた。

どっちもまだ完成してない。暇なはずなんだが、用事があったりバイトがあったりで意外と細切れの時間しかない。

■ ふつうの日記

今週末のわたし。

• 土曜日: youkosekiさんらの結婚式に二次会から参加。余興のプレゼントコーナーでわたしはてもみん無料チケットをいただいたのだが、わたしが物欲しそうにしているのを見たせいか、iPodNanoをもらったbonsensがなんとプレゼントを交換してくれた。いつも金銭的に困っているイメージのbonsensが気前よくほどこしをしたのですごいことだと思った。交換条件として恐るべき犯罪の片棒をかつぐことになったが、大したことではない。今後bonsensが困っているときは、ポンと有金を出そうと思った。
• 大変感謝したので、ここで前からbonsensに対して悪いと思っていたことを謝りたいと思う。以前Comitiaに行ったとき、以下のような応答があった。
  • 「bonsensは何か買うものないの？ 今ついでに寄っていっていったら？」
  • 「あるけど、ぼーいずらぶだからいい」
  • 「全然恥しがることないよ。買いに行こうよ！」
  • 「いい」
• 後から考えると、これは恥しがるのが当然のような気がしたので「悪いことをしたなあ」と思った。あのときのことはわたしが悪かった。申し訳ない。
• 結婚式二次会の後、三次会に行った。終電を逃して霞が関から下北沢までタクシーに乗った。高額の出費だった。

• 日曜日: shimとM山のNPOの手伝いにかりだされ、センター試験の解答をつくる予定だったが寝坊した。わけもわからず六本木の某所につれていかれたが、ふと見るとそこは噂に聞く (というほどでもない) GLOCOMだった。
  • 英語の訳をつくるかたわら、ウキウキとiPodを初使用。とりあえずPCに入っていたIOSYSの『東方河想狗蒼池』を入れた。このアルバムは素晴しいアルバムだ。
• にいのうが東京に来ているという噂だったので、夜からM川およびにいのうと合流した。
  • しかしにいのうは共同研究者との打ち合わせに行ったので、M川と池袋でだらだらしていた。せっかくiPodを手に入れたので音楽生活を充実させようと思い、とらのあなで高槻やよいさんのCDとMOSAIC.WAVさんの新譜を購入した。
  • あとは主に厨二病と邪気眼の話をしていた。M川は年末のイカ天特集番組を観て、厨二病は意外と広く共感を呼ぶかもしれないと思ったらしい。どのバンドを見てそう思ったのか問いただしたところ、「不思議ちゃん」などのキーワードから「マサ子さん」であることがわかった。わたしはマサ子さんを敬愛してやまない人間のひとりだが、「マサ子さんに共感する人も少ないと思う」と答えた。
  • 呪文詠唱についてなど。M川が中学時代にドラグスレイブを詠唱していた件。恥しい呪文詠唱と恥しくない呪文詠唱の違い。戦争経験者の呪文詠唱は恥しくない。「われはもとめうったえたり」は恥しくない。
  • トールキンは設定厨ではない。あそこまで行けば設定神。しかしラブクラフトとトールキンと聖書は厨の心をくすぐる厨文学として今後も君臨しつづけるであろう。
  • 東浩紀は文体などにこだわらないと言うが、その東浩紀でも那須きのこはアウトだと思ったらしい。「活字はラノベしか読めない」と公言するタカタくんも那須きのこは「ちょっとサムいね」と言っていたらしい。すごそうなので興味をひかれた。
• にいのうと合流し、だらだらしていたら夜遅くなった。前日に終電を逃したせいもあり、無理して帰るのはやめ、にいのうのついでのM川家に泊めてもらうことにした。M川氏おすすめの安部子という人の動画 (腐女子踊ってみた系動画) を見せてもらった。

• 月曜日: 起きてバイトに行った。移動中および仕事中にやよいのアルバムを聴く。「これはすごい」と思った。
• わたしが音楽に求めるものは
  • 稚拙さ
  • ロリ声
  • 電子音
• の3つである。
• ふたりのもじぴったんは前から好きだったがキラメキラリ*とごまえーも素晴しいと思った。

■ 作業メモ

twitterのHTML

■ul#accessibility *
■div#containter.subpage
├□span#loader *
├□h1#header
｜└●img
├□div#flash *
├□div#side    /* サイドバー */
｜├●div.section
｜├●div.section
｜├●div.section
｜├●div.section
｜└●div.section
├□hr
├□div#content /* メインコンテンツ */
｜└●div.wrapper
｜・├○form#doingForm
｜・｜├▼div
｜・｜└▼fieldset
｜・｜・├▽div.bar
｜・｜・├▽div.info
｜・｜・└▽center
｜・｜・・└input.update-button
｜・├○ul.tabMenu
｜・｜├▼li
｜・｜├▼li
｜・｜└▼li.active
｜・└○div.tab /* この中がエントリーの一覧になる */
｜・・├▼table#timeline.doing
｜・・└▼div.bottom_nav
├□div#footer
├□hr
├□div#navigation
└□hr

div.tabの中身だけ取り出したもの

■div.tab
├□table#timeline.doing
｜└●tbody
｜・├○tr#status000000000.hentry
｜・｜├▼td.thumb vcard author
｜・｜｜└▽a.url
｜・｜｜・└▲img#profile-image.photo fn    /* プロフィール画像 */
｜・｜└▼td.content
│・│・├▲strong
│・│・│└△a
│・│・├▲span.entry-title entry-content  /* ここに本文 */
│・│・└▲span.meta entry-meta
│・│・・├△a.entry-date
│・│・・├△#text
│・│・・└△span#status_actions_000000000
｜・├○tr#status000000000.hentry
｜・├○tr#status000000000.hentry
｜・├...
｜・└○tr#status000000000.hentry
└□div.bottom_nav
・├●div.badge
・│└○a.highlight
・├●div.pagination
・│├○a.section_links /* next */
・│└○a.section_links /* prev */
・├●span.left
・│└○a.section_links /* RSS */
・└●br.clear