xfuzzy https://blog.hatena.ne.jp/xfuzzy/ 朝日ネット　技術者ブログ https://techblog.asahi-net.co.jp/ こんにちは。株式会社朝日ネット開発部のxfuzzyです。 数学や関数型言語に興味があります。 Haskellという言語に、興味はあるのですが、プログラムを作ったことはほぼありませんでした。そのため、Haskellを実際に使って学習をしつつプログラムを作ってみたいと思っていました。 また、数学に興味がありながら、計算をするのは苦手でした。特に、論理式の変形は、ルールは単純なのですが、長い式が出てくると、手計算ではミスが発生して残念だと思っていました。 そこで私は、Haskellを使って、論理式の操作をするプログラムを作ってみることにしました。 概要 背景の説明 論理式とトートロジー ヒルベルト流… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftechblog.asahi-net.co.jp%2Fentry%2F2018%2F08%2F31%2F173752" title="命題論理のヒルベルト流をHaskellで実装する - 朝日ネット　技術者ブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-08-31 17:37:52 rich https://techblog.asahi-net.co.jp/entry/2018/08/31/173752 1.0 100%