正規表現しちへんげ！ 第二夜

09:25 10/12/31 年末まとめ 今年何やったっけ、と日記を読み返していました。何もやってないな…。 Polemy 作りました、くらい。 言語処理系作るのはやっぱり楽しいですね。 汎用言語として使う本格的なものを作ろうとすると懲りすぎて一歩も進まなくなってしまう自分が見えるので、 来年は、そうだなあ、TopCoder/ICPC風コンテストに特化した言語というかC++へのトランスレータ、 くらいに絞って作ってみようかなあ。 書いた記事だと 最短性チェックの話 が自分では割と気に入っています。 これのもっとバグを許容するバージョン作れないか。 読んだ論文で面白かったのは "A Pearl on SAT Solving in Prolog" と "When Simulation Meets Antichains" (PDF) など。 あとは、今年読んで面白かった本ベスト５（順不同）： 『

[Iori_Nishizawa]

operator<=を「オペレーター以下」と読もうとしたら「<=」がイカのAAに見えてきた

[kenichiice]

「正規表現しちへんげ！　まとめ」

[todesking]

Polemyかっこいい

[propella]

連立一次方程式の解　＝　正規言語　意味が分からないけど面白そう！

[gikazigo]

RT h_okumura: 最後のオチがいいじゃなイカ ⇒ 侵略！以下娘 <=

[eagletmt]

"空間計算量 o(log log N) で判定できる言語 ＝ 正規言語"

[ruicc]

とりあえずモノイドは分かった。

[kururu_goedel]

プッシュダウンオートマトンだと決定性と非決定性で違いが出るって知らなかった。とりあえず、私が知っている表現はすでに出揃ったのでこの後期待。