2023-03-22

My second brain

Table of Contents

やったこと

二回目だから一回目よりもスッと内容が入ってくる。HaskellかPrologで論理法則の導出とかも書いておこうと思ってる。入門！論理学 - lemonadern’s Scrapbox

Scrapbox を公開できるように整理した。本の感想とかはプライベートのプロジェクトに移してある。

前から思ってたこととかもScrapboxに書いた。言葉をブラケットで囲んでおけば勝手にリンクされる体験は思ってたよりも面白い。