在有点茫然的状态下出了本书,书名叫Neurosymbolic Programming in Scallop: Principles and Practice,我竟然是一作。
最开始这个事情是Now Publisher来找咱们的,然后我们就开始了很长时间的写(拖)作(延)。大概23年11月被联系说24年出版,本来觉得我大概24年3月就能写完,但是硬生生拖到了5月才开始写。不过很有意思的事情是,一开始写咱就一下子把它蹦哒到了100页。其实真的是有很多可以说而且想说的题目,所以其实写作并没有特别的困难。再往后就是很长一段时间的编辑,来来回回上上下下,这段时间让咱带的本科生Jason做了很多有意思的事,而且他也成为了这本书的第三作者。老师也花了很多时间帮忙校对,真的非常感谢大家。终于是在12月底决定要发表了,赶在了最后的两天。
后来把这件事情放在脑后了,再反应过来就是前几天,教授突然给我发了一个图片(如上),说印好的书已经出版,几份样本已经寄到家里了。咱突然喜出望外,不久后还发现这书上架了amazon。哎写的时候真的是啥都没想到,怎么还会有人帮我们出版书呢。也算是在博士期间完成了一个很有意思的事了!看了一眼Foundations and Trends in Programming Languages,在上面发文章的都是我好熟好熟的老师,比如Armando,Ranjit,Deian,Ilya,Aws,许多都是我前前后后接触过的人。自己也终于跟他们站在同一个平台上了,心里只有感激。
这个真的非常幸运。希望以后还能为这个领域做出一些贡献。现在咱就先享受享受一下可(准)以(备)开(面)摆(试)的时间吧。