Tips-Tech
事前準備 sudo apt-get update sudo apt install ffmpeg MP4をGIFに変換 ffmpeg -i input.mp4 output.gif めっちゃ簡単でした。 参考 https://qiita.com/wMETAw/items/fdb754022aec1da88e6e
結論 gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dEmbedAllFonts=true -sOutputFile=embedded.pdf -f original.pdf original.pdfを元ファイル名、embedded.pdfをフォント埋め込み後のファイル名に適宜変更してください。 背景 学会論文を提出する際にErrors: …
