Sokratesさんの備忘録ないし雑記帳

書きたいことを書いている.駄文注意.

2021-01-01から1年間の記事一覧

本文に直接 mathbf と書くのをやめよう 〜LaTeX 初心者よ,見栄えと構造の分離を意識せよ〜

という煽りタイトルをつければ興味を引くかなと思った.簡単な内容で申し訳ない.「そもそもお前も LaTeX 初心者だろ」と言われると「それはそう」と言うほかない.この記事は TeX & LaTeX Advent Calendar 2021 - Adventar の21日目の記事です.20日目は h…

群準同型が単射である条件のおはなし

群準同型の単射の必要十分条件でおもしろいものを知ったので記す. 補題 \( A, B \) を群,\( f\colon A \to B \) を群準同型とする. \( f^{-1}\left(1_{B} \right) = \{ 1_{A} \} \) ならば,\(f\) は単射. 証明. \(f\left( a_{0} \right) = f\left( a_{1…

基礎研究をする底辺大学院生の戯言〜聞け!男一匹が命をかけて諸君らに訴えているんだぞ!〜

おまえら、聞け。静かにせい。静かにせい。話を聞け。男一匹が命をかけて諸君に訴えているんだぞ。 いいか。それがだ、今、大学院生がだ、ここでもって立ち上がらねば、大学が立ち上がらなきゃ、日本の研究業界の復活ってものはないんだよ。諸君は永久にだね…

「実数は実在するが虚数は実在しない」とする人々へ

ランキング参加中その他最近,「実数は実在するが虚数は実在しない」とする人に絡まれることが多い.控えめに言って,どれも破綻しているのであるが,いちいち指摘するのにも疲れてきたので,ここにそれらへの反論をまとめておくことにする. 要約 実数の組…

【備忘録】 WSL から游書体を使う方法

この記事は WSL から游書体を使う方法を備忘録として残すものである.WSL の TeX Live を常用していると, .tex 文書で游書体を使うために Windows のフォントを読み込みたくなる.その時のための設定方法を記す. Fontconfig WSL から游書体を使うための設…

ビジネス数学騒動について思うこと

"ビジネス数学"に対する批判について思うところを書くものである."ビジネス数学"が炎上してからだいぶ時間が立ってしまったが,ようやくまとまった文章にすることができた. 完全にお気持ち全開の記事なので,そういう文章が苦手な方は読まなくても大丈夫で…

もしもあなたがインチキ数学本を出版したなら......

Twitter で次のようなアンケートを取った.あなたはインチキ数学本の作者です。プロにあなたの本のインチキを指摘されましたこのとき、あなたの取るべき正しい対応はどれでしょうか— そくらてす (@7danmoroboshi) 2021年3月2日 この記事ではこのクソアンケー…

証明図の後に句読点を打ちたい話(bussproofs.sty)

最近まで知らなかった話。公式ドキュメントをしっかり読んだら一瞬で解決して心が痛くなった話とも言う. LaTeX で証明図を書くのに普段 bussproofs.sty を使っているが,証明図の後に句読点を打とうとするとうまく行かなかった. The introduction rule of …

SATySFi インストールチャレンジ in Windows Subsystem for Linux

Windows Subsystem for Linux に SATySFi をインストールをする機会がここ数週間の間になぜか複数回あった.この記事はそれらの経験からわかった Windows Subsystem for Linux に SATySFi をインストールをする方法をまとめたものである.たぶんこれが一番早…

Windows Subsystem for Linux で Texdoc を使いたいというおはなし

Windows Subsystem for Linux (以下WSL)でTexdoc を使うための方法についての記事です. 元々はLaTeX 初心者が知るべきただ一つのコマンド - Sokratesさんの備忘録ないし雑記帳という記事のおまけにしていたのですが,分量的に分けたほうが良いと判断したの…