ハル研究所プログラミングコンテスト2019 参加記

ハル研究所プログラミングコンテスト2019 に参加しました！

www.hallab.co.jp

結果は暫定９位 *1 でした！

賞金圏内に入れなかったのは残念ですが、記念品のプロコン2019オリジナル“カメデザイン”モバイルバッテリーがもらえそうでうれしいです。

*1:これから提出コードのチェックなどが行われ、11/8に正式な順位結果が発表されます。

全順序集合に対するimos法の拡張

AtCoder Beginner Contest 128のE - Roadworkで、imos法を拡張したアルゴリズムを思いついたのでメモ。

前提

• imos法を知らない人はこちら
• imos法は可換群に対して特定のクエリを高速に処理するアルゴリズム
• 今回は全順序集合への拡張を考えた

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

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

github.com

対象ディレクトリで

$ 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：仕様に変更があったためコマンドを修正

DDCC2019 参加記

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

www.discoverychannel.jp

• ハッシュタグ：#ddcc2019

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

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

導入

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

を正の整数全体の集合とする。

このとき、に対してと定義する。

ただし、とする。

「ただし、とする」

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

しかも、今回の場合は「」でも「」でも「」でも問題ないです。要はを満たすなら何でもいいです。

ただ、これを半群のモノイド化（1-添加と言うらしい？）と解釈したらスッキリしました。これについて以下にまとめます。