論理学の議論スレッド

147774-Trash2021/08/29(日) 00:22:19.50ID:dwHNAADc0
こんな板があったのか

>>70
ちょうど20年前に卒研で関数型プログラミング言語Schemeを使ってた頃に面白いと思って
さらに20年前に書かれた中島玲二「数理情報学入門書 スコット・プログラム理論」を借りて読んだり
表示的意味論で書かれたScheme言語のR5RS仕様を読んでみたりしたけど
この20年間でどれぐらい発展したのかな?

新着レスの表示
レスを投稿する