2019年
11月
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30

setup diary

2007|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|06|08|11|
2015|01|02|03|04|05|06|07|08|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|

2019-11-15 行列計算

_ maximaを使って

行列のexpを計算をする必要があったのだが、これを手で計算するのは面倒である。これまで、行列の計算はRにさせることがあったが、Rでexpを処理しようとすると、対角化してexpを計算して、元の座標系に戻すという手法で計算していた。しかし、Rの場合には数値計算はしてくれるが、数式の変形はしてくれない。数式変形をするときには、maximaが便利だが、行列のexpも扱えることを知った。例えば以下のような感じである。
my:matrix([0,-1],[1,0])*%i/2;
matrixexp(t*%i*my);
demoivre(%);
trigreduce(%);
最後の二行は、数式を三角関数で表して、簡略化している。指数関数や三角関数は、期待するように計算するのが、少し面倒で、trigexpandやfactorなども使って処理する必要がある場合もある。まだ、maximaには慣れていないが、数式変形の時に、使おうと思う。

2019-11-19 ようやくdebian10に

_ ソフトを動かすために

あるソフトをlinuxで動かそうと思ったら、それに必要なプログラムのversionが古かったので、OSを新しくすることにした。debian10が出てからしばらく経っているので、そろそろ安定した頃だという判断もその後押しをした。ちなみに、以前はdebianのversionを愛称で覚えていたが、そろそろ限界になって来たので、数字で区別することにした。10はbusterらしいが。

インストールはnetinstをusbに入れて、そこからlxdeを選択した。downloadや展開に時間はかかったが、特に問題無く完了した。動かそうと思っていたソフトも、少し工夫したら動くようになった。

しかし、そのソフトのネットワーク関係の設定に非常に手間取った。ユーティリティを使おうかとも思ったが、汎用性がなくなりそうに感じたので、それは止めることにした。結局、汎用のソフトを使って工夫したら、なんとかなった。

debian10であるが、debian9との大きな違いは今の所あまり感じていない。lxterminalがうメニューからうまく起動できない点も同じである。まだバグが取れていないようだ。


2019-11-20 標準以外のソフトのインストール

_ debian10(buster)でlibpng12

OSを入れ替えたときに問題になるのが、普段使っているソフトが動かなくなることである。大半のソフトは、debianの標準的なものなので、大丈夫なのだが、それ以外のソフトが動かないときがある。libpng12を使っているソフトがあり、そのインストールに少し苦労したので、メモをしておく。

libpng12は、debian9のときにはlibpng12-0_1.2.50-2+deb8u3_amd64.debを入れたら動いたのだが、debian10ではエラーが出てこれを入れることが出来なかった。その代わりに、libpng12-0_1.2.49-4ubuntu1_amd64.debを入れることで問題を解決できた。まず、このファイルをdownloadする必要があるが、launchpad.netというところにあり、これがubuntuの開発が行われているサイトだと最初は知らなくて、downloadするのを躊躇してしまった。ファイルが取れたら、

sudo apt install ./libpng12-0_1.2.49-4ubuntu1_amd64.deb
sudo apt-mark hold libpng12-0

としたら、libpng12が使えるようになった。

debianのdebを入れるほうがsimpleだと思ったが、ubuntuのdebでしか動かないので、仕方が無いだろう。