社会人からAI・ロボットの研究を始めました

大学数学のまとめや研究活動に関することを書いています

Tips-Tech

ffmpegでMP4をGIFに変換する(Ubuntu)

事前準備 sudo apt-get update sudo apt install ffmpeg MP4をGIFに変換 ffmpeg -i input.mp4 output.gif めっちゃ簡単でした。 参考 https://qiita.com/wMETAw/items/fdb754022aec1da88e6e

PDFファイルのフォント埋め込み(Ubuntu)

結論 gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dEmbedAllFonts=true -sOutputFile=embedded.pdf -f original.pdf original.pdfを元ファイル名、embedded.pdfをフォント埋め込み後のファイル名に適宜変更してください。 背景 学会論文を提出する際にErrors: …