_ domingo, 18 febrero 2007
Cuenta Larga = 12.19.14.1.7; tzolkin = 3 Manik; haab = 0 Kayab [Trackback Ping]

　Smalltalk と言へば、私が今眩暈がするほどクソ難しい Haskell で四苦八苦しながら趣味コードを書いてゐるのは essa 氏が Smalltalk で呼吸してゐたのと似たやうな理由だと思った。壓倒的な物量と、日に日に増大するカオス。朝令暮改の仕樣變更と、その度に發生する無限のバグ。開發メンバーの中で全體を把握出來る者がつひに誰も居なくなること。『これは假實裝だから後で修正される』とコメントで警告したはずのコードがいつの間にかコピペされてゐること。ライブラリの中に實裝したはずのモジュールが使はれてをらず、その劣化コピーのやうなものが増殖してゐること。私だけが正しい事をしてゐて他の皆が間違ってゐるなどと言ふつもりは無い。私だって同じ程度には力量が足りない。ただ、正しいかどうか以前の問題として、酸素が足りないし、水も食糧も足りない。努力して補給しなければ生きられない。

　Haskell の純粋さ。プログラムを動的生成するプログラムを書く爲の本當に優れた方法である Monad と、それを一般化した Arrow。多相關數を部分適用してから、更にそれを他の關數と結合すること。スレッド間共有變數の參照と變更をログに殘して置き、樂観ロックに失敗したら自動的にロールバックすること。全ての要素が妖精のやうに身輕であり、肥後の守のやうに實用的であり、手を触れるとひんやり冷たい。

_ viernes, 16 febrero 2007 I/O しない部分に親切にしてやること
Cuenta Larga = 12.19.14.1.5; tzolkin = 1 Chicchan; haab = 18 Pax [Trackback Ping]

　自分の與 (あづか) り知らぬ所で環境が勝手に變化すると、物事が複雑になる事はあっても單純にはならない。プログラム言語の最初期の段階に於ては、變數と言へばグローバル變數しか無かった。そこに Lisp がローカル變數を導入して、後に（多分 Smalltalk が）インスタンスプライベート變數を導入した。ローカル變數の目的は勿論、自分が計算に使ってゐる變數の内容がプログラムの他の部分の影響を受けないようにする事だし、インスタンスプライベート變數は他所に送った struct の中身を勝手に變へられないやうにする爲のものだ。それならば、變數の値を變更すると云ふ行爲そのものを規制するのも然程をかしな事ではなからう。實際 C++ の const 修飾子は良い線を行ってゐた。const 修飾された變數の値を變へようとするとコンパイルエラーになったし、const 修飾されたメソッドが自分のインスタンス變數の値を變へやうとするとコンパイルエラーになった。ただ惜しい事に const 修飾の無い部分についてはそこが副作用を起こし得るかどうかが不明だった。さうしなければ C のスーパーセットでなくなってしまふ。

　プログラムが本質的に副作用を避けられない場合と云ふものは、實はプログラムの外部との通信を行ふ場合しか無い。つまり自分を取り卷く環境から影響を受けたり環境に對して影響を與へる場合の事だが、それは例へばファイルを讀む事だったり、ソケットを開く事だったり、別のスレッドからも見えるメモリ上の場所を書き換へる事だったりする。その他の副作用は本質的には必然でなく、例へば整數の配列の中から値がゼロであるやうな要素を數へる時に普通は次のやうに書くかも知れないが、

unsigned count_zero_ordinarily(const int* vec, const unsigned len) {

    unsigned i;

    int ret = 0;



    for (i = 0; i <= len; i++) {

        if (vec[i] == 0) {

            ret++;

        }

    }



    return ret;

}

unsigned count_zero_recursively(const int* vec, const unsigned len) {

    if (len == 0) {

        return 0;

    }

    else {

        return (vec[0] == 0 ? 1 : 0)

             + count_zero_recursively(vec + 1, len - 1);

    }

}

unsigned count_zero_tail_recursively_aux(

           const int* vec, const unsigned len, const unsigned result) {



    if (len == 0) {

        return result;

    }

    else {

        return count_zero_tail_recursively_aux(

                   vec + 1, len - 1, result + (vec[0] == 0 ? 1 : 0)

                 );

    }

}



unsigned count_zero_tail_recursively(const int* vec, const unsigned len) {

    return count_zero_tail_recursively_aux(vec, len, 0);

}

#include <iostream>

#include <boost/function.hpp>

#include <boost/bind.hpp>

using namespace std;

using namespace boost;



static int add(int a, int b);

static void display(const function<int (int)>& f);



static int add(int a, int b) {

    return a + b;

}



static void display(const function<int (int)>& f) {

    cout << f(100) << endl;

}



int main() {

    display(bind(&add, 50, _1));

    return 0;

}

add :: Int -> Int -> Int

add a b = a + b



display :: (Int -> Int) -> IO ()

display f = putStrLn $ show $ f 100



main :: IO ()

main = display $ add 50

import Control.Monad

import Data.List

import System.Environment



main :: IO ()

main = do word:[] <- getArgs

          input   <- getContents

          mapM_ (putStrLn . format) $ (grep word . lines) input

    where

      format :: (Integer, String) -> String

      format (num, line) = show num ++ ": " ++ line



grep :: String -> [String] -> [(Integer, String)]

grep word xs

    = filter (\ (_, line)

                  -> line `contains` word) $ zip [1..] xs



contains :: String -> String -> Bool

contains world word

    = any (\ tail

               -> word `isPrefixOf` tail) $ tails world

_ lunes, 12 febrero 2007
Cuenta Larga = 12.19.14.1.1; tzolkin = 10 Imix; haab = 14 Pax [Trackback Ping]

No  Points     Name                                                   Hp [max]

  1    4444626  airscope-Sam-Hum-Fem-Law ascended to

                demigoddess-hood.                                     177 [177]

_ viernes, 9 febrero 2007
Cuenta Larga = 12.19.14.0.18; tzolkin = 7 Etznab; haab = 11 Pax [Trackback Ping]

　田口ランディさんのブログにコメント欄が無いのを發見して、なぜ私がこれまでずっと『ブログへのコメント』と云ふものに漠然とした不自然さを感じてゐたのか判った氣がする。

　私は自分の日記（それとも RSS と TB があるからブログ？）で特定の人間に向かって話をする事は滅多に無くて、殆どいつも不特定の人間に向けて書いてゐる。私だけでなく普通さうだらう。そこへ偶然訪れた特定の人がその記事のすぐ下にコメントを書くと、ブログを書いた側は nobody に向かって話してゐるのにコメントを書いた側は個人として相手に話す事になってしまふ。ここに捻れがある。コメントを付ける時の名前欄に「通りすがり」と記入するかどうかとは關係ない。名を伏せようとどうしようと個人がネットに於ける nobody を代表する事は出來ない。

　この捻れを柔らげるには、ブログを書く側とコメントを付ける側の距離をもう少し離してやれば良いのではないか。個人も距離を置けば nobody に取り込まれ、nobody の一部になる。私がこの日記システム、libroverde.cgi を書いた時に、コメント欄は意圖的に外したのに TB は實裝した理由はさう云ふ事だったのだらうと思ふ。TB は他人の領域から響いて來る聲 (こえ) に過ぎず、生身で自分の庭にまで入って來るコメントとはかなり距離が違ふのだ。

_ martes, 6 febrero 2007 Haskell の forall キーワードについて
Cuenta Larga = 12.19.14.0.15; tzolkin = 4 Men; haab = 8 Pax [Trackback Ping]

　Haskell の forall キーワードは途轍もなく難しいし、簡單に讀める資料があまり無い事もあって良く分からなかったのだが、やうやく何とかその尻尾くらゐは掴んだやうに思ふので、その手を離して仕舞はない内に書いて置く。ここに書いてある内容は私の拙い理解に基いてのものであるから、完全に正しいとは確信してゐない。だから、この記事をお讀みになる方にはその點に注意して戴きたい。

型變數のスコープ

mkList :: a -> [a]

mkList x = [x]

mkList :: forall a. a -> [a]

foo :: (forall a. a -> [a]) -> [Int]

foo f = f 100

main :: IO ()

main = print $ foo mkList

mkStrList :: String -> [String]

mkStrList str = [str ++ "!"]

main :: IO ()

main = print $ foo mkStrList -- エラー!

foo' :: (a -> [a]) -> [Int]

main :: IO ()

main = print $ foo' mkStrList

foo' :: (a -> [a]) -> [Int]

foo' f = f 100 -- エラー!

foo' :: (a -> [a]) -> [Int]

foo' f = [123] -- f を呼ばないから問題無い

_ lunes, 5 febrero 2007 Module::Install::Philosophy 日本語譯
Cuenta Larga = 12.19.14.0.14; tzolkin = 3 Ix; haab = 7 Pax [Trackback Ping]

　半年か一年くらゐ前に和譯して置きながら、その飜譯が全然滿足の行くものにならなかった爲にお蔵入りにしてあった Module::Install::Philosophy。最近急にそれを思ひ出したので、折角のこの機會に飜譯を最初からやり直した。

　Philosophy-ja.html

　今囘はそんなにまずくない出來になってゐると思ふ。でも原文を讀める人はそっちを讀んだ方がいいでせう。

　私はもう私用で perl のコードを書く事は殆ど無いだらうし、あったとしても既に perl で書いてしまったものを少し改良したりバグを潰したりする程度なので、CPAN の抱へてゐた社會的な問題については實はそんなに興味があるわけではない。ただ私がこれを和譯する氣にまでなったのは『メンテナンスとデジタル腐敗』の所爲。この問題はかなり長い間、私の惱みの種であって、今でも別に何とかなったわけではない。私は Ingy döt Net が感じてゐるのと同じ罪惡感を感ぜずに濟むやうに、そこから上手く逃がれられるやうに、何とか努力してゐるだけだ。つまり自分にかう言ひ聞かせるわけだ。『興味が失せたのは仕方無いぢゃないか。確かに改良を期待してゐるユーザーは居るかも知れないが、私には時間も氣力も無限にあるわけではないし、過去に書いたコードを放置するのは別に仁義に悖 (もと) る事ではない。そもそも私が書かなければ最初から何も無かったわけだし、世の中には作者が飽きた所爲で何年も放置されてゐるプロジェクトは幾らでもある。第一、意慾に滿ちてもゐないのにどうして良いコードを書けるものか』と。理屈ではないのだ。かう云ふ感覺は。だから幾ら理屈で抑へ込もうとしても上手く行きはしないのだが、他の方法を知ってゐるわけでもない。知ってゐるくらゐならば惱みもしない。

　全く不思議な事なのだが、これと同じ事を Ingy 以外の人物が言ってゐるのを一度も聞いた事が無いのは何故だらう。この問題について表明するのは一種のタブーになってゐる？まさかそんな事はあるまい。本當にタブーならば必ず誰かがそのタブーに触れて、必ず他の者がそれを血走った目で怒鳴り付けるはずだからだ。では、誰もそんな罪惡感は感じてゐない？私と Ingy だけがをかしいのか？それも考へ難い。

_ domingo, 4 febrero 2007 Selfward English Speaking
Cuenta Larga = 12.19.14.0.13; tzolkin = 2 Ben; haab = 6 Pax [Trackback Ping]

　In these days I am bilingual in my mind. For instance, when I feel "彼と話をするといつも酷く疲れる" in Japanese, I feel "He makes me exhausted whenever I talk with him" after the Japanese feeling. (For those who don't speak Japanese, these two sentences have basically an identical meaning.) A similar thing occured when I was practicing touch typing: whenever I felt something, I kept typing the sentence I felt using my imaginary keyboard. That was totally uncontrollable as I couldn't prevent myself from repeating that stupid activity even when what I felt was too serious to allow any humors.

　English is indeed a convenient language to communicate with many people in the earth, but it is neither sophisticated nor linguistically interesting. Especially, the pronouncing system is inconsistent. Is there any good reason to pronounce the word "weird" as wi-ard while no other words that have "ei" in them are pronounced like that? How about the difference between deal and death? How about touch and tout? Such weirdness hardly occurs in any other languages in the earth as far as I know.

　English idioms are also weird that they can't even be easily found as idioms. How can I find e.g. "make it" an idiom if I haven't known that it's an idiom previously? How about "if need be"? The latter is somewhat better because it is syntactically illegal so recognizing it an idiom is easier than the former. "Make it" is abysmal. It always confuses me.

　But well, my favorite part of English is that it has plenty of straightforward negative words than Japanese. Wretched, unpleasant, stupid, ugly, foul, bogus, wacky, bloody, awful, offensive, pesty, tiresome, nasty or hideous! It is amusing to choose from those words to express my sentiment, because it is not easy to say "You mother fucker!" in Japanese.

_ viernes, 2 febrero 2007 日常的使ひ捨てスクリプト書き
Cuenta Larga = 12.19.14.0.11; tzolkin = 13 Chuen; haab = 4 Pax [Trackback Ping]

　中規模以上のソフトウェア、例へば IRC bot や BitTorrent 互換クライアントを所謂 Lightweight Language で書かうとするのは面白い試みではあるが、面白いのは書き始めてからその最初のバージョンが完成するまでの間だけだ。それを一度 (ひとたび) 完成させて「嗚呼やれやれ」とサイトに置き、一年程それを放っておいた後、禍々しくも ToDo リストに溜まってゐたバグ修正や要改良點の山をやうやく片付ける氣になった時――直しても直しても實行時エラーを吐き續けるプログラムを相手に必ず苦戰する事になる。それも實行時エラーになるならまだ良い方で、『0以上の數値が表示されるべき部分に空白文字が表示されてゐる』とか、『一見正常に動いてゐるのに生成されるはずのファイルが生成されない』などと云った厄介な不具合として現れる事も多い。

　要するに或る變數や關數が存在するかどうかが實行時まで分からなかったり、關數の取る引數の數が實行時まで分からなかったり、そもそも變數が型情報を持ってゐなかったりするからプログラム全體の整合性を保つのにプログラマ自身が苦勞しなければならないわけで、コンパイル時にこれらのエラーを檢出出來るのであれば實行時エラーが起こる機會を大幅に減らす事が出來る。勿論この利益はタダで得られるわけではなく、その代はりにソースファイルに書く必要のある文字數が Lightweight Language で書いた場合と比べて大きく増えるから、その分だけ開發初期に必要な時間も長く掛かるやうになる。將來ソースを弄くる時の爲の先行投資だ。

　しかし一度書けば二度と弄らないやうな使ひ捨て（或いは『書き放置』）スクリプトの場合には、このやうな先行投資は必要無く、單に無駄になる。例へば非常に良くある課題―― cdparanoia -Bw はドライブに插入されてゐる音樂 CD の各トラックを慎重に慎重に讀み取りながら、現在のディレクトリに "track01.cdda.wav", "track02.cdda.wav", ... のやうなファイルを作成する。私はこのファイル名規則が氣に入らないので、リッピングが終はった後でも良いから "01.wav", "02.wav", ... のやうなファイル名に變更したい。勿論手動で mv track01.cdda.wav 01.wav などとタイプするのは眞っ平であって、ここは當然スクリプトを書くべき所である。それも出來れば五分で。

　ではどの言語で書くのが最も適切か。

sh

#!/bin/sh



for fname in *; do

    new_fname=`echo "$fname" | sed -e 's/^track\([0-9]\+\)\.cdda\.wav$/\1.wav/'`



    if [ "$fname" != "$new_fname" ]; then

        echo "$fname -> $new_fname"

        mv "$fname" "$new_fname"

    fi

done

#!/usr/bin/perl

opendir my $dh, '.';



while (defined ($_ = readdir $dh)) {

    if (/^track(\d+)\.cdda\.wav/) {

        print "$_ -> $1.wav\n";

        rename $_ => "$1.wav";

    }

}

#!/usr/local/bin/csi -b -q

(use posix

     regex)



(for-each (lambda (fname)

           (match (string-match "track(\\d+)\\.cdda\\.wav" fname)

              [#f      #f]

              [(_ num) (printf "~a -> ~a.wav~%" fname num)

                       (rename-file fname (string-append num ".wav"))]))

          (directory))

#!/usr/local/bin/runhaskell

import System.Directory

import Text.Regex



main :: IO ()

main = do files <- getDirectoryContents "."

          mapM_ fixIfNeedBe files



fixIfNeedBe :: FilePath -> IO ()

fixIfNeedBe fName

    = case matchRegex (mkRegex "^track([0-9]+)\\.cdda\\.wav$") fName of

        Nothing    -> return ()

        Just [num] -> do putStrLn (fName ++ " -> " ++ num ++ ".wav")

                         renameFile fName (num ++ ".wav")

#!/usr/local/bin/runhaskell

import System.Directory

import Text.ParserCombinators.Parsec



main :: IO ()

main = do files <- getDirectoryContents "."

          mapM_ fixIfNeedBe files



fixIfNeedBe :: FilePath -> IO ()

fixIfNeedBe fName

    = case parse paranoia "" fName of

        Left  _   -> return ()

        Right num -> do let newFileName = num ++ ".wav"

                        putStrLn (fName ++ " -> " ++ newFileName)

                        renameFile fName newFileName



paranoia :: Parser String

paranoia = do string "track"

              num <- many digit

              string ".cdda.wav"

              return num

#!/sw/bin/python

import re

import os



for fname in os.listdir("."):

    m = re.match(r'track(\d+)\.cdda\.wav', fname)

    if m:

        print '%s -> %s.wav' % (fname, m.group(1))

        os.rename(fname, m.group(1) + '.wav')

#!/sw/bin/ruby



Dir.entries(".").each do |fName|

  if /^track(\d+)\.cdda\.wav$/ =~ fName then

    print "#{fName} -> #{$1}.wav\n"

    File.rename(fName, $1 + ".wav")

  end

end

2002
   10 11 12
2003
   1 2 3 4 5 6 7 8 9 10 11 12
2004
   1 2 3 4 5 6 7 8 9 10 11 12
2005
   1 2 3 4 5 6 7 8 9 10 11 12
2006
   1 2 3 4 6 7 8 9 10 11 12
2007
   1 2 3 4 5 6 7 8 9 10 12
2008
   1 4