2019-02-10

Dockerで動くいい感じのLaTeX環境をつくった話

Docker tips

Docker上で動くいい感じのLaTeX環境をつくりました。

$ docker run --rm -it -v $PWD:/workdir -e USER_ID=$(id -u) -e GROUP_ID=$(id -g) arkark/latexmk

を叩くだけで*1、Docker上のlatexmkが動いてファイルの編集を感知したら自動コンパイルしてくれます。長いので.bashrcなどでaliasするといいです。

ホストでは適当なエディタとpdfビューワで、編集と閲覧
コンテナでは編集の感知→コンパイル
コンソール上ではコンパイル結果のlogを監視

といった使用方法を想定しています。

*1:2019/10/30：仕様に変更があったためコマンドを修正

2019-01-19

DDCC2019 参加記

競プロ参加記

DDCCこと、DISCO presents ディスカバリーチャンネルコードコンテスト2019 本戦に参加してきました。

www.discoverychannel.jp

ハッシュタグ：#ddcc2019

2019-01-13

max(∅)=-∞ は半群のモノイド化

数学

全順序集合に思いを馳せながら寝たら思いついたネタを投げます。

導入

数学書かなにかで次のような記述を見たことがあるかもしれません。

$\mathbb{N}$ を正の整数全体の集合とする。

このとき、 $A\subset \mathbb{N}$ に対して $\max(A) := \text{「}A\text{のうち最も大きな値」}$ と定義する。

ただし、 $\max(\emptyset) = -\infty$ とする。

「ただし、 $\max(\emptyset) = -\infty$ とする」

これ、特殊扱いしてるみたいで気持ち悪くないですか？

しかも、今回の場合は「 $\max(\emptyset) = 0$ 」でも「 $\max(\emptyset) = -1$ 」でも「 $\max(\emptyset) = -5000\text{兆}$ 」でも問題ないです。要は $^\forall n \in \mathbb{N}, x \lt n$ を満たす $x$ なら何でもいいです。