hippos-lab::blog

日頃お世話になっているくせにいざLPIC問題を解いてみると悲惨な結果だったので、きちんとまとめてることにする。あずき本からの抜粋。

yumの設定は/etc/yum.confと/etc/yum.repos.d/ディレクトリ以下のファイルでおこなう。以下の表は、yumコマンドの主なサブコマンド。

とりあえず、しばらくは試験のためわかっていると思われることも再学習することにする。（だいたい曖昧だったりするからね。）

練習問題やった。解答がないのであっているのか...

n個の要素を持つ集合Aについてその二項関係の数

個。そいで、冪集合の要素数は、

個。そのうち、反射関係は

個、対称関係であるものは

個。おもしろい。

スターリング数の漸化式もあったので書き直してみた。

stirling' :: Integer -> Integer -> Integer
stirling' 0 0 = 1
stirling' _ 0 = 0
stirling' 0 _ = 0
stirling' n k = stirling' (n-1) (k-1) + k * (stirling' (n-1) k)

がミソ。組合せ数や階乗を求めない分多少効率が良いかもしれない。

プログラム意味論を飛ばし飛ばし読んでるんだけど、５章の「カテゴリ理論の基礎」が、以前読んで挫折しかけていた「Basic Category Theory for Computer Scientists」の 「１. Basic Constructions」とほぼ同じであることに気づいた。読みながらとっていたメモと比べてもなかなかイケてる。でも、やっぱり日本語で読んだほうが理解が深まるかなぁ

まぁ、結局のところ日本語だろうが英語だろうがわからないことがでで来れば行きつ戻りつしながら、あるいは別の本を探しなら読み進めていくしかないわけで、小説なんかと違ってなかなか「読了！」ってわけにはいかず、少しでも「理解の小島」が大きくなることを信じてこれからも未読の山と格闘していくのだ...

プログラム意味論 (情報数学講座)
	横内 寛文 共立出版 1994-06 売り上げランキング : 89090 Amazonで詳しく見る by G-Tools

Basic Category Theory for Computer Scientists (Foundations of Computing) Benjamin C. Pierce The MIT Press 1991-08-07 売り上げランキング : 17712 Amazonで詳しく見る by G-Tools

例えば、

と、その関係

があるとき、Rの反射閉包は

である。つまり、Rそのものが含まれている必要があるんだね。

ミルカさんに言われるまでもなく例示が理解を助けるな。あたりまえだけど、内容を理解していないと日本語にはうまく訳せない。

問題なのは何故これがmost important closuresのひとつなのか？なんだけど...

久しぶりにProject Eulerの問題74をやった。なんとか解答できたのだけど、最初のバージョンはPreludeにある某関数の存在を知らず自前でコリコリ書いて15分近くも時間がかかったんで正答とは言えそうもない。

fact :: Int -> Int
fact 0 = 1
fact n = n * fact (pred n)

chk :: Int -> Int
chk n = sum $ map (fact.digitToInt) $ show n

cyc :: [Int] -> [Int]
cyc xs = if elem n' xs then xs else cyc (n':xs)
  where
    n' = chk (head xs)

main = do
  let c = length $ filter (\x -> (length x) == 60) $ map (\x -> cyc [x]) [1..999999]
  putStrLn $ show c

最終的には（ウチのマシンで）40秒くらいなんだけど、Forumを見てみると10秒以内ってヒトも結構いるみたいで、正答を出すだけで精一杯じゃホント修行が足りないねぇ。

SharpZipLibを使ったアーカイブの解凍でプログレスバーを表示します。なにしろ、ターゲットユーザは3秒以上の処理では状況表示しないと待っていてくれませんから... :-(  プログレスバーを表示するのは以前書いたエントリC#でサブスレッドからプログレスバーにアクセスする（デリゲート・ラムダ式は快適！）とやり方は一緒です。

解凍の手順は簡単です。アーカイブのタイプに合わせたストリームクラスを作成してReadするだけ。gzipの場合は2回同じ手続きが必要なので注意します。

if (source.EndsWith(".tgz") == true || source.EndsWith(".tar.gz") == true)
{
  GZipInputStream tgz = 
    new GZipInputStream(new FileStream(source, FileMode.Open,FileAccess.Read);

  TarInputStream tar = new TarInputStream(tgz);
  :
}

ストリームを作成したら、アーカイブ内のエントリ毎に読みながらプログレスバーを更新していくだけ。

delegateProgressBar increment_bar = new delegateProgressBar((int v) => 
  { Cursor.Current = Cursors.WaitCursor; progressBar1.Value = v; });


ICSharpCode.SharpZipLib.Tar.TarEntry entry = tar.GetNextEntry();

while (entry != null)
{
  Invoke(new delegateProgressBar((Int32 v) => 
    { progressBar1.Value = 0; progressBar1.Minimum = 0; progressBar1.Maximum = v; }),
            new Object[] { (Int32.MaxValue < entry.Size) ? 
               (Int32)(entry.Size / 65536) : (Int32)entry.Size });

  using (FileStream dest = new FileStream(
    desitination + "¥¥" + entry.Name, FileMode.Create, FileAccess.Write))
  {
    Int32 count = 0;
    Int32 write_total = 0;
    byte[] buffer = new byte[32768];
    using (BinaryWriter br = new BinaryWriter(dest))
    {
      while ((count = tar.Read(buffer, 0, 32768)) > 0)
      {
         br.Write(buffer, 0, count);
         write_total += count;
         if (Int32.MaxValue < entry.Size)
         {
            Object[] inc_arg = { (Int32)write_total / 65536 };
            Invoke(increment_bar, inc_arg);
         }
         else
         {
            Object[] inc_arg = { write_total };
            Invoke(increment_bar, inc_arg);
          }
      }
      br.Flush();
      br.Close();
    }
    dest.Close();
  }
}

プログレスバーのMaximumはInt32なので、巨大なファイルだとパンクするので適当に切り捨てた単位で回さないといけないのが面倒です。まー、プログレスバーなんて出さなくてもヘーキというユーザがターゲットの場合

using (ICSharpCode.SharpZipLib.Tar.TarArchive ta = TarArchive.CreateInputTarArchive(
  new TarInputStream(new FileStream(source, FileMode.Open, FileAccess.Read))))
{
  ta.ProgressMessageEvent += 
    new ProgressMessageHandler(tar_ProgressMessageEvent);
  ta.ExtractContents(desitination);
}

で一発解凍できます。ProgressMessageHandlerを指定しておけばエントリ毎にイベントが上がってきますので取り出し中のエントリ名を表示したりとかくらいはできそうです。（エントリ単位で解凍するってのはやり方がわかりませんでした。）

ところで、このSharpZipLibですが*nix系システムで作成したzipをうまく解凍できないという問題があります。回避方法がハッキリしなかったのでzipに関してはIconic.Zipを使うようにしました。

using (Ionic.Zip.ZipFile zip = Ionic.Zip.ZipFile.Read(source))
{
  zip.ExtractProgress += 
    new EventHandler(extract_zip);
  foreach (Ionic.Zip.ZipEntry entry in zip)
  {
    Invoke(new delegateUpdateLabel((string s) =>{ this.label1.Text = s; }), 
       new Object[] { entry.FileName + " extracting ..." });
    entry.Extract(desitination, ExtractExistingFileAction.OverwriteSilently);
  }
}

こちらは逆にエントリ毎に解凍したバイト数がイベントで上がってきますのでそこでプログレスバーを更新してやればOKです。

500M近いアーカイブを毎日DLするので進捗具合を表示してやるのが必須の要件なんですが、それにしてもみんなセッカチですよ。これで少しは気も収まるかな？

ソースはhttps://github.com/hippos/extract_sampleにあります。

いろんな実験用にServersman@vpsを借りてますが、logwatchから毎日毎日嫌になるくらい不正なアクセスがありますね−。特に、この数週間Dovecotへの不正アクセスが急増してます。まぁ、誰もユーザ作ってないんでログインできないんですけど、もうサービス止めておこうかなと思いますね。で、メールサーバ構築時に止めといた方がいいアカウント名のリストです。ログから抜き出して、sort | uniq -c | sort -rの結果です。