リリカル☆Lisp開発日記

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 　|: :∧ 　　　 　　　／￣￣￣＼ 　　　　　／　─　 　 ─ ＼ 　　　 ／　 <○> 　<○>　 ＼.　　はぁ・・・機会があれば…
　　　 |　　　　（__人__）　し　　|　　(“いぎりす”って何県だっけ…)
　　　 ＼　　　 ｀ ⌒´　　　　／ 　　
　　　 ／ 　 　 　　　　 　 　 ＼

This entry was posted on 日曜日, 3月 9th, 2008 at 11:58 AM and is filed under 雑記. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.