先日遭遇した出来事です。 私が通っている大学では PaperCutNG という印刷サービスが採用されていて、利用者はPDF化したファイルをそのサービスにアップロードして印刷を行うことになっています。 で、画像付きのLaTeXの書き物を印刷しようとしたところ、後…

アドベントカレンダー、18日目の記事です。 なにかの Advent Calendar 2016 - Adventar Gitでのバージョン管理をより行いやすくするために作られたGUIがいくつか存在します。 このうち、ウェブサービスのGitHubと連携をとれるもので著名なものに SourceTree …