Archive for 3月, 2008

うはwwwPrologでGrass実装したwwww

月曜日, 3月 24th, 2008

つい最近Grassという言語を知りました。
登場したのは結構前みたいですね。
見事に時代に乗り遅れました。
しっかりとした操作的意味論が載っていたため、
R6RSの時と同様にPrologで作ってしまいました。
ソース: grass-sem-utf-8.swi
全角文字の入力は受け付けますが、
表示には対応していません。
実行結果

Yes
?- evaluate("うほwWWwwww",R).
w
R = [119, []] ;
No
?- evaluate("wwWWwv
wwwwWWWwwWwwWWWWWWwwwwWwwv
wWWwwwWwwwwWwwwwwwWwwwwwwwww", R).
ww
R = [119, []] ;
No

はてなようせいとまなぶ R5RS表示的意味論

金曜日, 3月 21st, 2008

はてなようせいとまなぶ R5RS表示的意味論
はてなようせい欲しさにやった。はてなようせいなら何でも良かった。反省はしていない。

「クヌギたん」のふる里は北摂

木曜日, 3月 20th, 2008

実家の隣町の商店街に行ってきました。
そしたら色々と面白いものを見つけてしまいました。
びんちょうタン TBSにて放送
(商店街の一角にて発見)

「クヌギたん」のふる里は北摂
(商店街の一角にて発見)

びんちょうタン
(商店街の一角にて発見)

レジ袋いらんで~!
(薬局にて発見)

クヌギたんカードとは一体何なのか非常に気になったので、
200円分の買い物をすることにしました。
レジで「袋は結構です」と宣言するものの、カードをくれる気配は無し。
仕方がないので「あの、レジ袋をもらわなかったらもらえるカードとやらはないんですか」と聞くと、
素敵なクヌギたんカードをもらえました。
クヌギたんカード
(5枚(1000円分)集めると100円キャッシュバック。結構お得)

もらってから気づいたんですが、この企画をしているのは市なんですよね。
つまり、クヌギたんは市公認のキャラクターなんでしょうか。謎です。
調べてみたら素敵なWebサイトも見つけました。

続・R5RSの形式的意味論

火曜日, 3月 18th, 2008

R5RSの形式的意味論ですが、ほとんど分かりました。
とりあえず概略を書いておきます。
プログラムは次の形で評価される。
E[[E]]ρκσ
Eは式、環境、次に評価する式、ストアを受け取り式の意味を返す意味関数
Eは式の集合の要素(つまり式)、
ρは環境(識別子(変数)を受け取りロケーション(アドレス)を返す関数)
σはストア(ロケーションを受け取り評価済みの値を返す関数)
κは次に評価する式(継続)
(κの初期値はλε*ρ.ε*)
式が複数の部分式に分けられるときは一箇所のみを評価し、
残りの箇所を評価するために継続渡し形式(CPS)が用いられる(κに適当なものを入れる)。
注意すべき点は同じ文字をフォントだけ変えて全く別のものとして扱っているということです。
はっきりいって慣れるまでかなり紛らわしいです。
あと、ほとんどの式はρとκを受け取ることによって評価され、直接σを受け取りません。
(例えば、 E[[K]] = λρκ.send(K[[K]])κ のような形をしています。)
変数の参照、書き換えなど一部の操作はσを受け取ってから評価が始まり、
以降の式には(変数を書き換えた場合は)新しいσを渡します。
それから、どうでもいいこととしては、継続渡し形式を使ってるため、call/cc自体はすごく簡単だとか。
とまあ、自分では分かったつもりなんですが、
言葉にして説明するって難しいですね。

ニコスクリプトのあれこれ

日曜日, 3月 16th, 2008

最近ニコニコ動画がニコニコ動画(SP1)となりましたが、
それに伴いニコスクリプトの処理が色々変わったみたいです。
以前作ったシューティングゲームですが、
今までは非常にロード時間が長かったです。
恐らく、ニコスクリプトを動画読み込み時点で全て内部表現に変換してから実行していたため、
その変換処理に時間がかかっていたと私は考えています。
それが、SP1になったらロード時間がほぼなくなりました!
これは凄いとおもったら、逆に実行時にやたらと重くなりました。
どうやら、内部表現に変換する作業を動的にやるような仕組みに変更したみたいです。
そもそも、動画投稿者がスクリプトを入力し終えた時点で内部表現に変換しておいて
動画再生時にはそれを使うようにすればいいとおもうんですけど、どうなんですかね。
まあ、シューティングゲームという時点で色々想定外なのかもしれませんが。

R5RSの形式的意味論

木曜日, 3月 13th, 2008

R5RSの7.2節 Formal semanticsを読み始めました。
以前読んだときはさっぱり分からなかったのですが、
今回は気合を入れて読んでみたところある程度分かってきました。
R5RSの形式的意味論の基本は
「式の一箇所を評価して、その値を残りの計算に渡す」
というもののようです。
“残りの計算”というものは関数になっており、
渡すというのは、関数適用することです。
全部理解するにはまだ時間がかかりそうです。
あと、実装する場合はPrologのような論理型言語ではなく、
関数型言語を使った方が簡単そうです。

脱皮失敗2.0

月曜日, 3月 10th, 2008

本日無事に京都に帰ってきました。
同行してくださったbugyoさん、宿を提供してくださったbokkoさん、
的確なアドバイス(*)を下さったnishさん、本当にありがとうございました。
gauche.nightを振り返ってみて、一番の思い出はやはり
「脱皮失敗2.0」
でした。詳しくはg000001さんに聞いてください。
以下、覚えていることを適当に書き散らしたメモ

  • 黒田さんの発言
    • CommonLispはCを書いてる人が上手に書ける。下手なのはJavaを書いてる人
    • プログラムは計算機で動かすことを忘れてはいけない
    • SICPはコンピュータサイエンスの本でプログラミングの本じゃない
    • funcallが嫌いなSchemerが多いけど、applyはいいの?
  • shiroさんの発言
    • 英語が話せるから外国に行くのではなく、いく必要があれば英語を覚える
  • わだばさんの発言
    • セミの幼虫は土から出てきたときぎりぎりのエネルギーしか持っていないため、
      少しでもエネルギーを無駄にすると…
    • 大きなカブトムシを見つけたと思って持ち上げて裏返してみると、腹の部分だけ鳥に…
    • ザリガニは脱皮に失敗して死にかけることがある。そして成功したとしても…
    • ザリガニは脱皮直後で体が柔らかいときに小学生にプニプニされる。
      内臓に負担がかかりそう
  • 雑記帖の中の人に会えなかった。残念
  • 「やる夫がgauche.nightに…」を読んでる人が結構いた
  • 「はてなようせいとまなぶ…」も同様
  • ゆとりTシャツはひらがなで「ゆとり」の方が分かりやすかった?
  • 出番の前にビール一杯じゃ足りなかった

gauche.nightに関するまともなメモはyharaさんのメモがよくまとまってお勧めです。
私の中では脱皮失敗の印象が強すぎて他のことが思い出せません(笑)
やる夫シリーズは当分お休みにしようかと思います。
また何か大きなイベントに参加することにでもなると復活するかもしれません。

(*)「ゆとりTシャツ」と「名刺スラッシュ」のこと

やる夫がgauche.nightに出演するそうです ~当日編~

日曜日, 3月 9th, 2008
3/8の出来事
~おやつの時間頃~
     ____
   /      \
  /  _ノ    ⌒\  東京についたお
/    (○)  (○) \  朝の5時から電車に乗り続けて
|       (__人__)    |   既にしんどいお…
/     ∩ノ ⊃  /   
(  \ / _ノ |  |
.\ “  /__|  |
  \ /___ /
~しばらくして~
       ____
     /⌒  ⌒\
   /( ●)  (●)\
  /::::::⌒(__人__)⌒::::: \   会場に着いたお!!!
  |     |r┬-|     |
  \      `ー’´     /
            ___
       /      \
      /ノ  \   u. \     なんか控え室とやらに案内されたお…
    / (●)  (●)    \    なんだかよく分からないというか、
    |   (__人__)    u.   |    何にも分からないお…
     \ u.` ⌒´      /    あ、なんだか人が集まり始めてきたお!
    ノ           \    
  /´               ヽ  
 |    l              \
 ヽ    -一””””~~``’ー–、   -一”””’ー-、.
  ヽ ____(⌒)(⌒)⌒) )  (⌒_(⌒)⌒)⌒))
ざわ・・・ざわ・・・
     , ’´ ̄ ̄` ー-、
   /   〃” `ヽ、 \
  /    ハ/     \ハヘ  
  |i  、 |リ ’       }_}ハ 
  |i | 从 ●    ●l小N  だから、Gaucheはこの機能がなくて困るにょろ。
  |i (| ⊂⊃ 、_,、_, ⊂li|ノ  次のバージョンでは付けてほしいにょろ。
  | i⌒ヽ j  (_.ノ   ノi|__  
  | ヽ  ヽx>、 __, イl |::::
  | ∧__,ヘ}::ヘ三|:::::/l| |’,:::::
  | ヾ_:::ッリ :::∨:/ | | >”
  i^,\ _,,_ /^l
    lノ  \ i|l /ヾノ
   シ “ ( ●)  (● )ミ キリッ
  メ  = ⌒(__人__)⌒=ヽ    皆でshiroさんに頼んでみたらどうでしょうか
 彡           ;ミ     ここで頼めば付けてくれるかもしれませんよ。
   ヾ         ン
   /     ””  |
         ,.. — ..
       ,..-.:. ̄.:..:..:.. : : : : `丶、
      /:..:..:. ..: : : : : : : : : : : : :\
    /:ヘ=、、:._: : : : __:ヽ:_: -^,.ト、
   ノ:..:..:./:..  ̄: :7´:―― : :|‐: :´、: ヽヽ
  ー-/:..:.i:../:. : : ,/:..:.:イ:.ハ:.. : j:.. :}:.、ヽ:. トヽ
    !:..:..:|:.{/:..ィ_jz≦ノ ‘ }:./_}_イ:. } |:.|||
    Vl:.:.|:. Vl´「_ 、` ノ′ _ノ:ソ:イ: リ ノ
.      }:ハ: : l f7「::`ハ   /:::7}7イ:/}/  
     ノヘーl、: :!VZツ     ヒ:ノ/:.//
        `ィヘ:ト、 _   _   ノ:イ/
      rく、\` ヽ二コ:千:|K、′      ・・・・・。やっぱりその機能はほしい。
      |:..:ヽヽ\: :Yニ|: :!:/j!:.l       こないだも、ソース書いたときに云々・・・・・・。
      ト:..:..:.\ヽ\!r|┴=ミ!r ァ7
     |!::.:..:.ヽ\ヽ|!    /7 /
      j::.l::..:..:.⌒ーァ⌒}   / / /^}
      |::.:.\::..::.::.::>ー’―-L∠_¨´
      l::.::.:..:. ̄ ̄ト 、, –、―弋i
       ヽ::.:..:..:.::..∧/    ヽ  i _ .. -―
       ``ーニ´/ー-、   | _|
       _. -―  ̄  ト―.:「:.:l
                 ヽ:..__:L_|
ざわ・・・ざわ・・・
       /      \
      /ノ  \   u. \ !?
    / (●)  (●)    \  (言葉の意味が分からないお…)
    |   (__人__)    u.   |
     \ u.` ⌒´      /
         ____
       /      \!??
      /  u   ノ  \     (本当に右も左も分からないお…)
    /      u (●)  \
    |         (__人__)|
     \    u   .` ⌒/
           ____
       /::::::::::::::::\
      /::::::─三三─\
    /:::::::: ( ○)三(○)\  
    |::::::::::::::::::::(__人__)::::  | あと、Tシャツ1枚だと肌寒いお!
     \:::::::::   |r┬-|   ,/ 
    ノ::::::::::::  `ー’´   \ 
  /:::::::::::::::::::::            
 |::::::::::::::::: l  
            / ̄ ̄\
          /   _ノ  \  ■ 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
           | |,,_   _,{|
          N| “゚’` {“゚`lリ   それでは座談会の
             ト.i   ,__”_  !   出演者に舞台に上がってもらいましょう!
          /i/ l\ ー .イ|、    
    ,.、-  ̄/  | l   ̄ / | |` ┬-、 
    /  ヽ. /    ト-` 、ノ- |  l  l  ヽ.
  /    ∨     l   |!  |   `> |  i
  /     |`二^>  l.  |  | <__,|  |
_|      |.|-<    \ i / ,イ____!/ \   .|     {.|  ` - 、 ,.---ァ^! |    | ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄l __{   ___|└―ー/  ̄´ |ヽ |___ノ____________|   }/ -= ヽ__ - 'ヽ   -‐ ,r'゙   l                  | __f゙// ̄ ̄     _ -'     |_____ ,. -  ̄ \____|   | |  -  ̄   /   |     _ | ̄ ̄ ̄ ̄ /       \  ̄| ___`\ __ /    _l - ̄  l___ /   , /     ヽi___.|  ̄ ̄ ̄    |    _ 二 =〒  ̄  } ̄ /     l |      ! ̄ ̄| _______l       -ヾ ̄  l/         l|       |___|        / ̄ ̄ ̄\      / ─    ─ \     /  <○>  <○>  \.  さあ、いくお!
    |    (__人__) し  |  別に緊張なんてしてないお!!!
    \    ` ⌒´    /   
    /              \
            , ‘´  ̄ ̄ ` 、
          i r-ー-┬-‐、i
           | |,,_   _,{|
          N| “゚’` {“゚`lリ   出演者の方、自己紹介をお願いします。
             ト.i   ,__”_  !   まずは、私の左側のやる夫さん。
          /i/ l\ ー .イ|、    
    ,.、-  ̄/  | l   ̄ / | |` ┬-、 
    /  ヽ. /    ト-` 、ノ- |  l  l  ヽ.
  /    ∨     l   |!  |   `> |  i
  /     |`二^>  l.  |  | <__,|  |
_|      |.|-<    \ i / ,イ____!/ \   .|     {.|  ` - 、 ,.---ァ^! |    | ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄l __{   ___|└―ー/  ̄´ |ヽ |___ノ____________|   }/ -= ヽ__ - 'ヽ   -‐ ,r'゙   l                  | __f゙// ̄ ̄     _ -'     |_____ ,. -  ̄ \____|   | |  -  ̄   /   |     _ | ̄ ̄ ̄ ̄ /       \  ̄| ___`\ __ /    _l - ̄  l___ /   , /     ヽi___.|  ̄ ̄ ̄    |    _ 二 =〒  ̄  } ̄ /     l |      ! ̄ ̄| _______l       -ヾ ̄  l/         l|       |___|       ____      /\  /\    /( ●)  (●)\     知ってる人はしってると思いますが、   / :::::⌒(__人__)⌒:::::\   リリカルLispというわけの分からないものを   |     |r┬-|       |   作ったやる夫だお!   \     ` ー'´     /               , '´  ̄ ̄ ` 、           i r-ー-┬-‐、i            | |,,_   _,{|           N| "゚'` {"゚`lリ  「私とGaucheとの関わり」という話を              ト.i   ,__''_  !  お願いします。           /i/ l\ ー .イ|、         ,.、-  ̄/  | l   ̄ / | |` ┬-、      /  ヽ. /    ト-` 、ノ- |  l  l  ヽ.   /    ∨     l   |!  |   `> |  i
  /     |`二^>  l.  |  | <__,|  |
_|      |.|-<    \ i / ,イ____!/ \   .|     {.|  ` - 、 ,.---ァ^! |    | ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄l __{   ___|└―ー/  ̄´ |ヽ |___ノ____________|   }/ -= ヽ__ - 'ヽ   -‐ ,r'゙   l                  | __f゙// ̄ ̄     _ -'     |_____ ,. -  ̄ \____|   | |  -  ̄   /   |     _ | ̄ ̄ ̄ ̄ /       \  ̄| ___`\ __ /    _l - ̄  l___ /   , /     ヽi___.|  ̄ ̄ ̄    |    _ 二 =〒  ̄  } ̄ /     l |      ! ̄ ̄| _______l       -ヾ ̄  l/         l|       |___|      ____    /      \   /  _ノ    ⌒\  (Gaucheとの関わり…) /    (○)  (○) \   |       (__人__)    |   /     ∩ノ ⊃  /    (  \ / _ノ |  | .\ “  /__|  |   \ /___ /            ____        /::::::::::::::::\       /::::::─三三─\     /:::::::: ( ○)三(○)\  あ り ま せ ん お!!!!     |::::::::::::::::::::(__人__)::::  |       \:::::::::   |r┬-|   ,/      ノ::::::::::::  `ー'´   \   /:::::::::::::::::::::              |::::::::::::::::: l               , '´  ̄ ̄ ` 、           i r-ー-┬-‐、i            | |,,_   _,{|           N| "゚'` {"゚`lリ  ……それでは次の方。              ト.i   ,__''_  !            /i/ l\ ー .イ|、         ,.、-  ̄/  | l   ̄ / | |` ┬-、      /  ヽ. /    ト-` 、ノ- |  l  l  ヽ.   /    ∨     l   |!  |   `> |  i
  /     |`二^>  l.  |  | <__,|  |
_|      |.|-<    \ 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を試す方法ということですが、
          N| “゚’` {“゚`lリ  やる夫さんが、Prologでインタプリタを書いたみたいです。
             ト.i   ,__”_  !   そちらのお話を願いします。
          /i/ l\ ー .イ|、    
    ,.、-  ̄/  | l   ̄ / | |` ┬-、 
    /  ヽ. /    ト-` 、ノ- |  l  l  ヽ.
  /    ∨     l   |!  |   `> |  i
  /     |`二^>  l.  |  | <__,|  |
_|      |.|-<    \ 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: :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: : : : : : : \- 、:\ .          /: : : / : /: : : : : : / |: : : : : :| : |、: : : : : : : : \ \}        .' : : :/ : /: : : : : : /  v : : : : l : |斗-: : ヽ: : : : ヘ        |: : :/ : /| : : :― x   ∨: : :∧ | ∨: : :ハ: : : : :ハ        |: :/ : /: | : : : : / `  |: : :/ j/- ∨: : :l: : : : : :|        r┴、/:ヽ| : : : /     |: :/  示旡アV : :|: :|ヽ: : |   今度のLispワークショップで        |  | : :│: : /|.     | /   ト::爿/ ハ: :|: :| ',: :|   発表しないか~?        'vーく ,x┤: / :|三≧x j/   込;リ { : | ∧ |  ∨   場所はイギリスだよ~       /   ヽ. | /: :│ ,/      '    .:・} : |/ i/         |  /⌒}:Ⅵ : :ヘ:.:.:.    ー'ーr'   /: : |         {    /´}_ム: : :≧r 、 .. _ ー ' .. </: : : |        ヽ    / }ヘ: : \\   厂}ヽ._/ | : : : | .         \   __/  \: : \\x-┴く ヽ| : : :.′          /   /ヽ     \ : ヽ \   |  |: : :/       /     {ヽ}}     ヽ: : }  \ l  |: :∧        / ̄ ̄ ̄\      / ─    ─ \     /  <○>  <○>  \.  はぁ・・・機会があれば…
    |    (__人__) し  |  (“いぎりす”って何県だっけ…)
    \    ` ⌒´    /   
    /              \

やる夫がgauche.nightに出演するそうです ~出発編~

金曜日, 3月 7th, 2008
           ____
       /::::::::::::::::\
      /::::::─三三─\
    /:::::::: ( ○)三(○)\  
    |::::::::::::::::::::(__人__)::::  | 眠いお!!!
     \:::::::::   |r┬-|   ,/  こんな時間に来たのはいつ以来か分からないお!!!
    ノ::::::::::::  `ー’´   \ 
  /:::::::::::::::::::::            
 |::::::::::::::::: l   
     ____     
   /      \     
  /  ─    ─\    忘れ物がないか心配だけど
/    (●)  (●) \    そもそも心配するほどもって行くものがないお
|       (__人__)    |   じゃあ、そろそろ出発するお
/     ∩ノ ⊃  /    それはともかく……
(  \ / _ノ |  |     
.\ “  /__|  |  
  \ /___ /
           ____
       /::::::::::::::::\
      /::::::─三三─\
    /:::::::: ( ○)三(○)\  
    |::::::::::::::::::::(__人__)::::  | 寒いお!!!
     \:::::::::   |r┬-|   ,/  Tシャツ1枚に長袖の薄い服を羽織っただけじゃ
    ノ::::::::::::  `ー’´   \ 京都の朝は耐えられないお!
  /:::::::::::::::::::::            室内でコートを切る必要があるお!!!
 |::::::::::::::::: l   
         ____
       /      \    お、昨日の日記に先輩からコメントがついてるお
      /  ─    ─\   (ゆとりTシャツの発案者だお) 
    /    (●)  (●) \
    |       (__人__)    | ________
     \      ` ⌒´   ,/ .| |          |   
    ノ           \ | |          |
  /´                 | |          |
 |    l                | |          |
 ヽ    -一ー_~、⌒)^),-、   | |_________|
  ヽ ____,ノγ⌒ヽ)ニニ- ̄   | |  | 
            ’ー/.:.:.:.:.:.::::/.:.:.:.:.:.:/.://.:.:.:.:.:.:.:.:.:..:.:.:.:.:.:.:.:.\
            /.:.:./.:::::::/.:.:.:.:.∨.:/ ./.:.:.:.:.:.:.:.:.:.:.:.:.:.:./:.:.:.:.:.:.:ヽ
           /.:.:.:.:/.:.::::::::/.:.:.://X   ,’.:.::.:::.:.:.:.:.:.:.:.:.:.:/ :.:.:.:.:i::.:.:.∧
.         ー–イ.:.::::::::::,’.:.:; ‘    \i.:.:.::::.:.:.:.:.:./.:.::;イ:.:.:… ;    ’,
             /.::::::::/|.:./        !.:::::.:.:.:.:.:,イ.:.::/ |:.:.:.:.:.,’:..     i
              ,’::::::,イ::::::|イ  \    |::::.:.:.:./7ーrー-|–:./.:.:.:.:..  .;
         /i:::;イ::Y.::::::/    \   |:::.:/ //  .|.:.:./.:.:.:.:.:.:.:.:./
         ’´ |//:::,’::::::/  ̄ ̄ ̄   j/       |.:/.:.:.:.::.:.:.|:./名刺の使い方は、
             //|.:::八 :::::::           ___ j/:..:.:.:::.:.:..j/ 「名刺スラッシュ!」
      __/´ ̄_) 、 |.::::::∧   ___       \     /.:.:.:.:::::::::.:.:|  と叫んで20枚ほどを
      /_: :`: . 、  )ノ |:.::;:’.j/\ i´‘′`ヽ     \ /.:.:.:::::::;イ:.:.:;’  敵に向かって
.     /_: :`: : 、: :\)’r|.:/ / :¨`r_>、   ,!  ::::::::::: , ‘:.:::::::/|::|.::/  投げれば
   ,.ノ‐ 、`: :、: :\: :ヽj/ / : : /‐- 、` ¨i´‐rー–‐/.:::::::/_,ノ:.:|/    いいんだってヴァ!
.  /    \: :\: :ヽ/.’ / : : /    .>’´: : :`ヽ/::.:::::;:イ:::/ヽ:::.:.|
 /        ヽ: : ヽ/: :i i : : ;’   /: : :;-r‐r=r-<´ |:/   \|      ____         /      \        /  ─    ─\    (さすが先輩…頼りになるお…… /    (●)  (●) \    「敵は己自身」とよくいうし、自分自身にながつければOKだお? |       (__人__)    |   これで準備もできたし……) /     ∩ノ ⊃  /     (  \ / _ノ |  |      .\ “  /__|  |     \ /___ /                    ,'⌒,ー、           _ ,,..  X                  〈∨⌒ /\__,,..  -‐ '' " _,,. ‐''´           〈\   _,,r'" 〉 // //     . ‐''"            ,ゝ `く/ /  〉 /  ∧_,. r ''" - - - -_,,.. ‐''" _,.〉 / /  . {'⌒) ∠二二> -  - - - - - -   _,.. ‐''"  _,,,.. -{(⌒)、  r'`ー''‐‐^‐'ヾ{} +  '-‐ '' "  _,,. ‐''"`ー‐ヘj^‐'   ;;    ‐ -‐   _- ちょっと東京行ってくる  - ‐_+      ;'"  ,;'' ,''   ,;゙ ‐-  ー_- ‐ ______,''___,;;"_;;__,,___________ ///////////////////////          ____         /\  /\       /( ●)  (●)\      / :::::⌒(__人__)⌒:::::\       |     |r┬-|       |       \     ` ー'´     /      /          \       | ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ |  トン    _(,,) 次回につづく   (,,)_   /  |              .|  \ /    |               .|    \     .|__________|

やる夫がgauche.nightに出演するそうです ~前日編~

金曜日, 3月 7th, 2008
(1/27)
      ____
     /⌒  ⌒\
   /( >)  (<)\   
  /::::::⌒(__人__)⌒::::: \    まあ、3月だしまだまだなんとかなるお!
  |    /| | | | |     |    地味に勉強すれば大丈夫なはずだお!
  \  (、`ー―’´,    /