こんにちは。株式会社朝日ネット開発部のxfuzzyです。 数学や関数型言語に興味があります。 Haskellという言語に、興味はあるのですが、プログラムを作ったことはほぼありませんでした。そのため、Haskellを実際に使って学習をしつつプログラムを作ってみたいと思っていました。 また、数学に興味がありながら、計算をするのは苦手でした。特に、論理式の変形は、ルールは単純なのですが、長い式が出てくると、手計算ではミスが発生して残念だと思っていました。 そこで私は、Haskellを使って、論理式の操作をするプログラムを作ってみることにしました。
- 概要
- 背景の説明
- 論理式とトートロジー
- ヒルベルト流
- ヒルベルト流の例
- プログラムの説明と実行例
- 論理式のデータ型
- match関数
- 論理式を書きやすくする
- ヒルベルト流の推論を行う
- まとめ
- 採用情報