「原理的な話をしよう」： 本棚から本を1冊出す前に、必ず2冊しまう。 これがなかなか実践できない。そこで、机の上に場所を決めて、しまう予定の本は必ずそこに置くようにした。僕の予測では、どんどん積まれていくと、そのうち不安定になり倒れる。これを…

edoc.pdf: By default, the overview page is generated from the file overview.edoc in the target directory (typically, this is the doc subdirectory of the application directory); デフォルトでは、概要ページは、ターゲットディレクトリ（典型的に…

「非対称閉圏のカリー化：記号法を工夫すれば、右と左の混乱も解消」に入れた絵は、個人的にはとても気に入っているのですけど、誰も注目しそうにないな。以下、自己満足のために書きます。射の方向は上から下だとして、左カリーだと左のワイヤーが曲がるの…