日記の練習です。 ページをめくると「翻訳」とあった。 https://copyanddestroy.hatenablog.com/entry/2024/07/13/092527 金子洋之『記号論理入門』第8章「量化の規則2」の最後は、日常のことばを述語論理に置き換えるものだった(8.8 日本語の文の翻訳)。な…

日記の練習です。もう7月も半分を過ぎていますが、6月の「日記の本番」まだ書いていなかった。

日記の練習です。欲しいものは定価で買う、必要なときに必要なだけ買うべき場所で、という主義ですが、今回 Amazon プライムデーで、(とっくに昔に USB Type-C になっていた) Fire 7 *1 *2と、それ用の Micro SD カードと、一番安い Fire TV Stick を買いま…