計算モデル論では関数型言語FLにおける型の規則。FLの記述は、関数の抽象や適用といった部分でラムダ式がそのまま出てきます。型検査と型推論のうち型検査を、FLの規則による証明という形で実行しました。しかしFLの記述はわかりにくくて紛らわしい！ ':'が…

先週久々に行くまで、秋葉原にはほんとうにしばらくご無沙汰だった。それには理由があります。探すべきPCパーツが今のところ何もないから。 今使っている母艦PCは、去年の秋に中古屋の閉店セールで運命的な出会いをして以来の付き合いだけど、必要な機能はほ…