masquerade0324のブログ

とある大学院生のメモ書き

ラムダ計算

SMLでML-Lexを使わずにlexerを書こう!

こんにちは、この記事はML Advent Calendar 2014 6日目の記事です。 いまどきどんな言語でも、字句解析器(lexser)と構文解析器(parser)を生成するためのツール(それぞれlexとyaccに準ずるもの)が提供されている場合が多いです。 Standard MLの各処理系…

Nicolaas Govert de Bruijnの読み方

ラムダ計算を勉強すると,Nicolaas Govert de Bruijnという方のde Bruijn indexやde Bruijn notationが出てくると思うのですが,これはde Bruijnというのはなんと読むのだろうと考えたことがあります. 今日たまたまTwitterで少し話題に上がっていたので調べ…