t_wの輪郭

関数型プログラミングの延長線として述語論理が流行らないかしら。

ドメイン駆動設計もやんやんしてるし、ドメイン駆動設計と述語論理がミーツする可能性はありそうな予感がしてる。