Jason (jcreed) wrote,

Got some research work done. Even the statement of the correctness of the translation to LF-with-erased terms from regular LF is quite a headache. Since information, on the surface, is lost in both directions (annotations are lost into LF, and subterms are lost going out of it) I can't just merely erase things in one direction.

Took the key to CFA 160 that Victoria lent me and messed around on the piano in there. Really enjoyed playing Bird's "Blues for Alice". I thought I had lost the fake-book photocopy for it, (which I got from Vincent years and years ago) but it turned up when I was emptying out a box to put Norm's books in last thursday.

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment