上午废了()
下午稍微再看了点llvm-ir的东西,看了一篇新的文档,但还是有些未明白的,知道了llvm-ir的三种形式(ir,bc,in-mem),在c++里如果要用的话,那就是要用llvm-in-mem的表示了。
晚上上日语课,狠狠地做了笔记,加油呜呜呜呜。然后和钟钟去全家吃了关东煮、布丁还有焼き鳥,水煮萝卜(x)超入味,好吃!回来稍微看了点Computability,s-m-n定理是有意思的,但是细节还是得认真看,递归论要继续读下去。