おひつじ|たんぽぽ牛乳本舗

動画を投稿しているものです。 すきなようにつくっています。

おひつじ|たんぽぽ牛乳本舗

動画を投稿しているものです。 すきなようにつくっています。

マガジン

  • 古典命題論理|ずんずん命題論理

    ・古典命題論理についてのおはなしです。 ・意味論・統語論を導入して、健全性・完全性を証明するところまでやります。 ・ニコニコ・YouTubeで公開中/公開予定の「ずんずん命題論理」の解説資料です。シリーズのURLは以下のとおりです。 ニコニコ|工事中 YouTube|工事中

最近の記事

今月の本

 おつかれさまです。おひつじです。  この記事は、「今月の本」ツイート/ポストを記録しておく記事です。 2023.092023.102023.11 2023.122024.012024.02 補遺 本を買うことは避けられません。性です。しかし、本を買うことで生活がひもじくなってしまうのは避けたいです。豊かにこそなれ、貧しくなるのはお門違いでございましょう。  どうすれば本を買うことを避けられるか。本を1ヶ月に1冊のみ買えばよいことに気づきました。本を買えない期間は積読の

    • §1 概要|古典命題論理|ずんずん命題論理

       この記事は、マガジン「古典命題論理|ずんずん命題論理」の1回目です。古典命題論理の概要についてゆるーくお話しします。  なお、このマガジンは、古典命題論理の体系を解説するものです。このマガジンは、動画シリーズ「ずんずん命題論理」の資料としても用いることができます。  このマガジンの目次や注意点については、次の記事をご参照ください。  動画シリーズ「ずんずん命題論理」に興味がおありでしたら、次のリンクをご利用ください。 ニコニコ|https://www.nicovide

      • 目次|古典命題論理|ずんずん命題論理

         この記事は、古典命題論理を解説するマガジン、「古典命題論理|ずんずん命題論理」の注意点および目次です。当マガジンの注意点を述べ、各回の目次をそのリンクとともに掲載します。  古典命題論理の体系を一つの記事で解説すると、かなり重たい記事になってしまうことが予想されますので、分割してマガジンの形でお届けします。以下に各回のリンクを掲載しますので、適宜ご利用ください。  また、このマガジンは、ニコニコ・YouTubeに投稿している動画シリーズ「ずんずん命題論理」の資料としても

      マガジン

      • 古典命題論理|ずんずん命題論理
        2本