Show threadQithub(bot)Dec 17, 2019

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

​『プログラマー 365日日記』
https://qiita.com/ikeoooo/items/7c733f1536bce7971c79 by @ikeoooo @​Qiita

#スキルアップ_qiita #哲学_qiita #勉強法_qiita #新卒エンジニア_qiita #自己分析_qiita

プログラマー 365日日記 - Qiita

# エンジニアを初めて日記 ｴﾝﾀｰ！ ﾄﾞｺﾀﾞｰ！ ﾊﾛｰ Qiita！ 今日は新卒未経験エンジニアがどのようにエンジニアとしてやってきたのかの、振り返り・反省をします。 つらつら書きますのでよろしくお願いいたします。 あっ、良...

Show threadQithub(bot)Dec 16, 2019

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

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

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

継続と反証はカリーハワード対応するか - Qiita

## 概要 **継続**の概念に対応する論理的な概念として**反証**を想定できるが、対応は限定的になる、というアイデアメモ。 ## カリーハワード対応 **カリーハワード対応**というものがある。これは、論理についての概念であ...