この記事は、TeX & LaTeX Advent Calendar 2018 の 15日目の記事です（遅くなってすみません）。
技術書典5で電子版を配布するのに利用したダウンロードカード（電子書籍をダウンロードするためのURLとシリアルコードが記載された紙）の話をします。技術書典の原稿執筆でやったことの全体像については、 同人誌「代数的数を作る」ができるまで／PandocとかLaTeXの話 を参照してください。 続きを読む
この記事は Category Theory Advent Calendar 2018 7日目 かつ Haskell (その2) Advent Calendar 2018 7日目の記事です。
Category Theory Advent Calendar 2018の6日目はcorollary2525さんの「随伴は あらゆるところに 現れる」、8日目は空席、9日目はt_uemura669101さんの「トポスと高階論理」です。
Haskell (その2) Advent Calendar 2018の6日目は空席、8日目はtakoeight0821さんの「Type defaultingについての初級的な解説」です。
圏論の方から来た人向け：
デカルト積やテンソル積の一般化である「モノイド積」の話と、「内部ホム」の話をします。文献によっては内部ホムはモノイド積の右随伴として導入されますが、ここではモノイド構造を仮定せずに内部ホムの定式化（閉圏）をします。
Haskellの方から来た人向け：
この記事ではHaskellにおけるアプリカティブ関手の使い方は解説しません。Haskellの方から来た読者はすでにアプリカティブ関手をある程度知っており、圏論的な話にﾁｮｯﾄ興味がある、と仮定します。
これを読めば、「モナドは自己関手の圏におけるモノイド対象だよ、何か問題でも？」と同じノリで「アプリカティブ関手はモノイド圏における強laxモノイド関手だよ、何か問題でも？」と言って他人を煙に巻くことができます。 続きを読む
圏論では図式（可換図式）が多用される。図式を使うメリットは何なのか、他の表記と比べて考えてみたい。 続きを読む
サイクリングに行ってきた話を書く。 続きを読む
2年ほど前からマイペースで作っていたLaTeX処理自動化ツールClutTeXだが、ある程度の機能が整ったと判断し、バージョン0.1をリリースした。ClutTeXに関しては2年前にもブログ記事で紹介したが、初のリリースを迎えた今、改めてその機能と使い方を紹介する。 続きを読む
技術書典5の当日編。
前日までの話はこっち：技術書典5に初サークル参加した記録／前日まで
原稿の内容・技術面に関してはこっち：同人誌「代数的数を作る」ができるまで／PandocとかLaTeXの話
当日会場に来れなかったという方は、BOOTHで電子版（PDF版）を購入可能です：
前の記事「技術書典5に初サークル参加した記録／前日まで」は、サークル参加と紙書籍配布を軸に色々書いたが、この記事ではコンテンツである「週刊 代数的実数を作る」からの「代数的数を作る」の流れと、執筆に使った技術について色々書く。
執筆に使った技術（Pandoc filter等）について気になるものがあれば、コメント欄に書き込んでもらえれば別途詳細な記事を書くかもしれない。 続きを読む
10月8日に池袋で開催される技術同人誌即売会「技術書典5」に、「だめぽラボ」としてサークル参加します。 続きを読む
最近（ここ半世紀くらい）圏論が流行りですね。しかし圏論は抽象的で、具体例や圏論の言葉を使うことによるメリットが見えないと、なかなかとっつき難いかもしれません。
この記事では、高校数学に出てくるアレが、実は圏論の言葉でスッキリ（？）表せることを見てみます。
予備知識：高校数学、若干の圏論、あとは多変数の微分の知識があればなお良い 続きを読む