めも。 データフロー制約を表記する言語が見つからないので、人にやさしい言語を少し考えてみる。 expr1 must expr2 expr1の評価は常にexpr2と同値 expr1 !must expr2 expr1の評価はexpr2と同値でない場合がある expr1 may expr2 expr1の評価はexpr2と同値で…

昨日は休みをいただいて免許更新＋母校訪問をしていました。訪問の趣旨は、世話になった教授の方々に修了後一度も挨拶していないためあいさつ回りという感じで。いろいろ話していると、コンパイラを教えてくれた恩師が下のテキストを使って授業をしたらしい…

http://www.junitfactory.com/ こういうのを見るとクローンを作りたくなります。 I like the JUnit Factory tests because they give me an independent perspective on my code. Page Not Found | Agitar Technologies: Putting Java to the Test 確かに。

http://en.wikipedia.org/wiki/Parsing_Expression_Grammar Parsing Expression Grammarなんてのがあった。Regular Expressionじゃなくてpagexで検索ってのもあるらしい。小規模なテキスト探索するには便利だと思うけど、大規模になると普通にコンパイラコン…

Irenka 0.2ではちょっとクエリを強化の予定。

public class Hoge<T> { void bar() { class Foo { T t; } } } 型変数もlambda-liftingしろってことですか。でも匿名クラスでは使えない不思議。</t>

下記は内部クラスというか匿名クラスを使うプログラムで、匿名クラスの中では自由変数(free-variable)を使っています。このようなプログラムはバイトコードに変換される際に少し変わった動きをします。

ラムダリフティングされているものをどう解析するか とりあえずいいアイデアが出ない感じなので帰ってからやる。

ちょっと高いな…。年明けくらいまで様子を見ようかな。Parsing Techniques (Monographs in Computer Science)作者: Dick Grune,Ceriel J.H. Jacobs出版社/メーカー: Springer発売日: 2006/02/01メディア: ハードカバー クリック: 16回この商品を含むブログ (…

怒涛のような2週間も終わりました。その締めが今日？のカンファレンス。ブルーオーシャンなはずなのに血の海ができるところでした。

http://irenka.ashikunep.org/ betaリリースです。id:masataka_kの人に先を越されたorzIrenka StudioはEclipseの上でIrenkaを動かすためのプラグインで、0.1.0の時点で軽くIrenkaを体験できます。

おじいさんがくれた飴の味、といわれていまいち分からなかった。 元ねたは「神の雫」らしい。今度調べてみるかな。飲み口が物足りないけどこれはこれで。外気に触れると滑らかになりすぎてびっくり。

ドキュメントも一段落しました。来週からはコーディングに戻ります。