comment

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

関連記事

no image

python3 で、文字列の最後が特定の文字で終わるか判定する方法

endswith を使う。 例 str1 = “こんにちは” result1 = str1.endswith(“は”) result2 = str1.endswith(“わ”) print(resul …

no image

tex で微分(ダッシュ、プライム)を書く

微分に使うダッシュ(数学では、正式にはプライムと呼ぶことが多い)の tex での書き方。 例 $y’ = x$または$y^{\prime} = x$どちらでも同じ表示になる。 結果 このお …

no image

python3 で、ファイルのパスから、拡張子を取り除く方法

os モジュールを使って、ファイル操作をすることができる。 ファイル名にドット. が複数の拡張子がついている場合には、拡張子を取り除く操作を何回か繰り返す。 例 import os path0 = ” …

no image

gnuplot で微分記号(文字上のドット)を入力する方法

文字の上にドットを付けて、時間微分を表すことがある。これを gnuplot で表現するには、次のようにする。 例 set encoding utf8 set ylabel “x\U+0307” plo …

no image

最大サイズを指定して、画像をまとめてリサイズする方法(mogrify コマンド)

imageMagick の mogrify コマンドを使う。 例(*.jpg ファイルを jpeg ファイルにまとめてリサイズする) mogrify -format jpeg -resize 900 …