Misc

| 計算機利用 (Linux OS)

• ターミナル (xtermなど) でコマンドラインで計算機の状態を確認する

  • OS基本情報

    • % cat /proc/version

    • % cat /etc/os-release

  • CPU・メモリ情報

    • % cat /proc/cpuinfo

    • % cat /proc/meminfo

  • IPアドレス

    • % ip address show

    • % ifconfig

• ネットワーク経由でのログイン

  • 自分の手元の計算機でターミナル (xtermなど) を立ち上げ、sshでログインする

  • % ssh -Y -l ユーザー名 133.40.yyy.zzz (IPアドレス)

| PGPLOTメモ

• サブルーチン解説書 (日本語) → 外部リンク (東北大学・木津昭一氏作成)

• 色設定：cpgsci(色番号)

• 線種設定：cpgsls(線種番号)

• シンボル (クリックで図が拡大)

• ギリシャ文字 (クリックで図が拡大)

• 特殊文字

  • 太陽マーク：\(2281)

  • プラス・マイナス：\(2233)

  • 掛け算：\x

  • 不等号：\(2234), \(2244)

| 簡単なgif動画作成法

• 1. ImageMagicをインストールする (convertコマンドを利用するため)

• 2. PGPLOT等で動画にしたい画像のepsの連番ファイルを作成

• 3. スクリプトを使ってepsをpngファイルに変換する

  • % ./eps2png

  • eps2pngスクリプトの例 (作成後、chmod +x eps2pngで実行権限を与えるのを忘れずに)

#!/bin/sh

for file in *.eps; do convert $file ${file/eps/png}; done

• 4. 生成した連番のpngファイルを1つのgif動画にする

  • % convert -delay 10 *.png anime.gif

  • -delay (数字) の部分で再生速度を設定できる

  • 詳しくは % man convert で確認する