Kahua HEAD

Kahua HEAD: Top Page

Thu, 09 Oct 2008 13:05:15 +0900

Kahua HEAD へようこそ

Kahua とそのアプリケーションである kahua-web について議論したり、実験したりするためのサイトです。実験サイトということは、

Kahua は常に Subversion リポジトリの最新のものを使う
kahua-web は常に Subversion リポジトリの最新のものを使う
頻繁に再起動されるとおもわれる
使い勝手が突然変更されるかもしれない
データが壊れたり、失われる可能性が高いかもしれない
サービスを予告なく停止するかもしれない

ということです。最近は議論より、実験サイトとしての色合いがますます濃くなっています。

今のところ、

この kahua-web にはだれでも login できます。つまり、だれでも編集できます。
Kahua の配布物に含まれているサンプルプログラムの動作を見ることができます
- Kahua Demo
他のコンテンツはどれも放置状態でかなり古くなっています。特にEnjoy Gaucheはかなり古いです。

What's New

(2008-10-09): 本当に久しぶりに、kheadで動作させているKahuaをtrunk(1.1_pre19)に入れ替えました。
(2007-08-31): Kahuaをstable1_0ブランチ先端(1.0.7_pre2)に変更しました。Kahua DemoのWiki-Ikiでログインできなかった不具合が直っています。
(2007-08-01): Kahuaを1.0.6に変更しました。
(2007-07-23): 新サーバへの移行を完了しました。
(2007-07-19): KHeadを新サーバに移行し、http://khead.kahua.org/ に変更しました。週末までに順次kahua.orgのサーバ/サービスを移行していきます。
(2007-07-08): kahua-webをHEAD(0.4_pre2)に変更しました。
(2007-07-05): Kahuaをstable1_0ブランチ先端(1.0.6_pre0)に、kahua-webをHEAD(0.4_pre1)に変更し、RSSのdescriptionにページデータを含める機能を再度有効にしました。
(2007-07-05): RSSのdescriptionとしてページデータをそのまま含める機能を一時的にOFFにしました。
(2007-07-04): kahua-webをHEAD(0.4_pre0)に変更しました。RSSにページ全体をdescriptionとして含めるようになりました。ただし、まだいくつかバグが残っています。RSSの順番と日付がおかしくなっているのはその影響です。
(2007-07-01): Kahuaを1.0.5に変更しました。
(2007-06-29): Kahuaをstable1_0ブランチ先端(1.0.5_pre2)に変更しました。Kahua Demoに挙げているサンプルのコードを最近のテクニックに基づくものにしました。
(2007-06-29): Kahuaをstable1_0ブランチ先端(1.0.5_pre1)に変更しました。
(2007-06-19): Kahuaをstable1_0ブランチ先端(1.0.5_pre0)に更新しました。ごくまれにインデックスキャッシュがおかしくなる不具合が修正されているはずです。
(2007-06-12): kahua-webを0.3.1リリース版に変更しました。
(2007-06-12): kahua-webをHEAD(0.3.1_pre3)に変更しました。NewsやRecent Changesの書式を変えてみました。
(2007-06-11): kahua-webをHEAD(0.3.1_pre1->0.3.1_pre2)に変更しました。ページの探索にインデックススロットを使うようになったので、以前よりはぐっと軽くなったはずです。
(2007-06-08): kahua-webをHEAD(0.3.1_pre0)に変更しました。また、side-paneに「Kahua開発日記」のRSSをインクルードしてみました。
(2007-06-04): kahua-webをHEAD(0.3_pre11)に変更しました。また、諸般の事情により、Kahuaをstable1_0枝先端に変更しました。
(2007-05-29): kahua-webをHEAD(0.3_pre10)に変更しました。トップページの扱いが変更され、"/$admin/home" という名前のページを編集しなくても、編集リンクから編集画面に入れるようになりました。
(2007-05-28): kahua-webをHEAD(0.3_pre9)に変更しました。コメントフォームに素朴なSPAMチェック機構を組み込んであります。
(2007-05-23): kahua-webをHEAD(0.3_pre8)に変更しました。
(2007-05-23): kahua-webをHEAD(0.3_pre7)に変更しました。RSSまわりの改良を行っています。
(2007-05-22): kahua-webをHEAD(0.3_pre6)に変更しました。レイアウトを元に戻しました。カラーリングはそのままです。
(2007-05-18): kahua-webをHEAD(0.3_pre5)に変更しました。認証関係を整理&強化しました。さらにレイアウトとカラーリングを変更しました。
(2007-05-17): kahua-webをHEAD(0.3_pre4)に変更しました。静的コンテンツを埋め込むためのマクロを大幅に拡張しています(がnon-member-editな環境では動かないので、あまり意味はないかも)。
(2007-05-15): kahua-webをHEAD(0.3_pre2)に変更しました。スタイルを微調整中です。
(2007-05-14): kahua-webをHEAD(0.3_pre1)に変更し、スタイルも大幅に書き換えました。
(2007-04-26): KahuaをHEAD(1.1_pre4)に変更しました。
(2007-04-13): KahuaをHEAD(1.1_pre2)に更新しました。
(2007-04-12): KahuaをHEAD(1.1_pre1)に更新しました。
(2007-03-01): SPAMコメントが多すぎる(そればっかりともいう)ので、コメント欄を閉鎖しました。対策を施してから順次再公開します。
(2007-02-15): stable1_0ブランチの変更をHEADにマージしたので、KahuaをHEAD(1.1_pre0)に更新しました。
(2007-02-14): Kahuaをstable1_0ブランチ先端にアップデートしました。問題がなければこれが1.0.2になります。
(2007-01-31): Gaucheを0.8.9に、Kahuaを1.0.1にアップデートしました。
(2007-01-18): Kahuaをstable1_0ブランチ先端にアップデートしました。問題がなければこれが1.0.1になります。
(2007-01-12): KahuaをCVSのstable1_0ブランチ先端にアップデートしました。

>>2006年以前

実験室

Fri, 22 Feb 2008 15:19:45 +0900

実験的な実装やアイデア

[[kahua.css//S式CSSインタプリタ]]

S式CSSインタプリタ、色オブジェクト

[[kahua.js//S式JavaScriptインタプリタ]]

S式JavaScriptインタプリタ

[[キャッシュ機構]]

ページのキャッシュ

[[永続データのマイグレーション]]

プロセスを跨いだデータマイグレーション

[[エントリのディスパッチ]]

部品化テクノロジ

Fri, 22 Feb 2008 15:19:26 +0900

注意事項_

Thu, 19 Jul 2007 14:28:56 +0900

Safari さま、何がいけないのでしょうか

Safari でこのページにアクセスしてから login しようとしても login できない。
Safari でトップページにアクセスして login してからこのページに来ると logout してしまう。
[[利用方法]]のページでもおなじ
新しいサーバに移し、charset=UTF-8で運用を開始したところ、現象が変わった。(2007-07-19)
- Safariでこのページにログインしようとするとログインできずにトップページに飛ばされる。このとき、showの後ろに「注意事項」がUTF-8な文字列としてURLエンコードされた文字列の最後の2bytes分が失われた状態で続いている。
- 他のページでログイン後、このページに来てもログアウトしなくなっている。この時、showの後ろは「注意事項」という文字列がエンコードされずに表示されている。
- [[利用方法]]のページではこの不具合は発生しない。
- 「注意事項」を「注意事項_」にリネームすると問題は発生しない。

ごめんなさい　ＩＥ６さま

IE6 さまの名誉を傷つけるような発言をしたことをお詫びいたします。

ことの経緯

IE6 でこのページにアクセスしてから login するとエラーになる
IE6 でトップページにアクセスして login してからこのページに来て、編集し、commitボタンをクリックするとエラーになる
でも[[利用方法]]のページではエラーはでない

ということがあったために、つい、IE6 さまの名誉を傷つけるような発言をしてしまいました。ゴメンナさい。

原因は、login や commit ボタンをクリックしたあとに戻るページの URL が URL エンコードされていなかったためでした。Mozilla 系のブラウザではそのような不具合が観測されなかったため今まで見逃していたようです。

Kahua Demo

Thu, 19 Jul 2007 00:45:50 +0900

Kahua の配布物に含まれる Sample アプリケーションの動作を見ることができます。

UpdateLog

Wed, 11 Jul 2007 10:20:11 +0900

2006

(2006-12-28): Kahua 1.0にアップデートしました。
(2006-12-27): KahuaをCVS HEAD(1.0rc)にアップデートしました。
(2006-12-22): KahuaをCVS HEADにアップデートしました。
(2006-12-14): Kahua 0.9.1にアップデートしました。
(2006-12-13): Kahua 0.9にアップデートしました。
(2006-11-21): Kahua 0.8にアップデートしました。
(2006-11-20): KahuaをCVS HEADに入れ替えました。問題がなければこれが0.8になります。
(2006-09-29): Kahua-0.7、kahua-web-0.2.6にアップデートしました。
(2006-09-28): Kahua/kahua-webともにCVS HEAD版に更新しました。問題がなければ 0.7/0.2.6 として間もなくリリースします。
(2006-09-28): 誰でもログインして書き込める設定に戻しました。
(2006-09-21): CVS HEAD版に更新しました。トランザクションまわりの改良中です。
(2006-09-21): 都合により、しばらくの間、書き込みできるのは正規アカウントユーザのみとします。ご了承ください。
(2006-09-08): Kahua-0.6にアップデートしました。
(2006-08-05): Kahua-0.5.1、kahua-web-0.2.5にアップデートしました。
(2006-08-02): 稼働環境となるKahua、kahua-webをHEADのものに入れ替えました。ちなみにGaucheもCVS HEAD+unofficial patchesというチャレンジャーなもので動かしています。
(2006-07-05): 稼働環境となるKahuaを開発ブランチ先端のものに入れ替えました。

2005

(2005-05-24): ド素人とKahua始めました。インストールを追加しました。
(2005-03-18): Enjoy Gauche Additional Online Meterialを追加しました。
(2005-02-08): Enjoy Gauche 8章繰り返し 8.3節、8.4節 8.5節を追加しました。
(2005-02-01): Enjoy Gauche 8章を追加しました。
(2005-01-24): Enjoy Gauche 7章データを追加しました。
(2005-01-17): Enjoy Gauche 6.4. 例: 華氏摂氏変換を追加しました。
(2005-01-11): 「B. Gauche でのデバッグ」を書きました。
(2005-01-07): Kahuaのバグ報告用のページとKahuaへの要望用のページを作りました。

iteration

Fri, 06 Jul 2007 11:14:44 +0900

##(toc)

Enjoy Gauche の目次

8. 繰り返し

プログラムでは、「繰り返し」同じ計算をするということが良くあります。例えば、5. 再帰の章の問題 5.1.はまさにそれにあたります。

ここでは、練習問題 5.1. を解きながら、「繰り返し」について考えてみましょう。

8.1. 「n 以下の非負整数の和」

求める関数を sum としましょう。こんなふうに考えると簡単です。

自明な場合、n = 0 の場合、これは明かに 0 です。
0 から n までの和は、n 足す、0 から n - 1 までの和です。

これらを、定義にまとめると

(define (sum n)
  (if (= n 0)
      0
      (+ n (sum (- n 1)))))

実行してみましょう。

gosh> (sum 0)
0
gosh> (sum 1)
1
gosh> (sum 10)
55

8.1.1. ロバストに

つぎに行くまえにちょいとまわり道をします。上で定義した関数はとりあえず正しく動作しますか？ほんとに大丈夫ですか？

ではちょっといじめてみましょうか。

gosh> (sum -1) ^C ;; 止まらないので Control-C で強制終了させる
*** ERROR: unhandled signal 2 (SIGINT)
Stack Trace:
_______________________________________
  0  (sum (- n 1))
        At line 4 of "(stdin)"
  1  (sum (- n 1))
        At line 4 of "(stdin)"
  2  (sum (- n 1))
        At line 4 of "(stdin)"
...

なにが起ってますか？traceしてみましょう。

gosh> (use ggc.debug.trace)
(#<module ggc.debug.trace> #<module gauche.interactive>)
gosh> (trace sum)
#<closure 0x8ae1c00(x)>
gosh> (sum -1) ^C ;; 止まらないので Control-C で強制終了させる
(sum -1)
0:(sum -1)
1:  (sum -2)
2:    (sum -3)
3:      (sum -4)
4:        (sum -5)
5:          (sum -6)
6:            (sum -7)
7:    *** ERROR: unhandled signal 2 (SIGINT)
...

こりゃだめですよね。問題は、sum の引数が、非負でなければならないのに負の数を与えてしまった。からです。すこし、修正しましょう。

(define (sum n)
  (if (negative? n)
      (error "Not non-negative number -- SUM " n)
      (if (= 0 n)
          0
          (+ n (sum (- n 1))))))

与えられた引数が、負だったらエラーになるようにしました。

gosh> (sum -1)
*** ERROR: Not non-negative number -- SUM -1
Stack Trace:
_______________________________________

大丈夫かなぁ。

gosh> (sum 5.5)
*** ERROR: Not non-negative number -- SUM  -0.5
Stack Trace:
_______________________________________
  0  (sum (- n 1))
        At line 25 of "(stdin)"
  1  (sum (- n 1))
        At line 25 of "(stdin)"
  2  (sum (- n 1))
        At line 25 of "(stdin)"
  3  (sum (- n 1))
        At line 25 of "(stdin)"
  4  (sum (- n 1))
        At line 25 of "(stdin)"
  5  (sum (- n 1))
        At line 25 of "(stdin)"

ちょっと、エラーメッセージが変ですよね。「整数じゃなくちゃダメだよ」というメッセージにしたいですね。

(define (sum n)
  (cond ((not (integer? n)) (error "Not integer -- SUM" n))
        ((negative? n) (error "Not non-negative number -- SUM" n))
        (else (if (zero? n)
                  0
                  (+ n (sum (- n 1)))))))

cond は条件によって分岐するためのスペシャルフォーム(特殊形式)です。さてどうでしょう。

gosh> (sum 3.5)
*** ERROR: Not integer -- SUM 3.5
Stack Trace:
_______________________________________
gosh> (sum -2)
*** ERROR: Not non-negative number -- SUM -2
Stack Trace:
_______________________________________
gosh> (sum 10.0)
55.0
gosh> (use ggc.debug.trace)
(#<module ggc.debug.trace> #<module gauche.interactive>)
gosh> (trace sum)
#<closure 0x8ae17a0(x)>
gosh> (sum 5)
0:(sum 5)
1:  (sum 4)
2:    (sum 3)
3:      (sum 2)
4:        (sum 1)
5:          (sum 0)
            ->0
          ->1
        ->3
      ->6
    ->10
  ->15
; trace: sum has been called 6 times.
15

まぁこんなとこですか？

8.2. 繰り返しのパターン

繰り返しのあらわれる関数の定義にはあるパターンが存在します。

8.2.1. 和と階乗との比較

では、5. 再帰で定義した階乗計算と比較してみましょう。両方とも(ロバストではない)素朴な実装で比べてみます。関数名を同じにすると、

和

(define (f n)
  (if (= n 0)
      0
      (+ n (f (- n 1)))))

階乗

(define (f n)
  (if (= n 0)
      1
      (* n (f (- n 1)))))

そっくりですねぇ。違いは

n = 0 だったときに返す値(一方は 0 で他方は 1)
+ か * かです。

8.2.2. 繰り返しパターンを関数にする

このように構造がそっくりで一部だけ違うというのなら、その相違する部分を引数にして、和や階乗を計算する関数を生成することができます。

(define (accumulator-gen b i)
  (lambda (n)
    (if (= n 0)
        i
        (b n ((accumulator-gen b i) (- n 1))))))

引数の b は二つの数値を引数としてとり、数値を返す関数。したがって、+ とか * も b に渡せる関数です。
引数の i は、作った関数の引数が 0 であったときに返す数。

こうすると、たとえば、階乗を計算する関数 fact は

gosh> (define fact (accumulator-gen * 1))
fact
gosh> (fact 10)
3628800

和を計算する方は

gosh> (define sum (accumulator-gen + 0))
sum
gosh> (sum 10)
55

さらに便利なことに、n以下の非負整数の自乗の和というのは、

(accumulator-gen (lambda (x y) (+ (square x) y)) 0)

と定義できますよね。(実行してみる前に、じっくり考えて下さい)

gosh> (define (square x) (* x x))
square
gosh> (define sum-squares (accumulator-gen (lambda (x y) (+ (square x) y)) 0))
sum-squares
gosh> (sum-squares 10)
385

このようにプログラムの中で自由自在に関数つくれるのが、Gauche の醍醐味です。

8.3. もうひとつ別の繰り返しパターン

8.3.1. 「n 以下の非負整数の和」ふたたび

8.1. とは違う考えかたで、「n 以下の非負整数の和」を考えてみましょう。

1. 0に1を足す
2. その結果に2を足す
3. その結果に3を足す

n. その結果にnを足す
nになったのでおわり

という手順です。もうすこしプログラム風にいえば、

計算のあるステップは、それまでの部分的な結果とカウンタをもらって、新しい部分的な結果と更新されたカウンタを計算して次のステップに行く。
もらった、カウンタの値が n を超えていたらそのとき貰った部分的な結果を最終結果として返す

というものです。この方針で、まず「n 以下の非負整数の和」を定義してみましょう。とりあえず関数の名前を sum-iter とでもしておきましょう。

(define (sum-iter partial-sum counter max-count)
  (if (> counter max-count)
      partial-sum
      (sum-iter (+ partial-sum counter) (+ counter 1) max-count)))

これでいいはずです。これで例えば、0 から 10 までの和ということなら、

gosh> (sum-iter 0 0 10)
55

ちゃんと計算できましたね。まえの sum と、この sum-iter の計算が進む様子を手でシミュレートして比較してみましょう。まず、(sum 5)から

(sum 5)
(+ 5 (sum 4))
(+ 5 (+ 4 (sum 3)))
(+ 5 (+ 4 (+ 3 (sum 2))))
(+ 5 (+ 4 (+ 3 (+ 2 (sum 1)))))
(+ 5 (+ 4 (+ 3 (+ 2 (+ 1 (sum 0))))))
(+ 5 (+ 4 (+ 3 (+ 2 (+ 1 0)))))
(+ 5 (+ 4 (+ 3 (+ 2 1))))
(+ 5 (+ 4 (+ 3 3)))
(+ 5 (+ 4 6))
(+ 5 10)
15

つぎに、(sum-iter 0 0 5)

(sum-iter 0 0 5)
(sum-iter 0 1 5)
(sum-iter 1 2 5)
(sum-iter 3 3 5)
(sum-iter 6 4 5)
(sum-iter 10 5 5)
(sum-iter 15 6 5)
15

これを見ると、sum の方は、だんだん長く(括弧の入れ子が深く)なって、それから、だんだんそれが短く(括弧の入れ子が浅く)なっているのに対して、sum-iter の方は、長さが(括弧の入れ子の深さが)変らないことがわかります。

sum のような括弧の入れ子が深くなって、ふたたび浅くなるようなパターンの繰り返し計算のプロセスのことを、再帰的プロセスといいます。また、sum-iter のような括弧の入れ子が変化しないような繰り返し計算のプロセスのことを、反復的プロセスといいます。再帰的プロセス、反復的プロセスというのは、関数の定義が再帰的かどうかということではありません。

8.3.2. 内部定義

「n以下の非負整数の和」を計算するのに必要な情報は、n の具体的な値だけです。ところが、sum-iter では引数が3つもあります。以下のようにすると、引数ひとつだけの、sum-bis が構成できます。

(define (sum-bis n)
  (define (iter partial-sum counter)
    (if (> counter n)
        partial-sum
        (iter (+ partial-sum counter) (+ counter 1))))
  (iter 0 0))

まず、この定義でちゃんと動くことを確かめましょう。

gosh> (sum-bis 5)
15
gosh> (sum-bis 10)
55

では、sum-bis の定義がどのように構成されているのか見てみましょう。

(define (sum-bis n)
  ...
  (iter 0 0))

のようになっていますので、(sum-bis 5) と呼びだすと、(iter 0 0) の結果が返ってきます。この iter が、sum-bis の定義の中に定義されている内部定義の関数です。それが

  (define (iter partial-sum counter)
    (if (> counter n)
        partial-sum
        (iter (+ partial-sum counter) (+ counter 1))))

の部分です。さて、注意深いかたなら、この iter の定義と先の節で定義した sum-iter とが少しだけ違うということに気づいたと思います。それは引数の数です。sum-iter の第3引数であった、max-count がなくなっています。

最初の if 式でカウンタが n を超えたかどうかの判断をしていますね。この n はどこから来たのでしょう。iter の引数として来たわけではありません。これは、sum-bis の引数としてきた n です。このように内部定義の関数は、外側の関数の引数の定義を参照することができます、いいかえれば、 iterが実際に呼ばれる前に定義されていれば、iterは自分の引数ではない変数を参照することができます。

8.3.3. もうひとつの繰り返しパターンの関数

8.2.2. でやったように、反復的プロセスの繰り返しパターンの関数を作ってみましょう。もう簡単ですね。

(define (accumulator-gen-bis b i)
  (lambda (n)
    (define (iter partial-result count)
      (if (> count n)
          partial-result
          (iter (b partial-result count) (+ count 1))))
    (iter i 1)))

そうすると、sum-bis は

gosh> (define sum-bis (accumulator-gen-bis + 0))
sum-bis
gosh> (sum-bis 5)
15
gosh> (sum-bis 10)
55

8.4. 練習問題

問題 8.1
accumulator-gen-bis を使って、階乗を求める関数 fact-bis を定義しなさい。

問題 8.2.
accumulator-gen-bis を使って、n以下の非負整数の自乗の和を求める関数を定義しなさい。

8.5. 小難しい話

8.5.1. 高階関数

関数を引数としたり、返り値が関数であったり、あるいは、その両方であるような関数のことを高階関数といいます。高階関数が定義できるようなプログラミング言語のことを「関数が第一級の計算対象(first-class object) である言語」といいます。この属性は、関数型とよばれるようなプログラミング言語の特徴です。 Gauche をはじめ、あらゆる Scheme、Lisp はこのような「関数が第一級の計算対象(first-class object)」の言語です。 Scheme や Lisp が関数型言語の範疇にいれられことがあるのは、この性質をもつというのがその理由です。

8.5.2. 末尾再帰

計算パターンが再帰プロセスなるような繰り返し計算が正しく行えるのは、 Gauche の処理系が、次にするべき計算を記憶してくれるからです。どういうことかというと、上の手でおこなったシミュレーションでは、

(+ 5 (sum 4))

という部分の計算は、(sum 4) の計算を行って (sum 4) の結果が返ってきたとき「そのあと 5 をそれに足す」ということ(これを継続といいます)を覚えているということです。

一寸処理系を苛めてみましょう。

gosh> (sum 10000000)
GC Warning: Out of Memory!  Returning NIL!
out of memory (20).  aborting...

Process scheme exited abnormally with code 1

ああ、可愛いそうに、継続を覚えておく領域がたりなくなってお亡くなりに。。。

ところが、計算パターンが反復プロセスになるような繰り返し計算の場合にはこのような覚えておくべき継続はありません。そのかわりに、部分計算を partial-sum (あるいは partial-result)という変数で明示的に保持し、それを次のステップに渡しています。引数は増えますが、Gaucheの処理系が裏で覚えなくてもよいことになります。

では同じ計算をやらせてみましょう。

gosh> (sum-bis 10000000)
5000000050000000

ちょっと時間はかかりましたが、ちゃんと計算できましたね。

このような計算パターンが反復プロセスになるような繰り返し計算の定義は定義パターンの形から、「末尾再帰」といいます。

Scheme の処理系では、末尾再帰で定義された計算は、継続を保存する必要がないので保存しないようにすることになっています。

KahuaSeminar

Wed, 04 Jul 2007 14:01:57 +0900

Kahua セミナー(3)

第3回Kahuaセミナーの発表資料やセッションの内容をベースにしたチュートリアルを公開しています。ご利用ください。

インストールのデモで使ったコマンド列

      % tar xzf Kahua-1.0.1.tgz
      % cd Kahua-1.0.1
      % ./configure --prefix=/usr/local/kahua ?
      --with-site-bundle=/tmp/examples
      % make
      % make -s check
      % sudo make install
      % PATH=/usr/local/kahua/bin:$PATH
      % kahua-package create /tmp/examples
      % rm /tmp/examples/app-servers
      % make install-examples

スーパバイザの起動

% kahua-spvr -S /tmp/examples -H 8888

開発ユーザ追加

% kahua-admin -S /tmp/examples
spvr> ls
wno   pid type         since        wid
  0 22056 lambdabooks  Jan 19 18:03 h0o:cjt3
  1 22057 wiki-iki     Jan 19 18:03 h0p:4wjzv
  2 22058 login        Jan 19 18:03 h0q:5sklz
spvr> reload  
(lambdabooks wiki-iki login foldlist lambdacalcul nqueen lazy-nqueen)
spvr> adduser bizenn hogehoge
done
spvr> lsuser
("bizenn")
spvr>

kahua-shell

% kahua-shell -S /tmp/examples
Welcome to Kahua.
username: bizenn
password: 
wno type         since        wid
  0 lambdabooks  Jan 19 18:03 h0o:cjt3
  2 login        Jan 19 18:03 h0q:5sklz
  3 wiki-iki     Jan 19 18:04 h2c:2jja9
select wno> 0

lambdabooks(h0o:cjt3)> (map identity (make-kahua-collection <kahua-user>))
(#<<kahua-user> 0x12991a0> #<<kahua-user> 0x12a5478>)
lambdabooks(h0o:cjt3)>

Emacsとの連携

kahua.elをEmacsのload-pathが通ったディレクトリにコピーします。

% cp emacs/kahua.el ~/lib/elisp

.emacsに以下のコードを追加する。

(require 'kahua)
(append '(("??.kahua$" . kahua-mode)) auto-mode-alist)
(custom-set-variables
 '(kahua-site-bundle "/tmp/examples"))

Emacsからkahua-adminを呼んでみましょう。
M-x run-kahua

Emacsからkahua-shellを呼んでみましょう。
M-x run-kahua-shell

日誌

Wed, 04 Jul 2007 14:00:20 +0900

Kahua の開発や、Kahuaのアプリケーションの運用の記録

不定期更新の予定

不定期っつーても古過ぎ。消しちゃおうかしら。

2004-08-04

/. ed によりOSS-WEBパンク

(株)タイムインターメディアのサイトで、Kahua のアプリケーション kahua-web をつかって、08/02 より、OpenSource WEB を運営しはじめました。

「ゆっくり、試行錯誤しながら、少しずつ、コンテンツを蓄えていこう。アクセスは徐々に増せればいいでしょう」なんて悠長なことをほざいていたら。。。 /. ed されてアクセスが想定を超えてバクハツ。大富豪 Kahua を慎しやかなマシンで動かしていたものだから、贅沢な Kahua にメモリを食われて、大量のスワップアウトが発生。おかげで、Load アベレージが激増、個々のプロセスがスローダウン。しまいには、コンソールからの操作もできなくなるありさま。そのときの経過を今後の教訓として記憶に留めるために公開します。

「イタイ」気な技術者のタコっ気たっぷりの対応を御笑覧あれ。

経過

06:51 /. に「Open Source WEB」に関する投稿。

08:48 /. ed になったせいで、アクセスが重くなっているとの一報のメールが、 Kahua 開発メイリングリストにとどく。プロセス監視などサービスの挙動に留意せよとの注意も書かれていた。

10:00頃アクセスが重いことに気づく。この時点でまだ先のメールは、読んでいなかった。これはプロセス監視をしないといけないなぁと、具体的方法を知らないのに、悠長に、どんな方法があるかしらん。とか考えていた。

10:50頃 Socket エラーのメッセージが画面が出ていることに気づいた。 Kahua 開発メイリングリストのメールに気づく。

11:14 Kahua 開発メイリングリストに先のエラーメッセージとともに、メールをを投稿

11:30頃サーバにリモートでログインできなくなっていることに気づく。サーバ機管理者にやっと相談。コンソールでログインを試みるが、既にコンソールからのログインに5分以上かかるような状態。どうする？
12:00頃サービスを別のプチブルマシンに移動することを決断。社内に待機中のマシンはあるものの、すでに予約済み。ううむ。。。。稼働中の、スペックの良いマシンに載せることを決定。元のサーバ機をリブート。OSS-WEBのサービス停止。移動作業開始。

18:00頃さんざんてこずったあげくに、移動完了。
web アクセス解析ツールの仕込み
バックアップ用スクリプト仕込み

20:00頃すでにアクセスが減っている。おおよそのところは安定しているように見える。

数字

旧いマシン

PC: K6 500MHz
Memory: 256MB
Swap: 512MB
OS: FreeBSD 4.8-RELEASE-p23

新しいマシン

PC: Pentium 4 2.4GHz
Memory: 1 GB
Swap: 1 GB
OS: Debian GNU/Linux 3.0 woody

Apache のアクセスログ

06:30 から 30分間毎のOSS-WEBへのアクセス(KahuaのCGIブリッジへの GET リクエスト)

時間帯	GET
06:30 -	23
07:00 -	229
07:30 -	387
08:00 -	460
08:30 -	792
09:00 -	801
09:30 -	790
10:00 -	813
10:30 -	704
11:00 -	676
11:30 -	687
12:00 -	497

12:18 ころに System を再起動する直前のプロセス

プロセス総数	313
KahuaのCGIブリッジのプロセス	115
ApacheのHTTPdプロセス	157
SwapOut	240 MB (記録がなく記憶の値)

Enjoy Gauche

Wed, 04 Jul 2007 13:59:46 +0900

いっしょに Gauche プログラミングを楽しみましょう。

これから少しずつGaucheプログラミングのガイドを書いていきます。ご意見、ご感想、ご指摘、ご提案などありましたら、コメントフォームからどんどん書き込んでください。 ##(toc)

Enjoy Gauche 目次

##(toc "eg/intro") ##(toc "eg/define") ##(toc "eg/source") ##(toc "eg/emacs") ##(toc "eg/recursion") ##(toc "eg/script") ##(toc "eg/data") ##(toc "eg/iteration") ##(toc "eg/install") ##(toc "eg/debug")

Enjoy Gauche 全般に関するコメント

この記事全般についてのご意見、ご感想、ご指摘、ご提案などありましたら、どしどし記入してくださいまっせ。

(コメント欄記入の際の注意)

再編集はできません
一行を適当な長さで改行してくださいませ
Name欄が空だとコメントが追加されませんのでニックネームを記入してください

Additional Online Material

Gaucheプログラミング関連で、これまで公開してきた資料を紹介します。(2005.3.18)

Kahua でたのしい Web プログラミング (HTML)|(tarball(3.4MB))
GaucheによるSchemeプログラミング (HTML) (tarball(2.3MB))
継続渡しによるWebアプリケーション (HTML) (tarball(2MB))

Site Map

Wed, 04 Jul 2007 13:58:54 +0900

Kahua デモ
- Kahua Demo
たのしい Gauche
- Enjoy Gauche
ド素人とKahua
- ド素人とKahua
Enjoy Kahua
[[SandBox//練習ページ]]

[[SICP読書会]]

個人ページ:

[[nobsun]]
[[hoti]]
[[yasuyuki]]
[[moheji]]
[[shibata]]

ド素人とKahua

Wed, 04 Jul 2007 13:58:34 +0900

Kahuaは簡単にプログラムができるらしい。では、ド素人の私がKahuaを使えるようになるのか？実際にやってみていきたいと思います。

##(toc)

1. [[dkj/インストール]] (2005.5.24)

eg

Wed, 04 Jul 2007 13:58:13 +0900

いっしょに Gauche プログラミングを楽しみましょう。

これから少しずつGaucheプログラミングのガイドを書いていきます。ご意見、ご感想、ご指摘、ご提案などありましたら、コメントフォームからどんどん書き込んでください。

Enjoy Gauche 目次

1. イントロダクション

1.1. はじめに

1.2. Gauche を対話モードで起動してみよう

1.5. 練習問題

2. 名前を付ける

2.1. 算数の問題

2.2. 関数

3. プログラムファイル

4. Emacs のすすめ

5. 再帰

6. スクリプトプログラム

7. データ

7.1. 論理値

7.2. 数値

7.3. 文字

7.4. シンボル

8. 繰り返し

8.1. 「n 以下の非負整数の和」

8.1.1. ロバストに

8.2. 繰り返しのパターン

8.3. もうひとつ別の繰り返しパターン

A. Gaucheのインストール

A.1. 正式リリースからのビルド

A.2. CVS リポジトリ

B. Gauche でのデバッグ

Enjoy Gauche 全般に関するコメント

この記事全般についてのご意見、ご感想、ご指摘、ご提案などありましたら、どしどし記入してくださいまっせ。

(コメント欄記入の際の注意)

再編集はできません
一行を適当な長さで改行してくださいませ
Name欄が空だとコメントが追加されませんのでニックネームを記入してください

Additional Online Material

Gaucheプログラミング関連で、これまで公開してきた資料を紹介します。(2005.3.18)

Kahua でたのしい Web プログラミング (HTML)|(tarball(3.4MB))
GaucheによるSchemeプログラミング (HTML) (tarball(2.3MB))
継続渡しによるWebアプリケーション (HTML) (tarball(2MB))

くに: (Sun Nov 13 00:02:42 2005 )

横スクロールバーが出て読みにくいところが
あるのですが、なんとかならないでしょうか？

び: (Mon May 28 18:08:53 2007 )

あまりにコメントSPAMがひどかったので長らく閉鎖していましたが、コメント欄を復活して
みました。素朴なコメントSPAMチェックを行っています。

び: (Mon May 28 18:13:59 2007 )

なお、URLは本文中にひとつしか含められません。また、HTMLタグは解釈しません。
BBcodeも同様です。いずれも含まれた場合はコメントSPAMであると判断します。

び: (Mon May 28 18:24:37 2007 )

しばらく試験運用した後、SPAM判断のルールは適宜変更します。

び: (Tue Jun 5 12:34:44 2007 )

何だかよくわからない英語のメッセージを削除しました。

び: (Fri Jun 8 09:06:55 2007 )

preに対して、overflow: auto; を設定しました。これで、ページ全体に横スクロールバーが出てしまう問題は
(一部のブラウザを除けば)回避できると思います。単にコメントごとに横スクロールバーが出るようになるだけ
なのですが。

９℃: (Thu Jul 5 12:42:17 2007 )

gauche初心者で、いろいろ参考にさせていただいております。

こちらに書くことがどうか分からないのですが、
8.3.3. にある accumulator-gen-bis の定義について。

最後の行にある
(iter i 0)))
は
(iter i 1)))
とすべきではないでしょうか？

現状の定義で、練習問題8.1にある
階乗の定義
(define fact-bis
  (accumulator-gen-bis * 1))
を行うと引数に関わらず0が返ります。

(iter 1 0)
=(iter (* 1 0) (+ 0 1))
=(iter 0 1)
=(iter (* 0 1) (+ 1 1))
=(iter 0 2) -> 0 (at n=1) ->1が返るべき
=(iter (* 0 2) (+ 2 1))
=(iter 0 3) -> 0 (at n=2) ->2が返るべき

count を1から始めると正しく動作します。
(iter 1 1)
=(iter (* 1 1) (+ 1 1))
=(iter 1 2) -> 1 (at n=1) 1!=1
=(iter (* 1 2) (+ 2 1))
=(iter 2 3) -> 2 (at n=2) 2!=2
=(iter (* 2 3) (+ 3 1))
=(iter 6 4) -> 6 (at n=3) 3!=6

countを1からにしても、sum-bisには問題ありませんでした。count=0の処理を行っても0を加算するだけなので。

…それとも、accumulator-gen-bis の引数を工夫して何かうまくできるものなのでしょうか。

び: (Fri Jul 6 11:17:23 2007 )

ありがとうございます。ご指摘の通りだと思うので修正しました。そもそも繰り返し回数がcount+1になっちゃい
ますからね。

び: (Fri Jul 6 11:35:27 2007 )

> 繰り返し回数がcount+1に
count+1じゃなくてn+1だった...

なお、「Easy Gauche」はほぼ放置状態なので、ひょっとすると、こちらの方がいいかもしれません。
http://karetta.jp/book/gauche-hacks

debug

Thu, 01 Mar 2007 17:35:03 +0900

##(toc)

Enjoy Gauche の目次

B. Gauche でのデバッグ

プログラムが、思いどおり動かないとき、原因を探る必要があります。それぞれの手続き(プロシージャ)が「意図したとおり動いているか」を知る必要があります。

B.1. リーダマクロ #?=expr

これは、C 言語をつかったプログラミングでは、「printf デバッグ」などと言われることのある古典的なデバッグ手法のためのマクロです。 #?=expr は (debug-print expr) のように読まれ、これは、expr を評価してその値を返しますが、評価の直前に評価する式を、評価直後にその値を、印字します。

以下は、リファレンスマニュアルにある例です。

gosh> #?=(+ 2 3)
#?="(stdin)":1:(+ 2 3)
#?-    5
5

gosh> #?=(begin (print "foo") (values 'a 'b 'c))
#?="(stdin)":2:(begin (print "foo") (values 'a 'b 'c))
foo
#?-    a
#?+    b
#?+    c
a
b
c

gosh> (define (fact n)
        (if (zero? n)
            1
            (* n #?=(fact (- n 1)))))
fact
gosh> (fact 5)
#?="(stdin)":6:(fact (- n 1))
#?="(stdin)":6:(fact (- n 1))
#?="(stdin)":6:(fact (- n 1))
#?="(stdin)":6:(fact (- n 1))
#?="(stdin)":6:(fact (- n 1))
#?-    1
#?-    1
#?-    2
#?-    6
#?-    24
120

B.2. ggc.debug.trace

skim さんの ggc ライブラリに ggc.debug.trace というモジュールがあります。これには、trace というマクロとuntrace というマクロが定義されています。trace を使うと、手続きの呼出しをその引数の値とともに追跡することができます。untrace は trace を解除するマクロです。

gosh> (use ggc.debug.trace)
(#<module ggc.debug.trace> #<module gauche.interactive>)
gosh> (define (tarai x y z)
        (if (<= x y)
            y
            (tarai (tarai (- x 1) y z)
                   (tarai (- y 1) z x)
                   (tarai (- z 1) x y))))
tarai
gosh> (trace tarai)
#<closure 0x806b500(x)>
gosh> (tarai 4 2 1)
0:(tarai 4 2 1)
1:  (tarai 3 2 1)
2:    (tarai 2 2 1)
      ->2
2:    (tarai 1 1 3)
      ->1
2:    (tarai 0 3 2)
      ->3
2:    (tarai 2 1 3)
3:      (tarai 1 1 3)
        ->1
3:      (tarai 0 3 2)
        ->3
3:      (tarai 2 2 1)
        ->2
3:      (tarai 1 3 2)
        ->3
      ->3
    ->3
1:  (tarai 1 1 4)
    ->1
1:  (tarai 0 4 2)
    ->4
1:  (tarai 3 1 4)
2:    (tarai 2 1 4)
3:      (tarai 1 1 4)
        ->1
3:      (tarai 0 4 2)
        ->4
3:      (tarai 3 2 1)
4:        (tarai 2 2 1)
          ->2
4:        (tarai 1 1 3)
          ->1
4:        (tarai 0 3 2)
          ->3
4:        (tarai 2 1 3)
5:          (tarai 1 1 3)
            ->1
5:          (tarai 0 3 2)
            ->3
5:          (tarai 2 2 1)
            ->2
5:          (tarai 1 3 2)
            ->3
          ->3
        ->3
3:      (tarai 1 4 3)
        ->4
      ->4
2:    (tarai 0 4 3)
      ->4
2:    (tarai 3 3 1)
      ->3
2:    (tarai 4 4 3)
      ->4
    ->4
  ->4
; trace: tarai has been called 29 times.
4
gosh> (untrace)
()
gosh> (tarai 4 2 1)
4

install

Thu, 01 Mar 2007 17:34:24 +0900

##(toc)

Enjoy Gauche の目次

A. Gaucheのインストール

Gauche はソースアーカイブとして配布されています。Debian GNU/Linux や FreeBSD などのパッケージとしても配布されているようですが、最新のものではありません。最新のものを使うには、ソースアーカイブファイルをダウンロードして、自分でビルドしてインストールする必要があります。したがって、gcc や make がお使いのシステムにインストールされていることが必要です。

A.1. 正式リリースからのビルド

A.1.1. ソースアーカイブファイルの取得

Gauche の公式サイト(日本語) へブラウザでアクセス
ダウンロードのページへ移動。ここに簡単なインストール方法が書いてあります。
ダウンロードのページにの最初の方に、ダウンロードのためのリンクがあります。現時点ではGauche-0.8.7.tgz が最新バージョンです
ダウンロードのためのリンクをクリックすると、ミラーサイトの一覧がでてきますので、適当なところの Download 欄をクリックして、ソースアーカイブファイルを取得して、適当なディレクトリに保存してください。

A.1.2. アーカイブファイルからのビルド

1. 展開
ソースアーカイブファイルを適当なディレクトリに保存したら、これを展開します。
```
$ tar zxf Gauche-0.8.3.tgz
```

2. ディレクトリ移動
展開すると、Gauche-0.8.3 というサブディレクトリができて、そのディレクトリ以下にソースコードが展開されています。このサブディレクトリに移動します。
```
$ cd Gauche-0.8.3
```

3. configure
configure スクリプトを起動します。configure スクリプトにはいろいろなオプションがあります。その内容が知りたければ、まず、
```
$ ./configure --help
```
とやって、下さい。なにも指定しない場合には、Gauche は /usr/local 配下のサブディレクトリにインストールされます。ここでは、$HOME/gauche 以下にインストールすることにします。
```
./configure --prefix=$HOME/gauche
```
configure スクリプトの実行 log は config.log というファイルに保存されます。

4. ビルドおよびチェック
configure がエラーなく終了したら、次は、ビルドします。
```
$ make
```
これも、エラーなく終了したら、チェックを走らせます。
```
$ make check
```
いろいろなテストが行われ、すべてパスしたら、
```
$ make install
```
します。

5. パスの設定
Gauche のインタープリタがフルパスでなくても起動できるように環境変数 PATH を設定します。シェルが bash なら、
```
$ export PATH=$HOME/gauche/bin:$PATH
```
とします。$HOME/.bashrc に
```
export PATH=$HOME/gauche/bin:$PATH
```
と書いておけば、ログインのたびに環境変数を設定する必要がなくなります。

6. バージョンの確認
-V オプションを付けて、gosh を起動します。
```
$ gosh -V
Gauche scheme interpreter, version 0.8.3 [euc-jp]
```
これでインストールが終りです。

A.2. CVS リポジトリ

最先端のバージョンの「追っかけ」をやりたければ、sourceforge の cvs リポジトリが利用できます。

ただし、CVS リポジトリのものをビルドするには最新の正式リリースのソースアーカイブから作成した Gauche がインストールされている必要があります。また、2.54 以上のバージョンの autoconf が必要です。

1. cvs ログイン
最初のcvsアクセスの時だけ、login が必要です。
```
$ cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/gauche login
```
パスワードを訊かれますが、何も入れず、ENTERキーを押してください。

2. チェックアウト
cvs login でエラーがでなければ、以下のようにするとGaucheの最先端のソースファイル一式がチェックアウトできます。
```
$ cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/gauche checkout Gauche
```

3. 準備 configure ファイルなどの準備をします。
```
$ cd Gauche
$ ./DIST gen
```

4. configure、make、make check、make install ここからは、正式リリースのソースアーカイブファイルからのビルドと同じ手順です。
```
$ ./configure --prefix=$HOME
$ make
$ make check
$ make install
$ export $PATH=$HOME/gauche/bin:$PATH
```

5. ワーキングディレクトリの更新ワーキングディレクトリ内で、
```
cvs up -dP
```
とすれば、いつでも最新の状態になります。

Kahua HEAD

Kahua HEAD: Top Page

Kahua HEAD へようこそ

関連リンク

What's New

実験室

実験的な実装やアイデア

[[kahua.css//S式CSSインタプリタ]]

[[kahua.js//S式JavaScriptインタプリタ]]

[[キャッシュ機構]]

[[永続データのマイグレーション]]

[[エントリのディスパッチ]]

部品化テクノロジ

注意事項_

Safari さま、何がいけないのでしょうか

ごめんなさい ＩＥ６さま

Kahua Demo

UpdateLog

2006

2005

iteration

8. 繰り返し

8.1. 「n 以下の非負整数の和」

8.1.1. ロバストに

8.2. 繰り返しのパターン

8.2.1. 和と階乗との比較

8.2.2. 繰り返しパターンを関数にする

8.3. もうひとつ別の繰り返しパターン

8.3.1. 「n 以下の非負整数の和」ふたたび

8.3.2. 内部定義

8.3.3. もうひとつの繰り返しパターンの関数

8.4. 練習問題

8.5. 小難しい話

8.5.1. 高階関数

8.5.2. 末尾再帰

KahuaSeminar

Kahua セミナー(3)

インストールのデモで使ったコマンド列

スーパバイザの起動

開発ユーザ追加

kahua-shell

Emacsとの連携

日誌

2004-08-04

/. ed によりOSS-WEBパンク

経過

数字

旧いマシン

新しいマシン

Apache のアクセスログ

12:18 ころに System を再起動する直前のプロセス

Enjoy Gauche

Enjoy Gauche 目次

Enjoy Gauche 全般に関するコメント

Additional Online Material

Site Map

個人ページ:

ド素人とKahua

eg

Enjoy Gauche 目次

Enjoy Gauche 全般に関するコメント

Additional Online Material

debug

B. Gauche でのデバッグ

B.1. リーダマクロ #?=expr

B.2. ggc.debug.trace

install

A. Gaucheのインストール

A.1. 正式リリースからのビルド

A.1.1. ソースアーカイブファイルの取得

A.1.2. アーカイブファイルからのビルド

A.2. CVS リポジトリ

ごめんなさい　ＩＥ６さま