🆕 新着Qiita記事をお知らせします。​

​『「恋と禁忌の述語論理」における論理学』
https://qiita.com/41semicolon/items/c92d3acd53cfb6713ece by @41semicolon @​Qiita

#coq_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『メタ論理における論理をCoqでコードにしてみた』
https://qiita.com/41semicolon/items/21bb4c2c1540b819d098 by @41semicolon @​Qiita

#coq_qiita #ポエム_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『トートロジーをランダムに出力する Perl プログラム 』
https://qiita.com/SunShineSyainSan/items/903961a83e9cca0e530d by @sunshinesyainsan @​Qiita

#perl_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『継続と反証はカリーハワード対応するか』
https://qiita.com/ukyo-su/items/613ba18bfecd122229e8 by @ukyo_su @​Qiita

#継続_qiita #哲学_qiita #論理学_qiita #カリーハワード対応_qiita #古典論理_qiita

🆕 新着Qiita記事をお知らせします。​

​『ホーア論理との出会い』
https://qiita.com/41semicolon/items/3f4a66657c392573f732 by @41semicolon @​Qiita

#coq_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『「Software Foundations vol.1」レビュー』
https://qiita.com/41semicolon/items/08b309f60b39256c577e by @41semicolon @​Qiita

#coq_qiita #関数型プログラミング_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『複雑なif文をカルノー図/ベイチ図で単純化しよう』
https://qiita.com/YankeeDeltaBravo225/items/48000cdf01dde7698930 by @yankeedeltabravo225 @​Qiita

#リファクタリング_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『直観主義論理 五つの定理の同値性』
https://qiita.com/41semicolon/items/e2cf49b7fa72167c521c by @41semicolon @​Qiita

#coq_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『排中律と二重否定除去をTyped Racketで実装する』
https://qiita.com/tojoqk/items/b7b1baf7cbd81177981e by @tojoqk @​Qiita

#racket_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『Coq で命題論理（22個のトートロジー）』
https://qiita.com/41semicolon/items/d7bd71f0aef5e490c50d by @41semicolon @​Qiita

#coq_qiita #論理学_qiita