型システム入門で，de Bruijn indexの話で少しつまづいたのでメモ．型なしラムダ計算を前提とします． de Bruijn index de Bruijn index（ど・ぶらん・いんでっくす）とは，変数名として文字列ではなく，番号を振ってやることで表現を簡潔にしたものであり，…

先日、みんな大好きソルティライチがリニューアルされたそうなので，今更だけど飲み比べてみた． 比較対象 旧ソルティライチ500ml 新ソルティライチ500ml 栄養成分表示の比較 主観的な飲みくらべの前に，栄養成分表示の異なる項目をまとめてみると次の表のよ…