投稿

8月, 2022の投稿を表示しています

693びぼーろく; 部分積分を使わないで積分したい時

被積分関数の形によっては一時的に複素数にすると便利だったりするかも。例えば以下のような場合。 $\displaystyle \int_0^L dx e^{-kx}\sin \frac{\pi x}{L} $ 正統的な方法としては部分積分だろうなと思うけど、一時的に複素数にすることで次のように計算できる。 $\displaystyle \int_0^L dx e^{-kx}\sin \frac{\pi x}{L}=\text{Re}\int_0^L dx e^{-kx}e^{i\frac{\pi x}{L}}=\text{Re}\frac{1}{-k+i\frac{\pi}{L}}\left[-e^{-kL}-1\right]=-\frac{k}{k^2+\frac{\pi^2}{L^2}}\left[1+e^{-kL}\right]$

607びぼーろく; debian 上で google 関連のファイルを開く

 google dosに乗り換えてほとんどのオフィスファイルがgoogledocsに移行した。ファイル自信はinsync(有料)で同期しているがファイルを開くのが結構面倒くさい。少なくともgoogle docsのファイルはブラウザで自動で開きたい。 ということで以下のシェルスクリプトで開いたgoogle docsのファイルを開くようにした。実行権限を与えて、ファイルに関連付けをしてあげれば終わり。 #!/bin/bash #入力ファイルからgoogledrive上のファイルのurlを読み取る URL=$(cat ${1}|awk '{print $2}'|sed s/,$//|sed s/\"//g) #入力ファイルからファイルのオーナーを読み取る。不要だった。 USER=$(cat ${1}|awk '{print $6}'|sed s/}$//|sed s/\"//g) #確認用に出力。不要。 echo URL: $URL echo USER: $USER #Profile 5でgoogle-choromeを立ち上げ、ファイルを開く。 google-chrome $URL --profile-directory="Profile 5" 混乱したのは複数のアカウントを使っている場合に、どうやって開くアカウントを指定するかという点。profileで切り替えるのはわかったけど、google-chrome --help で見てもprofile指定の仕方がよくわからなかった。というか--user-data-dirの記述はあったけど、上記の--profile-directryの記述がなかったので、色々調べてやっとわかった。疲れたなぁ。 さて、打ち合わせは順調に進んだ。後は不安定性を示せればOK。とりあえずHessianを頑張って計算することで落ち着いた。その他、先の事についても議論。

606びぼーろく; neomutt + msmtp でメール送信

 を設定した。ターミナルから送信できるのが便利...、というのが理由ではなく、外からメールを送るときに、sshで入ればメールが送れるから。メールの読み込みはかなり速い。 まずメールクライアントがneomutt。これでimapでメールを読む。smtpで送信もできるはずだけど、手元の環境ではうまく行かないのでmsmtpで送信することにした。 さらにchromeosからsshで入ると日本語が滲んで非常に使いづらいので mlterm + uim-fepで日本語入力することにした。これで結構便利になった気がする。(fcitx5はなぜかうまく動かなかった。)

605びぼーろく; なんだか忙しい

 けど、ちょっと心地よい忙しさ。何なんだろう?

604びぼーろく; 久しぶりにノートをもらう

 前に調べていた内容を数学的に厳密化してくれたノートを送ってくれた。これで以前から感じていたモヤモヤが解消される...かも。

603びぼーろく; とりあえず

 山の日だったけど、業務終了。疲れた。夢の中で、もらった鉢植えを食べた夢を学生に話ししたら大受けした。

602びぼーろく; bashで配列

 ができることを今更知った。考えてみたら当たりまえか。 入力方法は test=(1 2 3 "taro") 参照はややこしいけど ${test[1]} みたいな感じ。

601びぼーろく; 水出し紅茶

 に最近ハマった。本格的なアイスティーにはならないけど、そこそこ美味しい。 さて、前に出していた論文のレフェリーレポートが全然返ってこなかったけど、どうやら修正なしで通った。ちょっとうれしい。こういうのを見るとちょっとやる気がでる。現金なもんだなぁ。

600びぼーろく; 息抜き

 に誘われて少し山歩き。楽しかった。 さて、11月のトレランに申し込み。本当は10月にも行きたかったけど、予定が入っていたので断念。残念。