学者さんの論理実証でなんで Haskell なんだ?