いものやま。

雑多な知識の寄せ集め

2023-11-29から1日間の記事一覧

技書博9で配ったフリーペーパーの話。

前回は技書博9にサークル参加した記事を書いた。 そこで配ったフリーペーパーの内容を貼っておこうと思う。 ちなみにここに書いた内容の元ネタはこれ: 論理の「AならばB」は実際には演算子で表現すると「A <= B」なんだけど、まずこれが知られてないのと、…