トップ «前の日(10-03) 最新 次の日(10-05)» 追記

日々の流転


2001-10-04

λ. 買った本

帰納論理プログラミング
古川康一, 尾崎知伸, 植野研[著] 共立出版 ¥5000
Webページ
「人工知能論」と「帰納論理プログラミング」の授業の教科書。"Progol"で検索して僕の日記なんかに迷い込んでる人にはお勧めかも。
Tags:

λ. 情報数学Ⅰ

「言語」、「文法」、「オートマトン」の概略。それから、チューリング機械と有限状態オートマトンとかの数学的定義。

授業とは直接関係ないけど、以前に向井先生に紹介してもらったチューリング機械のプログラムで、cとfを自分で定義する必要があることに気が付いた。んで、こんなに簡単に書けるんだーといまさらながら感動。(テープの左にも無限に移動できてしまうあたりは本物と違うけど)

% usageE: ?-turing(InitialState,LeftPartOfTape-RightPartOfTape,ResultTape). 

turing(State,[Letter|Left]-Right,FinalTape):- 
        c(State,Letter,NewState,Write,Move),
        move(Move,[Write|Left]-Right,NewTape),
        turing(NewState,NewTape,FinalTape).
turing(State,Tape,Tape):- 
        f(State). 

move(none,Tape,Tape). 
move(left,[X|Left]-Right,NewLeft-NewRight):- 
        (Left=[] -> NewLeft=[free] ; NewLeft=Left), 
        (Right=[free] -> NewRight=[X] ; NewRight=[X|Right]). 
move(right,Left-[X|Right],NewLeft-Right):- 
        Left=[free] -> NewLeft=[X] ; NewLeft=[X|Left]. 
move(right,Left-[],NewLeft-[]):- 
        Left=[free] -> NewLeft=Left ; NewLeft=[free|Left].

λ. 朝鮮語

남동섕」と「여동섕」とを間違えて、妹がいることになってしまったり。まあいいや。

λ. CNS

「/home/s01397ms/.zshrc:67: no matches found: /usr/local/share/zsh/site-functions/*」とか言われて焦る。あー、zshのバージョンを上げたのね。とりあえず、「fpath=/usr/local/share/zsh/4.0.2/functions」 何か違うような気がするけど、気にしない事にする。

λ. Ruby

そういや、SFCにRubyユーザってどれくらいいるんだろう? もしいたら、お友達になりたいな。

λ. /.J

これを投稿してすぐに後悔。自分のダメさ加減がわかって嫌になる。


2002-10-04

λ. 今日の向井研

ようやく、ガロア理論の嬉しさみたいなのが見えてきたような気がする。

科学哲学について語るなら、せめてポパーやクーンくらいは知っていて欲しいのですよ。

片山さんに「素性構造は語に対するメタデータで、どうせならRDFに変換して、ほげほげ〜」とか、いい加減で無責任な事を言って悪の道に誘ってみる。でも、オントロジーのマージと素性構造のユニフィケーションってちょっと関係ありそうじゃない?

Tags: 向井研

λ. 夕食

向井研の何人かでデニーズへ。

λ. jot

そんなコマンドがあったなんて全然知らなかった。

でも「for i in {001..010}; echo $i」でいいじゃんという気もする。(zsh限定?)

あ、jotは乱数も作れるのか。なるほど。

λ. Strong Categorical Datatypes I

strongってどういう事を指してるのかなと思って見てみたが、2-categoryとかfibrationとかは良く分からなかった。

Tags: 論文 圏論

2003-10-04

λ. Ruby Onsen Meeting

いーなー

Tags: ruby

λ. 借りた本

『文学部唯野教授のサブテキスト』
筒井 康隆 [著]
『34丁目の奇跡』(MIRACLE on 34th STREAT)
ヴァレンタイン・デイヴィス(Valentine Davies) [著], 片岡 しのぶ [訳]
『ネットワークはなぜつながるのか』
戸根 勤 [著]
『グリーン・マイル(4) - ドラクロアの悲惨な死』
スティーヴン キング (Stephen King) [著], 白石 朗 [訳]
『ハンニバル (下)』
トマス ハリス (Thomas Harris) [著], 高見 浩 [訳]
Tags:

λ. 鴨池恋模様

chikoにっき(2003-10-03) より。3ホップ ;-)

Tags: URL

λ. Satherの発音

私も「サザー」だと思ってました。

λ. 妖々夢のスペルカードあと27枚

スペルカード集め。残るは27枚。内訳は、Extraが2枚(「狐狗狸さんの契約」「飯綱権現降臨」)、Phantasmが4枚(「二重黒死蝶」「人間と妖怪の境界」「生と死の境界」「弾幕結界」)、Hardが3枚(「ストラディヴァリウス」「餓鬼道草紙」「業風閃影陣」)、Lunaticが沢山 (^^;

Tags: 東方

2004-10-04

λ. 『祈りの回廊』, 野町 和嘉

祈りの回廊 (小学館文庫)(野町 和嘉) を読んだ。日本にいてはなかなか感じることの出来ない、宗教のエネルギーや力強さのようなものを感じたように思う。

Tags:

λ. 107 山影の村

107 山影の村 のリーザは一緒にプレイしたリーザのような気がするなぁ。気がするだけ。

Tags: 人狼

2005-10-04

λ. 複雑性とゲーム理論 (2)

「議会と中央銀行」や「乗っ取り屋の価格オファー」といった例にも 囚人のジレンマと同じ構造が見出せるのは面白かった。

λ. ICPC過去問: The Balance

今日の研究会のネタはICPC2004アジア予選の Problem A の The Balance だった。

<URL:http://www.teu.ac.jp/icpc/pastProblems/regional/r2004.pdf>

まず問題を単純化する。 同じ重さの錘を天秤の両側に追加しても,天秤のつりあいには影響せず錘の使 用量が増えるだけなので,ある重さの錘が天秤の両側に乗せられている場合は 除いてよい. また,錘を右側にk個乗せるのは,錘を左側にk個乗せる場合と モーメント*1の正負が丁度逆になっているので, 錘を右側にk個乗せるのは左側に-k個乗せると考えることにする. そうすると,d mgの薬を天秤の右に乗せ,a mgの錘を天秤の左にx個, b mgの錘を左にy個乗せて,つりあっている状況だけを考えればよいことになる. この状況は方程式 a*x + b*y = d で表される.

cをa,bの最大公約数として,a'=a/c, b'=b/c とすると, a*x + b*y = c*a'*x + c*b'*y = c (a'*x + b'*y) となる. a*x + b*y = d が解を持つのだから,dもcで割り切れる。 d' = d/c として,a*x + b*y = d の両辺をcで割ると a'*x + b'*y = d' となる.

ここで,a'とb'の最大公約数が1なので, 拡張ユークリッド互除法を使って a'*x + b'*y = 1 の解 (x,y) = (x1,y1) が求まる. そして,これをd'倍した(x,y) = (x1*d', y1*d') は a'*x + b'*y = d' の解になっている.これを(x2,y2)とおいておく。

a'*x + b'*y = d' の解が一つ求まったので,それを使って一般解を表す. a'*x + b'*y = a'*x2 + b'*y2 から a'(x-x2) = - b'(y-y2) となり, ここでa'とb'は互いに素なので,(y-y2)はa'で割り切れ, (x-x2)はb'で割り切れなければならない. よって,(x-x2)/b' = - (y-y2)/a' と変形できる. これをtとおくと一般解は (x,y) = (x2 + b'*t, y2 - a'*t) と表せる.

一般解が求まったので,あとは |x| + |y| を最小にするような t を探せば良 い.……のだけど,ちょっと綺麗な方法が思いつかなかった. とりあえず,t=0 から始めて |x| + |y| が小さくなる方向にひたすら t を動 かして求めている.多分間違った答えが出てくることはないと思うけどイマイ チだ.

*1 懐かしい単語だ

本日のツッコミ(全4件) [ツッコミを入れる]

ψ t15u [http://www.sampou.org/cgi-bin/haskell.cgi?Everyday%3a2004-..]

ψ さかい [がーん、既出だったか。 (ついでに重さを最小にするのも忘れてた) でも、その解答例2は間違ってるっぽいですよ。 例..]

ψ t15u [修正しますた。]

ψ さかい [ぐっじょぶ!]


2006-10-04

λ. 日韓の外交官がSFCに来る -リージョナルアナトミー論Eでゲスト講演-

明日のリージョナルアナトミー論Eは「日本から見た日韓・日朝関係」という題での伊藤直樹外務省国際協力局総合計画課長(前北東アジア課長)の講演らしい。 面白そうなので、聴きに行く予定。

本日のツッコミ(全2件) [ツッコミを入れる]

ψ 小熊善之 [是非レポートよろしく。]

ψ さかい [ひぃ。ろくにメモを取ってなかったので、あまり期待しないでください。 # スライドは既に公開されているけど、ビデオは公..]


2007-10-04

λ. Googleデスクトップのサイドバーの検索ボックスを消したい

Google デスクトップのサイドバーの検索ボックスを非表示に出来ないものか。 検索するときはクイック検索ボックスの方を使うから、サイドバーの検索ボックスは使わないんだよな。 なので、スペースを占めるだけで邪魔。

<URL:http://pc11.2ch.net/test/read.cgi/software/1178771974/201-202> に同じ悩みが書き込まれているのを発見したが、結局消し方は分からず。

λ. Lightweight Language AHP をやってみた

ku-ma-meさん作の Lightweight Language AHP をやってみた。 私の結果は「sakai さんにオススメの LL は Ruby (40%) > Python (27%) > Perl (21%) > PHP (11%) です!」 だったのだけど、詳細の表が面白いな。 偏ってるけど何となく納得できるような……