日々の流転

λ. 買った本

『帰納論理プログラミング』

古川康一, 尾崎知伸, 植野研[著]　共立出版　¥5000

Webページ

「人工知能論」と「帰納論理プログラミング」の授業の教科書。"Progol"で検索して僕の日記なんかに迷い込んでる人にはお勧めかも。

λ. 情報数学Ⅰ

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

授業とは直接関係ないけど、以前に向井先生に紹介してもらったチューリング機械のプログラムで、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

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