なんでこんなにだるいんだ？それはともかく： 自然演繹 ラムダ計算 デカルト閉圏 ∧導入 タプリング 直積 ∧消去 射影 射影 ⊃導入 ラムダ抽象 Λと指数 ⊃消去 適用 eval T（真） ユニット型 終対象

本日は朝から疲れている。それはそれとして、半完成品＝未完成品のようなもの： テキストのテンプレート 抽象クラス ジェネリックス（パラメータ） DI ビヘイビア（Erlang用語） 一般的フレームワーク