もともとこの記事は8月3日に書く予定だったようである．(僕はBlogの記事を書くときは，テキストエディタを用いて日付_記事の内容.mdとする 習慣がありそれによると2018-08-03_chickenclisp_ffi.mdとあったのでそういうことぽっぽい．) それで，今回の記事で…

だいぶ前(3ヶ月)に書こうと思っていた記事なのだが，ぼけーっとしていたら夏休みも終わり，そして夏休みが終わってからも1ヶ月がたっており，いい加減記事をかくか，とおもい書くことにした． とりあえず，本文は続きから