西尾泰和のブログ

実際を考えると生の構文木よりも 「マークの付いている『重要な』要素だけのツリー」 が得られた方がありがたいと思うのだけど、 とりあえず生の構文木。

>>> MUL.match("123*45")
'123*45'/6
>>> r = _
>>> r.children
['123*'/4, '45'/2]
>>> r.children[0].children
['123'/3, '*'/1]

= アンサイクロペディアのPythonの項目が面白い。Python - アンサイクロペディア

パールのようなもの - アンサイクロペディア

= 見た目は唐辛子、ししとうなんだけどー。

= AA-lib。CACA-lib。CUCU-lib。BB

= ずっと黒い画面のターン

= あああ。Matzにっき(2007-09-12)より：

Logix Pythonの文法を自由に再定義できるようにした新言語。またはPythonバイトコードを吐くマクロ処理系。

Pythonの構文木も、生の構文木を綺麗な抽象構文木にするためには 別途トランスフォーマってのを走らせる必要がある。

僕のPEGでは簡単な数式がこんな複雑な構文木になってしまうので何か間違っているのではないかと悩んだが、

>>> MATH.match("2*(1+3)+5")
'2*(1+3)+5'/9
>>> tree(_)
 '2*(1+3)+5'/9
   '2*(1+3)'/7
     '2'/1
       '2'/1
       ''/0
     '*(1+3)'/6
       '*(1+3)'/6
         '*'/1
           '*'/1
             ''/0
             '*'/1
           ''/0
         '(1+3)'/5
           '(1+3'/4
             '(1+3'/4
               '('/1
                 '('/1
                 ''/0
               '1+3'/3
                 '1'/1
                   '1'/1
                     '1'/1
                     ''/0
                   ''/0
                 '+3'/2
                   '+3'/2
                     '+'/1
                       '+'/1
                         ''/0
                         '+'/1
                       ''/0
                     '3'/1
                       '3'/1
                         '3'/1
                         ''/0
                       ''/0
             ''/0
           ')'/1
   '+5'/2
     '+5'/2
       '+'/1
         '+'/1
           ''/0
           '+'/1
         ''/0
       '5'/1
         '5'/1
           '5'/1
           ''/0
         ''/0

>>> pprint.pprint(parse("2*(1+5)-3"))
['eval_input',
 ['testlist',
  ['test',
   ['or_test',
    ['and_test',
     ['not_test',
      ['comparison',
       ['expr',
        ['xor_expr',
         ['and_expr',
          ['shift_expr',
           ['arith_expr',
            ['term',
             ['factor', ['power', ['atom', ['NUMBER', '2']]]],
             ['STAR', '*'],
             ['factor',
              ['power',
               ['atom',
                ['LPAR', '('],
                ['testlist_gexp',
                 ['test',
                  ['or_test',
                   ['and_test',
                    ['not_test',
                     ['comparison',
                      ['expr',
                       ['xor_expr',
                        ['and_expr',
                         ['shift_expr',
                          ['arith_expr',
                           ['term',
                            ['factor',
                             ['power',
                              ['atom',
                               ['NUMBER', '1']]]]],
                           ['PLUS', '+'],
                           ['term',
                            ['factor',
                             ['power',
                              ['atom',
                               ['NUMBER', '5']]]]]]]]]]]]]]]],
                ['RPAR', ')']]]]],
            ['MINUS', '-'],
            ['term',
             ['factor', ['power', ['atom', ['NUMBER', '3']]]]]]]]]]]]]]]],
 ['NEWLINE', ''],
 ['ENDMARKER', '']]

トランスフォーマが作る抽象構文木はこんな感じ

>>> compiler.parse("2*(1+5)-3", "eval")
Expression(Sub((Mul((Const(2), Add((Const(1), Const(5))))), Const(3))))

def for_stmt(self, nodelist):
    # 'for' exprlist 'in' exprlist ':' suite ['else' ':' suite]

    assignNode = self.com_assign(nodelist[1], OP_ASSIGN)
    listNode = self.com_node(nodelist[3])
    bodyNode = self.com_node(nodelist[5])

    if len(nodelist) > 8:
        elseNode = self.com_node(nodelist[8])
    else:
        elseNode = None

    return For(assignNode, listNode, bodyNode, elseNode,
               lineno=nodelist[0][2]) 

とりあえず1+3だけで下のような木になってしまうのは、PEGのSequenceを二項関係だけで定義しているから。 僕のsimple_pegは本当にシンプルに作ってあるけど、Matcherを追加することで拡張できるようにしてあるから「任意のn個のSequence」を表現するMatcherを作ればいいと思う。

'1+3'/3
 '1'/1
   '1'/1
     '1'/1
     ''/0
   ''/0
 '+3'/2
   '+3'/2
     '+'/1
       '+'/1
         ''/0
         '+'/1
       ''/0
     '3'/1
       '3'/1
         '3'/1
         ''/0
       ''/0

すごく続きをしたいところではあるけども、 頑張って147行の英文メールを投げたおかげで(？) 日本語の化けないJython2.2.1rc1が出たので、 本当に化けないのかを確認するのが先。

By 西尾泰和 at 2007-09-24 20:19:07 | この記事へのリンクはこちらへ(パーマリンク)
フィードバック (0) | トラックバック (0)

アマゾンは本をきちんと整理して棚に直していない。 場所はコンピュータが知っている。 選ぶべきものを入力すると最短経路を答えてくれる。

棚を整理していないので、増やすときには適当に棚を追加して適当に本を入れればよい。 整理をしないからスケールする。

BtoBtoCのtoは右結合性。(BtoB)toCではなBto(BtoC)。

ブックマークレットでメニューをインサートして選ばせるくらいならば、 ライトユーザーにも使わせられる？

複数人で開発する際は、 「メソッドをアルファベット順に並べる」というルールにすれば、 並べる順を迷わなくなる。

SQLiteは本体のコードよりもテストのコードの方が多い。

キン肉マンは最初の方巨大化したりビームを打ったりする。

ドカベンは最初は柔道をしていた。

YouTubeやニコニコ動画のブームのおかげで、CDNが儲かった。アカマイとか。 ゴールドラッシュの時に儲かったのは金を掘りに行った人ではなくツルハシを売ったブラナン。

メールアドレスにtmpと入っている。これはむごい。

「ここ禁煙って書いてあるけど、半田付けはOKかな？」

アドエスではDirectXで書いたアプリがネイティブで動く。

アドエス用のGPSがあるがいいアプリがない。

トラックが通ると振動する会場。

電通大を通った人が6人。

カシオペアはアルマジロとつながる。

さしえショーって赤塚さんだったのか。 どんな文章も“紙芝居”にする「さしえショー」 - ITmedia News

フリープログラマーの赤塚大典さんが制作した。文章を句読点や改行部で分割し、形態素解析してキーワードとなる単語を抽出。「Yahoo！検索」の画像検索のAPIを活用し、その言葉に関連した画像を検索して表示する。

Pythonコードリーディングが大ブーム。

SNYDER's ハラペーニョ

未踏チャット (at Lingr)。

Ustream.tv - mitou kaihatu gasshuku

ごはん。

= ご飯後一眠り→21時は起床

アクセルをかけるためにちょっとヘッドホンを使いますよ。

= ノウハウ入出

出：

コマンドプロンプトをUTF8にするには： プロパティでフォントをラスタフォントからMSゴシックに変えてからchcp 65001

入：

コマンドプロンプトでF7で履歴メニューがでる

画面バッファの高さを大きくしておけば、 流れ去ったログが消え去りにくくなる。

= ぴかちふ謹製のモバイルモニタがすごくいい。 使わないときにはインテリアにもなる。 でも売ると壊れたときのサポートの労力が出るので売りたくないって。

= 今作っているパーサジェネレータは テストをたくさん書く方針でやっている。 例外が投げられることをdoctestでどうやって表現するにはどうするんだろう。

ドキュメントにちゃんと書いてあった。 必ずFailっていう例外を投げるmatcherを書いた。

class MatcherAlwaysFail(Matcher):
    """
    >>> MatcherAlwaysFail().match("foo")
    Traceback (most recent call last):
        ...
    Fail
    """

= 初めてPythonのstaticmethodを使った。 古いユーザなのでこういう本質的でない機能ってあんまり知らない。

= 高速再生中のロイツマ

Jatsu tsappari dikkali dallan
ヤッツッ ツァッパリ ディッカリ ダッラン
Tittali tillan titstan dullaa
ティッタリ ティッラン ティチタン ドゥラー
Dipidapi dalla ruppati rupiran
ディピダピ ダッラー ルッパティ ルピラン
Kurikan kukka ja kirikan kuu..
クリカン クッカヤ キリカンクー

Ratsatsaa ja ribirabi dil\
ラッツァッツァー　ヤ リビダビ ディル
la Beritstan dillan dillan doo..
ラ ラベリツタン ディラン ディラン ドゥー
A ba-ribbattaa baribarii\
アバリッバッター　バリッバリー
ba Dibi dibidibi disten dillan doo ←歌詞間違い？
バ ディビディビディスタン　ディッランドー

Ja barilla stillan deijaboo
ヤバリッ ラッ スティラン デイヤーボー
A daba daba daba daba dybjabuu,
ア ダバダバダバダバ デイビャブー
Baristal dillan suillan duubadag
バリスタゥ ディラン スイラン ドゥバダグ
Dagadaga duu duu deijadoo
ダガダガ ドゥードウー デイヤドー

= 行きの電車の中であったメソッドをどこに追加していくかという話、 確かに複数人で開発している場合に、ソートしてからコミットするというのは 「複数人で開発している場合」にはいい戦略かとは思う。

一人でプロトタイプをがりがり作っている場合は、 小さいユーティリティ的なものを上に、 大きい「呼び出しもと」が下に来るように書いているという話。 僕はこれだったのだけども、この方法の問題点は、 脳の揮発メモリがこのプロジェクトの情報でいっぱいの時はうまく行くけども、 100行を超えて書いてしまうと後で読んだときに複雑に絡み合っていて解きほぐすのに苦労する点だ。

今回テストをきちんと書きながら進んでわかったのだけど、 テストを書くと挙動が明示されるから、Aを書いた後でBを追加したときに、 Aの挙動を変える必要が出たらテストも修正しないと行けなくなるんだ。 というわけでなるべくBを変更してもAを変更しないでいい設計にしようというバイアスがかかる。 これはルースカップリングだ。 Coupling And Cohesion

例えば、「A / B」という表記で 解析表現文法 - Wikipedia のOrderedChoiseを表現できるようにしようと思うと、 AやBの基底クラスの__div__に書きたくなるわけだけど、 そういう機能追加を上に上がって書き足すのを避ける。 もちろんこうやって設計してできあがった上でパフォーマンス上の問題が出れば、 「PEGのOrderedChoiseは切り離せなくしても問題ない」 と言ってべったり貼り付けて高速化するかも知れないけど、 あくまで最初はルースカップリングにする。

というわけで基底クラスに注入してみた。

class OrederedChoice(Matcher):
    """
    >>> m1 = ExactMatcher("foo")
    >>> m2 = ExactMatcher("bar")
    >>> (m1 / m2).match("barbaz").group
    'bar'

    """
    def __init__(self, m1, m2):
        self.m1 = m1
        self.m2 = m2

    def match(self, s):
        try:
            r = self.m1.match(s)
            return r
        except Fail:
            r = self.m2.match(s)
            return r

    @staticmethod
    def build(m1, m2):
        return OrederedChoice(m1, m2)

Matcher.__div__ = OrederedChoice.build

= __add__なんかの情報ってドキュメントのどこに書いてあるんだろう。

あった。 7 数値型をエミュレーションする

深いところにおいてあるなぁ。

= rimoの初音ミクチャンネルをBGMにするといいらしい(何が)

= Lingrより。

# 2:33am 26x26にしお
# 今日はPEG完成させて寝たい
# 明日Pythonのパーサを作って使い物になることを検証する
# 自分自身をパースできたら万歳

# 2:53am 26x26にしお
# あうー
# NotPredicateの実装ができて、テストを書いたら今日は終わりのつもりなのだけど
# いいテストが思いつかない 

= 前回作ったときはいきなり正規表現を使うMatcherを使ったのでｇｄｇｄ。 短く書くための短い名前なんかもがんがん作ったのでｄｍｄｍ。 今回はあえて短い名前や正規表現を禁止してPEGパーサを作った。

明日は実際にこれを使ってPythonのパーサを書いてみて、 労力とかパフォーマンスとかを調べる。 労力が高いのは目に見えている( ExactMatcher("a")はないよねー )。 でも言語内DSLで変なトリックを使うのはダメだと思う。

class NotPredicate(Matcher):
    """
    >>> a = ExactMatcher("a")
    >>> b = ExactMatcher("b")
    >>> c = ExactMatcher("c")
    >>> m1 = a + Optional(Ref("m1")) + b
    >>> Ref.m1 = m1
    >>> m1.match("aabbbb")
    'aabb'/4
    >>> m2 = b + Optional(Ref("m2")) + c
    >>> Ref.m2 = m2
    >>> m3 = AndPredicate(m1 + NotPredicate(b))
    >>> m3.match("aabbcc")
    ''/0
    >>> m = AndPredicate(m1 + NotPredicate(b)) +\
            OneOrMore(a) + m2 + NotPredicate(c)

    >>> m.match("aabbcc")
    'aabbcc'/6
    >>> m.match("aaabbcc")
    Traceback (most recent call last):
        ...
    Fail
    >>> m.match("aabbbcc")
    Traceback (most recent call last):
        ...
    Fail
    >>> m.match("aabbccc")
    'aabbcc'/6
    """
    def __init__(self, m):
        self.m = m

    def match(self, s):
        try:
            r = self.m.match(s)
            raise Fail
        except Fail:
            return Result(
                group = "",
                end = 0,
                rest = s
            )

= 眠気ないなー。 378行。

350行に縮めた。文字列を消費しないマッチ結果オブジェクトを Resultクラスのstaticmethodで生成するようにした。 UnaryOperatorクラスをmixinするようにした。

class AndPredicate(Matcher, UnaryOperator):
    """
    (テスト13行)
    """
    def match(self, s):
        r = self.m.match(s)
        return Result.empty(s)

= フタエノキッワッミッアッアッー

フ　タ　エ　ノ　キ　ワ　ミエ　ノ　キ　ワ　ミ　アッアッアー

= クリカンクッカヤキリカンクー

=

寝る前の間食は控えるべきである！
だがしかし！

　「駄菓子菓子！」

=

□　正規表現Matcher
□　PEGパーサ

= Ctrl+Alt+TABで開発合宿の隣の人の画面がいつでも見られるように。

= 29時。ぴかちふが玄関で酔いつぶれている。 未踏ユースOBから除名せざるを得ない。

By 西尾泰和 at 2007-09-22 17:48:10 | この記事へのリンクはこちらへ(パーマリンク)
フィードバック (0) | トラックバック (0)

スキル(ノウハウ)には最低でも4つのレイヤーがあると思う。
１：バッドノウハウ。
２：バッドノウハウを作るスキル。
３：バッドノウハウを取り除くスキル。
４：バッドノウハウを作らせないスキル。

正しいのはこちら

スキルには最低でも5つのレイヤーがあると思う。
４：知識がなくても直感的に使えるようなシステムを作れるスキル。
３：ノウハウを知らなくても使えるようにするラッパを作れるスキル。
２：問題を解決する方法を作り出し、ノウハウとして共有できるスキル。
１：ノウハウを習得し、適切なタイミングで使えるスキル。
０：ノウハウを見つけてブックマークするスキル。

参考文献。

日記を書く[・ _ゝ・]はやみずさん - 覚えてはいけないちょっと計算を早くするための小技

はてなブックマーク - 覚えておきたいちょっと計算を速くするための小技10 | P O P * P O P

はてなブックマーク - 君らは中学校で何を学んだんだ？ - val it : α → α = fun

404 Blog Not Found:君らはWebで何を学びたいんだい?

学而不思則罔、思而不学則殆 --- 論語

By 西尾泰和 at 2007-09-21 00:44:12 | この記事へのリンクはこちらへ(パーマリンク)
フィードバック (0) | トラックバック (0)

結局のところひとりごとツールはひとりごとなんだな。

タンブラーの方は「面白い情報引用ツール」として使っているので転載できるかな。

“ Loituma Girl)とはロイツマの歌うフィンランド民謡『イエヴァン・ポルッカ』に日本のアニメ『BLEACH』のキャラクターである井上織姫が長ネギを回す4フレームのシーンを組み合わせたフラッシュアニメーションである。(略)オランダではSMS2.tvという企業が著作権保持者に連絡をとらずに携帯電話の動画として売ろうとしたことがあった。そのときには"Meisje met de Prei"（「ニラを持っている少女」）と宣伝された。ロシアではそのソングクリップを売っている。