2022-07-12から1日間の記事一覧
サークル*1の部誌の校正大会が行われているのを横目に、個人サークルの原稿をそこそこ進めた。いくつかの節はこのまま出してもよさそうというところまで書き上げられたと思う。 ちょっとしたコードブロックを挿入するとけっこう面積を使うので、意外とページ…
サークル*1の部誌の校正大会が行われているのを横目に、個人サークルの原稿をそこそこ進めた。いくつかの節はこのまま出してもよさそうというところまで書き上げられたと思う。 ちょっとしたコードブロックを挿入するとけっこう面積を使うので、意外とページ…