Alephなどの帰納論理ライブラリ使ってる方はいるんだろうか。話聞いてみたい。