タイプ論思索ログ

考えたこと、気付いたこと、思ったことを書き連ねていきます