phi16_ind https://blog.hatena.ne.jp/phi16_ind/ Imaginantia https://phi16.hatenablog.com/ 今日もゆるやかな日でした。良いことで。 やったことは、ちょっとAmebientで遊んで (アレだけやって帰った)、iotmの解説書いて、かいて、かいて、ぶいちゃにいって。ゆるやかな気持ちになって今です。 解説、書くのがしんどい。書くという行為そのものは楽しい気がするんだけど、その後を推測するとしんどい。量が多い。 今日は4つ書いたところで直観主義論理について書かなきゃいけないところで手が止まりました。論理を説明するってどうすればいいんでしょうね。 「正しさ」とかそういう話をするしかないんですけどまぁ…。明日やります。はい。明日は6つくらいは書きたいな。 …それ以外にやることがなければ。 ぶいち… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fphi16.hatenablog.com%2Fentry%2F2020%2F08%2F04%2F030335" title="日記 0804 - Imaginantia" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-08-04 03:03:35 rich https://phi16.hatenablog.com/entry/2020/08/04/030335 1.0 100%