この記事は TeX ＆ LaTeX Advent Calendar 2023 - Adventar の 19日目の記事です．遅刻して申し訳ないです． adventar.org ←昨日 相関係数格付けチェックを作る ～目指せ相関係数ソムリエ！～ - TeX Alchemist Online →明日 [TeX] [LaTeX] 簡単に 𝕏 を出力し…

ランキング参加中その他環の公理から \( (-m)\times (-n) = m \times n \) を証明する．自分用のメモを公開しているというノリなので，説明が不十分な箇所があるかもしれないが，追記するかも知れないし，しないかも知れない． 環の公理 いくつかの補題 （マ…

こんなツイートを見た．論理学を勉強しようとして，論理哲学論考とかいう怪文書 (失礼) を手に取っちゃうの，ほんとうにかわいそう．— Masaki Haga (@silasolla) 2023年3月9日 『論理哲学論考』は哲学書として大事な本らしいが，「論理」を勉強したい人間が…

本当かどうか知らないが一部のネット上の記事などによると"wwwww"という文字列は”which was what we wanted”の省略という扱いで「証明終了(Q.E.D.)」のマークとして使えるらしい（たとえば：https://www.wordsense.eu/WWWWW/）．草．ということで，LaTeX 文…