ここ数年、春先に鼻炎になる。「花粉症か」「自分にもついに来たか」と思って薬を飲むなどのだが3日ほどすると治っている。そんなことが続くので冗談めかして「毎年3日間だけ花粉症になるんです」などと言っていた。 2024年、今年も花粉症の季節がやってきた。 そろそろ実態を解き明かしたい気持ちがあるので、定点観測1年目という気持ちでブログに書き残そうと思う。 ◾️2024-02-25 sun 朝からやたらと...

みなさま ラムダ計算 をご存知でしょうか。 ラムダ計算はある種の関数型プログラミング言語の体系で、変数と関数, そして関数適用というミニマルな構成要素だけでチューリング完全な表現力を持っています。 この記事では、ラムダ計算の中でも特に単純な 型無しラムダ計算 に着想を得てラムダ計算のステップ評価器を作っている話について書きます。 既存のモデルへの不満 型無しラムダ計算の処理系は昔からいくつも実装さ...