3/8の出来事
～おやつの時間頃～
＿＿＿_
／ ＼
／ _ノ ⌒＼ 東京についたお
／ （○） （○） ＼ 朝の5時から電車に乗り続けて
| （__人__） | 既にしんどいお…
/ ∩ノ ⊃ ／
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
～しばらくして～
＿＿＿_
／⌒ ⌒＼
／（ ●） （●）＼
／::::::⌒（__人__）⌒::::: ＼ 会場に着いたお!!!
| |r┬-| |
＼ `ー’´ ／
＿＿＿
／ ＼
／ノ ＼ u. ＼ なんか控え室とやらに案内されたお…
／ （●） （●） ＼ なんだかよく分からないというか、
| （__人__） u. | 何にも分からないお…
＼ u.｀ ⌒´ ／ あ、なんだか人が集まり始めてきたお!
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一””””~~｀`’ー–､ -一”””’ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
ざわ・・・ざわ・・・
, ’´￣￣｀ ｰ-､
／ 〃” ｀ヽ､ ＼
/ ﾊ/ ＼ﾊﾍ
|i ､ |ﾘ ’ }_}ハ
|i | 从 ● ●ｌ小N だから、Gaucheはこの機能がなくて困るにょろ。
|i （| ⊂⊃ ､_,､_, ⊂lｉ|ノ 次のバージョンでは付けてほしいにょろ。
| i⌒ヽ j （_.ノ ﾉi|__
| ヽ ヽx＞､ __, イｌ |::::
| ∧__,ﾍ}::ﾍ三|:::::/ｌ| |’,:::::
| ヾ_:::ッﾘ :::∨:／ | | >”
i^,＼ ＿,,＿ ／＾ｌ
ｌノ ＼ i|l ／ヾﾉ
ｼ “ （ ●） （● ）ﾐ ｷﾘｯ
ﾒ ＝ ⌒（__人__）⌒=ヽ 皆でshiroさんに頼んでみたらどうでしょうか
彡 ;ミ ここで頼めば付けてくれるかもしれませんよ。
ヾ ﾝ
/ ”” |
,.. — ..
,..-.:.￣.:..:..:.. : : : : ｀丶、
／:..:..:. ..: : : : : : : : : : : : :＼
/:ﾍ=､､:.＿: : : : ＿＿:ヽ:_: -^,.ﾄ､
ノ:..:..:./:.. ￣: :７´:―― : :|‐: :´､: ヽヽ
ｰ-/:..:.i:../:. : : ,/:..:.:ｲ:.ﾊ:.. : j:.. :}:.､ヽ:. ﾄヽ
!:..:..:|:.{/:..ィ_jz≦ﾉ ‘ }:.／_}_ｲ:. } |:.｜||
Vl:.:.|:. Vl´｢＿ ､｀ ﾉ′ ＿ﾉ:ｿ:ｲ: ﾘ ﾉ
. }:ハ: : l f7｢::｀ﾊ /:::7}7ｲ:/}/
ﾉﾍｰl､: :!VZﾂ ﾋ:ﾉ/:.//
｀ｨﾍ:ﾄ､ _ _ ノ:ｲ/
rく､＼｀ ヽ二コ:千:|K、′ ・・・・・。やっぱりその機能はほしい。
|:..:ヽヽ＼: :Yﾆ|: :!:/j!:.l こないだも、ソース書いたときに云々・・・・・・。
ﾄ:..:..:.＼ヽ＼!r|┴＝ミ!r ァ７
｜!::.:..:.ヽ＼ヽ|! /７ /
j::.l::..:..:.⌒ｰｧ⌒} / / /^}
|::.:.＼::..::.::.::>ｰ’―-L∠_¨´
l::.::.:..:.￣￣ト ､, –､―弋i
ヽ::.:..:..:.::..∧/ ヽ i _ .. -―
｀｀ｰニ´／ー-､ | _|
_. -― ￣ ト―.:｢:.:l
ヽ:..__:L_|
ざわ・・・ざわ・・・
／ ＼
／ノ ＼ u. ＼ ！？
／ （●） （●） ＼ (言葉の意味が分からないお…)
| （__人__） u. |
＼ u.｀ ⌒´ ／
＿＿＿_
／ ＼！？？
／ u ノ ＼ （本当に右も左も分からないお…）
／ u （●） ＼
| （__人__）|
＼ u .｀ ⌒／
＿＿＿_
／::::::::::::::::＼
／::::::─三三─＼
／:::::::: （ ○）三（○）＼
|::::::::::::::::::::（__人__）:::: | あと、Tシャツ1枚だと肌寒いお!
＼::::::::: |r┬-| ,／
ノ:::::::::::: `ー’´ ＼
／:::::::::::::::::::::
|::::::::::::::::: ｌ
／￣￣＼
／ _ノ ＼ ■ gauche.night出演者控え室
| （ ●）（●） 多数のSchemerの会話を聞ける貴重な場所
| （__人__） もちろん皆Gaucheを熟知している
| ｀ ⌒´ﾉ
| } Gaucheも知らない上に、
ヽ } Schemeも普段書いてない人が潜入すると、
ヽ､.,＿＿ __ノ いるだけでダメージを受け続ける。
_, ､ -― ””::l:::::::＼ｰ-..,ノ,､.ﾞ,i ､
/;;;;;;::ﾞ:’:､::::::::::::|＿:::;､>､_ l|||||ﾞ!:ﾞ､-､_
～開幕直前～
＿＿＿_
／⌒ ⌒＼ 室温に慣れてきたせいか、
／（ ●） （●）＼ 寒くなくなってきたお
／::::::⌒（__人__）⌒::::: ＼ そして、そろそろはじまるお!
| |r┬-| |
＼ `ー’´ ／
＿＿＿_
／⌒ ⌒＼ まあ、高校時代までは
／（ ―） （―）＼ 真冬の駅伝大会も袖なしのユニフォームで
／::::::⌒（__人__）⌒::::: ＼ 走っていた人種だお。
| | Tシャツ1枚あれば大丈夫だお
＼ ／ ゆとりは風邪ひかないお
＿＿＿_
／ ＼
／ ─ ─＼ （出番がまだ先とはいえ、そろそろ覚悟を決めるお…
／ （●） （●） ＼ ここはひとまず…)
| （__人__） |
/ ∩ノ ⊃ ／
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
＿＿＿_
／＼ ／＼
／（ ●） （●）＼
／ :::::⌒（__人__）⌒:::::＼
| |r┬-| |
＼ ｀ ー’´ ／
／ ＼
|￣￣￣￣￣￣￣￣￣ | ﾄﾝ
_（,,) ビール1つ！ (,,）_
／ | .| ＼
／ | .| ＼
.|＿＿＿＿＿＿＿＿＿_|
～gauche,night開幕～
／ ＼
／ノ ＼ u. ＼ いよいよ始まってしまったお…
／ （●） （●） ＼ (やる夫の出番はもう少しさきだお…)
| （__人__） u. |
＼ u.｀ ⌒´ ／
／￣￣＼
／ _ノ ＼ ■ gauche.night構成
| （ ●）（●） (第一部前半)Gauche本ができるまでの話
| （__人__） (第一部後半)座談会「R6RSを斬る」
| ｀ ⌒´ﾉ (第二部)デモ大会「gauche.gong」
| }
ヽ } 第一部は前半と後半に分割された。
ヽ､.,＿＿ __ノ 「プログラミングGauche」が刷り終わったのは
_, ､ -― ””::l:::::::＼ｰ-..,ノ,､.ﾞ,i ､ gauche.nightの前日だったらしい。
/;;;;;;::ﾞ:’:､::::::::::::|＿:::;､>､_ l|||||ﾞ!:ﾞ､-､_
～第一部後半開始～
, ‘´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{|
Ｎ| “ﾟ’` {“ﾟ｀lﾘ それでは座談会の
ﾄ.i ,__”_ ! 出演者に舞台に上がってもらいましょう!
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|
／￣￣￣＼
／ ─ ─ ＼
／ <○> <○> ＼. さあ、いくお!
| （__人__） し | 別に緊張なんてしてないお!!!
＼ ｀ ⌒´ ／
／ ＼
, ‘´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{|
Ｎ| “ﾟ’` {“ﾟ｀lﾘ 出演者の方、自己紹介をお願いします。
ﾄ.i ,__”_ ! まずは、私の左側のやる夫さん。
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|
＿＿＿_
／＼ ／＼
／（ ●） （●）＼ 知ってる人はしってると思いますが、
／ :::::⌒（__人__）⌒:::::＼ リリカルLispというわけの分からないものを
| |r┬-| | 作ったやる夫だお!
＼ ｀ ー'´ ／
, '´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{|
Ｎ| "ﾟ'` {"ﾟ｀lﾘ 「私とGaucheとの関わり」という話を
ﾄ.i ,__''_ ! お願いします。
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|
＿＿＿_
／ ＼
／ _ノ ⌒＼ (Gaucheとの関わり…)
／ （○） （○） ＼
| （__人__） |
/ ∩ノ ⊃ ／
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
＿＿＿_
／::::::::::::::::＼
／::::::─三三─＼
／:::::::: （ ○）三（○）＼ あ り ま せ ん お！！！！
|::::::::::::::::::::（__人__）:::: |
＼::::::::: |r┬-| ,／
ノ:::::::::::: `ー'´ ＼
／:::::::::::::::::::::
|::::::::::::::::: ｌ
, '´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{|
Ｎ| "ﾟ'` {"ﾟ｀lﾘ ……それでは次の方。
ﾄ.i ,__''_ !
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|
＿＿＿_
／ ＼
／ _ノ ヽ､_ ＼ (やる夫はもう役割を果たしたお…
／ oﾟ⌒ ⌒ﾟo ＼ もうゴールしていいお?)
| （__人__） |
＼ ｀ ⌒´ ／
／￣￣＼
／ _ノ ＼ ■ 座談会の内容
| （ ●）（●） きっと他の方がまとめてくれると思うので、
| （__人__） ここには特に書かない。
| ｀ ⌒´ﾉ
| } 個人的に気になったのが、
ヽ } 表示的意味論をやめて操作的意味論にしたから、
ヽ､.,＿＿ __ノ 『Algorithmic Language』というよりは
_, ､ -― ''"::l:::::::＼ｰ-..,ノ,､.ﾞ,i ､ 『Programming Language』になったということ。
/;;;;;;::ﾞ:':､::::::::::::|＿:::;､>､_ l|||||ﾞ!:ﾞ､-､_ 出演者は皆R6RSに批判的だった?
～座談会終盤～
, ‘´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{| いますぐR6RSを試す方法ということですが、
Ｎ| “ﾟ’` {“ﾟ｀lﾘ やる夫さんが、Prologでインタプリタを書いたみたいです。
ﾄ.i ,__”_ ! そちらのお話を願いします。
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|
＿＿＿_
／ ＼ えーと、R6RSのAppendixAに載っている
／ _ノ ヽ､_ ＼ 形式的意味論の式をそのまま使って、
／ oﾟ⌒ ⌒ﾟo ＼ PrologでR6RSのサブセットを作りました。
| （__人__） | (そう、さっき批判されまくってた操作的意味論だお)
＼ ｀ ⌒´ ／
ざわ・・・ざわ・・・
____
／:;:;:;:;:｀ヽ.
./;／ ヽ;:',
/;/ __,.ﾍ､___!___
,. |/'"´::::|:::::ヽ::::::::::::｀"'' ､
,. ,. ''::::::!:::::::::/|:::::::::i:::::::::::::::::::､:::::ヽ､
'´ ／::::::::::::::::/ﾚ|:::::::::i:::::ヽ､ヽ;:::::＼:::::', おお…それはまた…
/:::::::::::::::::::/|:::::i::::::::::|＼::::;i｀ﾍ::::::::＼i
,'::::::::/::::::/:/ !;;ﾊ::::::::| ＼!;;;ﾊ::::::::::::::ヽ.
i:::::::/!::::::i/〒ﾃﾃ ヽ::::| ﾃﾃﾃ'!ヽ＼:::::::::',
!::::/::i::::::::ﾊ ﾋ:;:;r ヽ! ﾋ;:;r! !＼::::!へﾊ!
V'! ｲi::::::/!:! "" ""．l:::ﾍ:::!:|
ヽ! ヽ!::|::i>､. ､_,､_, ,.イ:::|:::::ﾚi::|
|::|:::|::::::｀7:.r–r 7´|:::|::::|::::::::|::|
.|::|::::|:::;:イヽ!__／::::｀>.,|::::|:::::::|::|
|:::|::::|く＼::::::!/::::::／／|::::ﾄ.:::::|::|
＿＞ー- -―∧ー- ＿
, ＜´ : : : : : : : : : : : :|: : : : : : : :｀ – 、
／ ＿／ : : : : :|: : :.: : : : : : : : : :＼
／:_: ＜:〃 /: : : /: : .:|: ∧:.:.: : : : : : : : : : ヽ
/イ:;:;:;://: : : : : :.:/: : : :ｲ: : / |:;|iハ:.:.:.:. : : : : ヽ:.:.:.:>＞- _
’ ﾍ／/: : : : : :;:;/: : : / |: :/ |:;|l i:.:.:.:.: : : : : :l: : i:;:;:;:;l:;:;:;:￣＼
／:;:/: : /: : :.:/!: :__/＿|:/ |:| l i＿ｌ: : : : : : l: :l:;:;:;:;!:;:;:;:;:;:;:;/
<:;:;:;:/:. :/: : :.:.:i:.l: ´/ |,'｀ |! l '´＼l｀ﾞ: : : i : l: :l:;:;:;:;:;i:;:;:;:;/
＼i: :/|: : : : :l:.:|: / |!. | ! ヽ!: : :| : l: |:;:;:;:;:;:!:／
|:/-|: : : : |/不示テミ、 ! ィ=≠＝z＼|: :ﾊ |:;:;:;:;:;:;|
|i |:. : : :|l-||! V{::::::| ﾍﾉ:::::::} ｱ'|i: i:;:;l:|t―f-´
! li: : : :f.{ !| i ゝｲj |iゞ-ｲｿ ' |!'|ﾞi､:|!:l: : | 形式的意味理論で実装で、
|:.ヽ: : |:丶i ゞ-''" ヾ''-" う'´|j:.:.:.! : | おまけにProlog……
|:.:.:.:ﾊ:|:.:.|/! '"' ' '"' ｨ‐ﾅ":.:.:/:. : | 実際に動くものを
|:.:.:.:.:|i|:.:.:! ＞ 、 ､ _ ＜___/:.:.:.:./|: : : | 作ったとは
|:.:.:.:.:|!: : :∨'￣ ｀＞ ､ ィ7:;:;:;:;:;//:.:.:.:/|:|:.:.:.:.:| 結構面白いな
|:.:.:.:.:.ﾄ､: :/ _ィ--｀}‐-/:;:;:;:;:ｨf/:.:.: / ﾍi:.:.:.:|
|:.:.:.:.:|/ヽ/ /:;:｀iー" /:;:;:;:;:;:/: : : :/ }:.:.:|
|:.:.:.:.:! ∨ /:i:;:;:;:;l /:;:;:;:;:;:;/: : : :/ l:.:.:|
|:.:／ / l: }ヽ:;:;:;l /:;:;:;／/: : : :/ l:.:.:|
{: { / lヽ ＼:∨:;／ /: : :／ }:.:.|
|: :ヽ / l i´￣｀‐´￣ﾞ/: :;／ }:|
／ ＼
／ノ ＼ u. ＼ ！？
／ （●） （●） ＼ (あれ…なんだか…)
| （__人__） u. |
＼ u.｀ ⌒´ ／
＿＿＿_
／ ＼！？？
／ u ノ ＼ （普通に受けがいいお?）
／ u （●） ＼
| （__人__）|
＼ u .｀ ⌒／
／: : : :／ : : : : : : i: : : : : :ヽ : : : : ｰ ､ : : ＼
/: : : ／ : : : : : : : ,ｲ : : : : : : :l: : : : : : : ＼- ､:＼
. /: : : / : /: : : : : : / |: : : : : :| : |､: : : : : : : : ＼ ＼}
.' : : :/ : /: : : : : : / ｖ : : : : l : |斗-: : ヽ: : : : ﾍ
|: : :/ : /| : : :― ｘ ∨: : :∧ | ∨: : :ﾊ: : : : :ﾊ
|: :/ : /: | : : : : / ｀ |: : :/ j/- ∨: : :l: : : : : :|
r┴､/:ヽ| : : : / |: :/ 示旡ｱV : :|: :|ヽ: : | 今度のLispワークショップで
| | : :│: : /|. | / ﾄ::爿/ ハ: :|: :| ',: :| 発表しないか～？
'vｰく ,ｘ┤: / :|三≧x ｊ/ 込;ﾘ { : | ∧ | ∨ 場所はイギリスだよ～
／ ヽ. | /: :│ ,／ ' .:・} : |/ i/
| ／⌒}:Ⅵ : :ﾍ:.:.:. ー'ｰr' ／: : |
{ ／´}_ﾑ: : :≧ｒ ､ .. _ ｰ ' .. ＜/: : : |
ヽ ／ }ﾍ: : ＼＼ 厂}ヽ._/ | : : : |
. ＼ __／ ＼: : ＼＼x-┴く ヽ| : : :.′
／ /ヽ ＼ : ヽ ＼ | |: : :/
/ {ヽ}} ヽ: : } ＼ l |: :∧
／￣￣￣＼
／ ─ ─ ＼
／ <○> <○> ＼. はぁ・・・機会があれば…
| （__人__） し | (“いぎりす”って何県だっけ…)
＼ ｀ ⌒´ ／
／ ＼
Posted in 雑記 | 5 Comments »
3月 7th, 2008
＿＿＿_
／::::::::::::::::＼
／::::::─三三─＼
／:::::::: （ ○）三（○）＼
|::::::::::::::::::::（__人__）:::: | 眠いお!!!
＼::::::::: |r┬-| ,／ こんな時間に来たのはいつ以来か分からないお!!!
ノ:::::::::::: `ー’´ ＼
／:::::::::::::::::::::
|::::::::::::::::: ｌ
＿＿＿_
／ ＼
／ ─ ─＼ 忘れ物がないか心配だけど
／ （●） （●） ＼ そもそも心配するほどもって行くものがないお
| （__人__） | じゃあ、そろそろ出発するお
/ ∩ノ ⊃ ／ それはともかく……
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
＿＿＿_
／::::::::::::::::＼
／::::::─三三─＼
／:::::::: （ ○）三（○）＼
|::::::::::::::::::::（__人__）:::: | 寒いお!!!
＼::::::::: |r┬-| ,／ Tシャツ1枚に長袖の薄い服を羽織っただけじゃ
ノ:::::::::::: `ー’´ ＼ 京都の朝は耐えられないお!
／::::::::::::::::::::: 室内でコートを切る必要があるお!!!
|::::::::::::::::: ｌ
＿＿＿_
／ ＼ お、昨日の日記に先輩からコメントがついてるお
／ ─ ─＼ (ゆとりTシャツの発案者だお)
／ （●） （●） ＼
| （__人__） | ＿＿＿＿＿＿＿_
＼ ｀ ⌒´ ,／ .| | |
ノ ＼ | | |
／´ | | |
| ｌ | | |
ヽ -一ー_~､⌒)^),-､ | |_＿＿＿＿＿＿__|
ヽ ＿＿＿＿,ノγ⌒ヽ)ニニ-￣ | | |
’ー／.:.:.:.:.:.::::/.:.:.:.:.:.:／.:／/.:.:.:.:.:.:.:.:.:..:.:.:.:.:.:.:.:.＼
／.:.:.／.:::::::/.:.:.:.:.∨.:／ ./.:.:.:.:.:.:.:.:.:.:.:.:.:.:./:.:.:.:.:.:.:ヽ
／.:.:.:.:/.:.::::::::/.:.:.:／/X ,’.:.::.:::.:.:.:.:.:.:.:.:.:.:/ :.:.:.:.:i::.:.:.∧
. ー–イ.:.::::::::::,’.:.:; ‘ ＼i.:.:.::::.:.:.:.:.:./.:.::;ｲ:.:.:… ; ’,
/.::::::::／|.:./ !.:::::.:.:.:.:.:,ｲ.:.::/ |:.:.:.:.:.,’:.. i
,’::::::,イ::::::|ｲ ＼ |::::.:.:.:.／7ｰrｰ-|–:./.:.:.:.:.. .;
／i:::;ｲ::Y.::::::/ ＼ |:::.:／ /／ .|.:.:./.:.:.:.:.:.:.:.:./
’´ |//:::,’::::::/ ￣￣￣ j／ |.:/.:.:.:.::.:.:.|:./名刺の使い方は、
/／|.:::八 ::::::: ＿＿＿ j/:..:.:.:::.:.:..j/ 「名刺スラッシュ！」
__／´￣_) ､ |.::::::∧ ___ ＼ /.:.:.:.:::::::::.:.:| と叫んで20枚ほどを
/_: :｀: . ､ )ﾉ |:.::;:’.j/＼ i´‘′｀ヽ ＼ /.:.:.:::::::;ｲ:.:.:;’ 敵に向かって
. /_: :｀: : ､: :＼)’r|.:/ / :¨`r_>､ ,! ::::::::::: , ‘:.:::::::／|::|.::/ 投げれば
,.ノ‐ ､｀: :､: :＼: :ヽj/ / : : /‐- ､｀ ¨ｉ´‐rｰ–‐／.:::::::／_,ノ:.:|/ いいんだってヴァ！
. / ＼: :＼: :ヽ/.’ / : : / .>’´: : :｀ヽ／::.:::::;:ｲ:::/ヽ:::.:.|
/ ヽ: : ヽ/: :i i : : ;’ ／: : :;-r‐r＝r-<´ |:/ ＼|
＿＿＿_
／ ＼
／ ─ ─＼ （さすが先輩…頼りになるお……
／ （●） （●） ＼ 「敵は己自身」とよくいうし、自分自身にながつければOKだお?
| （__人__） | これで準備もできたし……)
/ ∩ノ ⊃ ／
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
,'⌒,ｰ､ _ ,,.. X
〈∨⌒ ／＼__,,.. -‐ '' " _,,. ‐''´
〈＼ _,,r'" 〉 ／/ /／ . ‐''"
,ゝ `く/ / 〉 / ∧_,. r ''"
- - - -_,,.. ‐''" _,.〉 / / . {'⌒) ∠二二＞ - - - - - - -
_,.. ‐''" _,,,.. -{(⌒)､ r'`ｰ''‐‐^‐'ヾ{} +
'-‐ '' " _,,. ‐''"`ｰ‐ﾍj^‐' ;; ‐ -‐ _- ちょっと東京行ってくる
- ‐_+ ;'" ,;'' ,'' ,;ﾞ ‐- ｰ_- ‐
＿＿＿＿＿＿,''＿__,;;"＿;;＿＿,,＿＿＿＿＿＿＿＿＿＿＿
／／／／／／／／／／／／／／／／／／／／／／／
＿＿＿_
／＼ ／＼
／（ ●） （●）＼
／ :::::⌒（__人__）⌒:::::＼
| |r┬-| |
＼ ｀ ー'´ ／
／ ＼
|￣￣￣￣￣￣￣￣￣ | ﾄﾝ
_（,,) 次回につづく (,,）_
／ | .| ＼
／ | .| ＼
.|＿＿＿＿＿＿＿＿＿_|
Posted in 雑記 | No Comments »
3月 7th, 2008
(1/27)
＿＿＿_
／⌒ ⌒＼
／（ ＞） （＜）＼
／::::::⌒（__人__）⌒::::: ＼ まあ、3月だしまだまだなんとかなるお！
| /| | | | | | 地味に勉強すれば大丈夫なはずだお！
＼ (、`ー―’´, ／
Posted in 雑記 | 1 Comment »
3月 5th, 2008
PrologでSchemeインタプリタ作り終わったよー。
R6RS(のAppendixA)にほぼ準拠してます。
ソース
(SWI-Prologで動作を確認しています)
どのあたりがR6RSなのかということで、
R6RSっぽいところを集めてみました。
Posted in プログラミング | No Comments »
3月 4th, 2008
letrecを作りました。
多分一番長い簡約規則。
evaluate("(letrec ((fact (lambda (n) (if (eqv? n 0) 1 (* n (fact (- n 1))))))) (fact 3))").
6
Yes
これで再帰呼び出しが書けるようになりました。
あとletrec*を作って、例外を発生させる規則を書けば、
Appendix Aの仕様をほぼ満たすことになります。
—
ゆとりTシャツ完成予想図
Posted in プログラミング | No Comments »
3月 4th, 2008
Prologで作るSchemeインタプリタですが、
R6RSの形式的意味論の仕様を大体満たすようになってきました。
ただし、入力によっては死ぬほど遅いです(dynamic-windが関わると遅い?)。
とりあえず、最近触ったのは、例外処理、算術演算、リスト操作、
eqv?, apply, call-with-valuesあたりです。どれも地味で悲しくなります。
一番華やかなのは入出力をS式でできるようにしたこと。
evaluate("(car '(a b c))").
a
Yes
evaluate("(cdr '(a b c))").
(b c)
Yes
こうすると、かなりSchemeインタプリタっぽいですね。
Posted in プログラミング | No Comments »
3月 1st, 2008
R6RS Standard Librariesを全部読むのはしんどいので、
とりあえず例外のところ(7章)を読もうと思ったら、
説明で新しい型であるレコード型の機能を使いまくっていました。
レコード型といってもただのレコードだろと思ったら、
親レコードの指定とか色々な機能があるみたいです。
子レコードが親レコードの関数を使ったり、もはやオブジェクト指向みたいでした。
といってもまあ、レコードのところ(6章)は読んでないからあまり分からないんですが。
例外処理のための手続き、構文はそれほどありませんが、
レコードが複雑すぎるせいで、例外の機能も複雑になってます。
むしろ、例外を作るためにレコード型を作った気もしました。
あと10年もすれば「Schemeの仕様は小さい」は都市伝説になってしまうのでしょうか……
Posted in プログラミング | No Comments »
2月 28th, 2008
数日前から言っていますが、はてなようせいさんが可愛いです。
あまりに可愛かったので、わけの分からないものを作ってしまいました。
はてなようせいとまなぶ Schemeの形式的意味論
昨日の夜、はてなようせいで何か作ろうと思い立ち、
今日の朝からずっと書きはじめました。
気が付いたら夜でした。
Posted in プログラミング | No Comments »
2月 28th, 2008
dynamic-windが多分できました。
「多分」と付いてるのは、あんまり試してないからです。
そもそも本物のSchemeでdynamic-windなんて使ったことがありませんし(笑)
まずは、dynamic-windの途中で脱出する例。
?- eval([store,[[hoge,0]],
[call_cc,
[lambda,[k],
[dynamic-wind,+,
[lambda,[],[k,3]],
[lambda,[],[set,hoge,789]] ]] ]], X).
X = [store, [[hoge, 789]], [values, 3]] ;
No
非常に読みづらいですが、S式に直すと、大域環境が「hoge=0」の時に、
(call/cc
(lambda (k)
(dynamic-wind +
(lambda () (k 3))
(lambda (set! hoge 789)))))
=> 3 (大域環境は「hoge=789」)
ということです。
dynamic-windを途中で脱出していますが、
第三引数であるサンクがちゃんと適用されているのが分かります(hogeに値が設定されている)。
次に、dynamic-windに再突入する例。
?- eval([store,[[cont,0],[hoge,0]],
[dynamic-wind,
[lambda,[],[set,hoge,[+,hoge,1]]],
[lambda,[],[call_cc,[lambda,[k],[set,cont,k],0]]],
+] ], X).
X = [store, [[cont, [throw, '#:G866', [begin0|...]]], [hoge, 1]], [values, 0]] ;
No
?- eval([store, [[cont, [throw, '#:G866', ... ]], [hoge, 1]], [cont,333]], X).
X = [store, [[cont, [throw, '#:G866', [begin0|...]]], [hoge, 2]], [values, 333]] ;
No
またも、死ぬほど読みにくいのでS式に直すと、大域環境が「cont=0, hoge=0」の時に
(dynamic-wind
(lambda () (set! hoge (+ hoge 1)))
(lambda () (call/cc (lambda (k) (set! cont k) 0)))
+)
=> 0 (大域環境は「cont=継続オブジェクト, hoge=1」)
(cont 333)
=> 333 (大域環境は「cont=継続オブジェクト, hoge=2」)
dynamic-windの第二引数のサンクに再突入していますが、
第一引数のサンクが適用されているのが分かります(hogeがインクリメントされている)。
本当は、もっと複雑な例も試すべきなんでしょうが、
評価をしてステップごとの結果を追うのが非常に疲れるのでこれだけで勘弁してください。
多分上手く動いていると思います。
Posted in プログラミング | No Comments »