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

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