Posts

先日、会社から愛知に戻るよう内示を受けた。 こちらに転勤してきて4年、そろそろかな、と心構えをしていたつもりだったが、意外と動揺する自分を発見した。 自分は大学に入るまでの18年間を北陸の地方都市で過ごし、その後大学で大阪、大学院で京都、就職で愛知、転勤で東京、と約3年ごとに拠点を移してきた。 特定の土地に思い入れがあることに気づいたのは、京都の大学を卒業して愛知に就職した時だった。 就活をしていた当時は留学から帰ってきた直後ということもあり、日本食が食べられるのならどこでも、という感じだったのだが、就職してから思いの外京都を懐かしく感じることに気づいた。 そして帰任準備を始める今も、すでにこの地を離れがたい気持ちになっている。 毎日の生活はどこにいても大差ないはずなのに、何が違うのだろうか。 自分はその土地の何が好きだったんだろうか。 思いつく点を挙げてみる。 水辺であること。野生動物のようで認めたくないが、自分は川や湖の近くに住むとテンションが上がるらしい。京都は鴨川、東京は神田川や、愛知は堀川（伏見）がお気に入りだった。 公園があること。1. と関わるが、緑や事前を適度に感じる場所が必要。東京に来て驚いたのがこの点。これまで住んできたどの街より、公園が充実していた。 歩行者が多いこと。移動を目的とした人でなく、移動自体を楽しんでいる人が往来している場所が好き。観光地はもちろんだが、商店街に魅力を感じる。 公共交通機関とのアクセスが良いこと。自分は運転が苦手であり、近場からバスや電車に乗って、外をぼんやり眺めながら移動するのが好き。車での移動を前提とした愛知の暮らしはあまりしっくり来なかった。 友達がいること。関東にも関西にも、数は少ないが学生時代の友人がおり、折につけて会うことができる。残念ながら愛知には会社の知り合い以外に気軽に会える人がおらず、家族以外の人間関係が希薄である。 以上を一言でまとめると「賑わいのある街」になるだろうか。 自分は人見知りの部類であり、あまり親しくない知人と会う予定があると、気疲れしてしまう。 こうした気質から不足する他人との繋がりを、人が往来する街を歩くことで、都合よく実感しようとしているのかもしれない。 愛知に戻るのは少し残念だが、仕事の内容は楽しいし、勤務地を理由に会社を辞めることはない。 引っ越しにあたっては、上記の点がなるべく満たされるような場所を選びたい。

買ってしまいました、E-M1 mark iii。 よかった点 AFが早い！令和の世に位相差AFを初体験して感動した。 動画が綺麗！クロップなし4Kは使いやすい。ホームビデオ目的だとlog撮影は面倒だし、30p 8bitで全然十分に感じる。 UIがサクサク！E-M5 mark iiは撮れた画像を消去するのにちょっと時間がかかっていたが、本機種では一瞬で消去できるのがストレスフリー。 いまいちだった点 流石にこっちに向かってくる子供をC-AFで連写してもピントが全部合う感じではなかった。この辺SonyやCanonはすごいんだろうなー。 画質はE-M5 mark iiと変化なし。いまだにFujiのフィルムシミュレーションについての解説記事とか読んじゃう。 ショット数を調べると50000回超えてた。キタムラの状態Aを信用して買ったので、ちょっとショックだった。外観は説明通り無傷なので致し方なしか。 懸案事項 以前は撮れた写真はプライベートな順に、iCloudの共有アルバム、Facebook、Tumblrにアップしてたが、最近は後者2つは使わなくなってしまった。 Facebookの代わりにインスタに上げたりもたまにしてるんだけど、正方形クロップにいまだに抵抗がある：調べたらアスペクト比は変えられるんですね。情弱の極み。 ブログ機能をこのサイトに移管したつもりだが、ストレージ容量に限りがあるため（1GB?）、写真は引き続きTumblrに上げていっても良い気もする 総じていい買い物をしたと思います。

学生時代はPentaxのK-30とK-S1を使っていた。 選んだ理由はシンプルにカタログスペック上のコスパが良いと感じたから。 実際使ってみると、旅行先で風景写真を撮るなどの用途には不満を感じなかった。 就職してから妻（当時の彼女）がOlympusのカメラを購入するのを横目に眺め、マイクロフォーサーズのコンパクトさとミラーレスカメラの充実した機能を羨ましく思うようになり、気づけば自分も同じマウントでE-M5 mark IIを購入していた。 レンズは12-40mm F2.8を使っていて、後から軽さと明るさを求めてPanasonicの25mm F1.4を買い足した。 子どもが生まれて、元気に歩き回るまで成長してから、E-M5 mark IIのAFに不満を感じるようになった。 2022現在、OlympusはOMDSに名前を変え、OM-1やOM-5など新しいカメラを手掛けていた。 そこまでお金に余裕があるわけではないが、これら同一メーカーの機種だけでなく、他のメーカーへの乗り換えも検討してみることにした。 なお、APS-Cとフルサイズでマウントを共用しているC, N, S社は、AF性能で比べると間違いなく筆頭候補だが、予算的に許容できるAPS-Cを買うと、将来フルサイズへのコンプが刺激されそうで怖いので、見送ることにした。 評価ポイントとして、E-M5での不満点を考慮し、下記を評価してみることにした。 AF: 動体（子ども）が合わない。コントラストAFであることに原因がある気がする。 絵作り: 大きな不満があるわけではないが、ちょっと飽きてきている。PanaやFujiの記憶色的な絵作りに興味がある。 操作性: 設定項目が分かりづらい。タッチパネルなども限定的にしか使えない。 運搬性: これは現状不満があるわけではないが、乗り換えの際にあまり重くなってほしくない。 動画: 以前旅行の際初めて外付けマイクで挑戦したが、Full HDの画質がスマホより悪かったのと、30分制限が不満だった。 以上の不満点が買い替えによってどこまで改善しそうか、独断と偏見で点をつけてみることにした。 機種 価格 AF 絵作り 操作性 運搬性 動画機能 総合 E-M5 mark iii 10 5 5 4 8 5 37 OM-5 6 6 5 4 8 7 36 E-M1 mark iii 8 8 5 7 7 6 41 OM-1 2 9 5 6 7 8 35 G99 9 4 7 8 6 7 41 G9 9 5 7 7 2 9 39 GH5m2 3 6 7 8 4 10 38 X-T5 1 6 10 4 6 10 37 X-S10 3 6 10 4 7 8 38 評価軸ごとにコメントすると、 買い替えのきっかけであるAFは、OMDS>Fuji>Panaの順だと感じた。コントラストAFも最近は速いと聞いたが、G9のAFを店頭で確認してみると、AF-Cを試すと合焦後にウォブリングが発生してしまっていた。コントラストAFの仕組み上これは避けられないっぽい。 絵作りはFuji>Pana>OMDSの順に好みだった。OMDSは悪いわけではないが、趣味で使う分には記憶色に近い方が好ましい。Raw現像をするまで時間をかけていない自分にとって、撮って出しでいい感じになるFujiのフィルムシミュレーションは羨ましい。またAPS-Cだと大きなボケを表現できるのも良い。 操作性は、Pana>OMDS>Fujiの順だと感じた。E-M5で慣れていたが、やはりOMDSのメニューはどこに何があるのか分かりづらい。Fujiはクラシカルなボタン系統が単に慣れを必要としそうだった。 運搬性は、本体の重さ、レンズの重さ、本体の持ちやすさで決まるように感じた。たとえ少々重くても、グリップがしっかりしていればカバーできるように思えた。これを踏まえて機種順に並べると、OM-5=EM-5>EM-1=OM1>G99>X-S10>X-T5>GH5m2>G9。EM-1やG99のグリップが自分の手にはスイートスポットだと思えた。X-S10は軽くてグリップも深いが、小指余りが辛く感じた。 動画性能は、Pana>Fuji>OMDSの順だと感じた。Pana、Fujiは静止画と動画の設定を分離して保存できるし、多くの機種が制限時間なしの4K撮影に対応している。OMDSもカタログスペック上は4K撮影に対応しているが、OM-1を除き30Pまでであり、カスタムダイアルに設定を保存することも難しい模様。 候補機種ごとにコメントすると、 Em-5 mark iii: 現機種と違って位相差AFを採用しており、AFの不満は薄まりそう。重さも軽くなっているが、プラボディが残念。コスパはいいが、現機種と変わり映えしなさすぎる感じがある。 OM-5: 最新機種であり、EM-1 mark iiiの機能の多くを受け継いでいるが、価格がまだ高い。プラボディ、micro usbが残念。 E-M1 mark iii: 買い替え候補の筆頭。高いAFと連写性能、マグネシウムボディがOM-5より優れている。少々重いが、グリップがとても良いので、撮る時は疲れなさそう。動画性能は4K30P8bit, 30分制限ありで、少し不満だが、それ以外は及第点。 OM-1: 機能的にはE-M1 mark iiiの完全上位互換だが、防水機能の確保のためか、持った感じがE-M1の方が手に馴染む。価格も25万と高い。 G99: AF以外完璧なカメラ。G9より軽く、クロップアリだが4K30Pを制限なしで撮れる。グリップも良いが、若干小指が余るのと、中指の窪みが小さく感じる。 G9: でかい。G99と比べ、AFに人体認識がついていることが強み。30分制限アリだが、4K60Pがクロップなしで撮れるのも良い。けどでかい。 GH5m2: 4K60P10bitを内部収録で撮れるという、ピカイチの動画性能。カメラ単体でライブストリームできるという意味わからん機能もついている。けどでかくて高い。 X-T5: Fujiの最新機種。4000万画素の写真はデータの取り回しが悪くなるが、クロップでズームできるのはかなり魅力的。最近発売されたSigmaの18-50mm F2.8と組み合わせると幸せになれそう。けどOM-1と同程度のコスト。レンズも新調することになるので、やや非現実的。 X-S10: Fujiの手ぶれ補正付きボディの中で最も安く、詳しく調べる前は買い替え候補の筆頭だった。実際触ってみると、ボディのチープ感と、持った時の小指あまり、背面ボタンの少なさが気になった。 ...

概要 現職場環境からアクセスできるスパコンで、gpuを使ったコードを実行しようとする時、singularity経由でないとcudaの設定周りで怒られることがある。 例えばjuliaのコードはコンテナを経由せずとも実行できたが、pythonでは怒られが発生してしまう。 このためやむを得ずコンテナに入門することになった。 docker hubやsingularity hubのコンテナを利用するのが手っ取り早いが、勉強のためにdockerのコンテナを一から作って、singularityのコンテナに変換してみることにした。 作業内容をここにメモしておく。 dockerのインストール 公式ページを参考にしたが、何かしらのエラーが出てしまった。ここ を参考にするとうまくいった。 プロキシ設定 dockerからプロキシが見えるように、以下を作成 $ sudo mkdir -p /etc/systemd/system/docker.service.d $ sudo vim /etc/systemd/system/docker.service.d/http-proxy.conf 以下を記述 [Service] Environment="HTTP_PROXY=http://proxy_address:port" Environment="HTTPS_PROXY=http://proxy_address:port" Environment="NO_PROXY=localhost" dockerを再起動 $ sudo systemctl daemon-reload $ sudo systemctl restart docker コンテナが作成されたときにプロキシが設定されるよう、以下を作成 $ mkdir ~/.docker $ vim ~/.docker/config.json 以下を記述 { "proxies": { "default": { "httpProxy": "http://proxy_address:port", "httpsProxy": "http://proxy_address:port", "noProxy": "localhost" } } } pythonの実行環境を作成： ここ を参照 ディレクトリ構成は下記のようにする . ├── docker-compose.yml ├── Dockerfile ├── .env ├── requirements.txt └── src ├── main.py Dokerfileは下記のようにする FROM python:3 USER root RUN apt-get update RUN mkdir -p /root/src COPY requirements.txt /root/src WORKDIR /root/src RUN pip install --proxy="http://user:pass@proxy_address:port" --upgrade pip RUN pip install --proxy="http://user:pass@proxy_address:port" --upgrade setuptools RUN pip install --proxy="http://user:pass@proxy_address:port" -r requirements.txt 以下補足： USERをrootにすると注意されるのであんまり良くなさそう pipはproxyが見えないので、--proxyコマンドで指定する requirements.txtには、pythonの実行ファイルが必要とするライブラリを記述しておく ここによると、ベースイメージはもっと軽量なものを選ぶべきな気がする docker-compose.ymlは下記のようにする ...

日本応用数理学会の年会で口頭発表してきました。 内容は、平均場ゲームの数値計算についてです。 平均場ゲームとは、非常に数の多い多体の最適制御問題を近似する偏微分方程式です。 平均場ゲームを数値計算したいのですが、以下の難しさがあります。 一つが、方程式が非線形であることです。 もう一つが、2本の連立方程式になっており、それぞれの変数が相互依存してしまっていることです。 これらの問題に対して Cole-Hopf変換と呼ばれる変換によって、方程式を線形化し、 Fictitous Playと呼ばれる反復計算によって、相互依存の問題を解消しました。 これらの変換を実施した系に対して、標準的な陽的差分スキームを提案し、提案スキームが平均場ゲームに対して収束性を持つことを証明しました。 提案スキームを1,2次元の制御問題に適用し、妥当な結果を与えることを確認しました。 発表資料をここに置いておきます。興味のある方はご覧ください。 今回はハイブリッド開催でしたが、オンラインで発表しました。 せっかくなので、一眼レフとマイクを使って発表を行ってみました。 少し凝った環境でオンライン学会発表してみた pic.twitter.com/02N2XwN97Y — inody (@inody_) September 8, 2022 完全に自己満足ですが、発表後「声が良かった」と好評いただき嬉しかったです。

U3223QE 買ってしまった… 良かったこと 画面が綺麗。ベゼルも狭い。 KVM機能が優秀。マウス・キーボード・usb-dacを切り替えてくれる。以前より配線がスッキリして気持ちいい。 dell display managerが優秀。キーボードショートカットで画面を触らず入力切り替えできるし、画面の輝度はじめとする設定も全部ここからできる。 微妙だったこと webカメラ（logicool brio）をハブに接続すると入力切り替えの際に他のUSBデバイスが認識されなくなる Non-integer scalingをすると4GBくらいメモリが召し上げられる 基本的にいい買い物だったと思うけど、メモリ問題は誤算だった。今後あまりに困るようならS3423DWCに買い替えを検討しようかな…

今使っているモニタ（これ）はusb-cでmacbook airに接続・給電できるので、特に不満なく使っていた 買いたいと思ったきっかけは、デスクトップPCを購入して2台体制になったこと KVMを購入してモニタとusbデバイスを共有させようとした 初めに買ったのはサンワサプライのこれ。 usb-cとhdmiを切り替えできて、usb-cの方には給電もできるものはこれくらいしかなかった 一応動作したが、下記に不満があった このKVMを通して接続できる端子がusb2.0のみ 片方の接続が切れると、もう片方に勝手に切り替わる 切り替えが遅い（10秒以上） KVMを通してキーボードとマウスを繋いだだけで、電力不足を警告され、接続をOS側で勝手に切られる 特に最後が致命的だった 次に買ったのは、CKLauのこれ。 usb-cの入力を許容するKVMはほとんどないので、usb-c<->HDMI+usb-aのハブとHDMI+usb-a同士を切り替えるKVMを組み合わせようとした usb3.0で接続できるKVMはこれくらいしかなかった 聞き慣れないメーカーなので不安だった。届いたら案の定、前面のusb端子が全く反応しなかったので返品 この辺りで、最近のモニタにはKVM機能付きのものが出てきていると知る GIGABYTE, JAPANNEXT, Dellなどが出していたが、口コミを見るとDellの機能が一番安定していそう どうせ買い替えるなら4Kとかウルトラワイドにしてみたいと欲が出てくる 4Kはnon-integer scalingするとGPUを消費するという情報を以前見かけたが、m1 macだとそこまで影響はないと判断した(https://forums.macrumors.com/threads/m1-mba-and-external-4k-monitor-scaling.2304916/) 候補は U3219Q U3223QE S3423DWC S3423DWCはウルトラワイドだが、ゲームとかあまりしないので保留（値段も4Kのものよりちょっとだけ高い） U3223QEはU3219Qの後継で、どちらも4K 色々機能が足されているが、自分の用途的にはU3219Qでも十分に思われた 一方、U3219Qはusb-c接続の時にusb2.0の速度しか出ないと言う情報を見かけた（ここ） なら現行機のU3223QEがいいよね けど価格が高い（2022.8月現在99800円） ボーナスもらったしいけるか！？となりかけているが、一度冷静になるために、ここまでの流れを記録している（<-イマココ） 結論 しばらくウォッチして、安くなったら買いたい。 買ったらここで報告します。

今まで研究者としてのポートフォリオはGoogle Siteを、ブログはTumblrを用いていた それぞれのアドレスは下記 https://sites.google.com/view/d-inoue/home https://inody.tumblr.com どちらも投稿時はWebの投稿画面にアクセスする必要があり、煩雑に感じていた 前からやろうやろうと思っていた、Github pagesでポートフォリオサイトを公開する作業に取り組んだ ジェネレータにはよく見かけるHugoを、テンプレートにはStar数の多いPaperModを使用することにした 作業には https://zenn.dev/okaponta/articles/c302f58507febc が参考になった これまでのポートフォリオサイトの内容をコピペし、ブログ記事も移行した 最初自動化しようと思ったが、そんなに記事の本数も多くなかったため、手作業で行った 過去のブログとmarkdownやlatexのレンダリング方法が異なるため、表示がかなり崩れている 修正は面倒なので、後回しにすることにする -> たぶん完了。 今後、Google SiteやTumblrの更新を止め、こちらのサイトで情報を更新しようと思う いろんなところに貼っているGoogle SiteやTumblrへのリンクもこちらのサイトに張り替えなければならない -> これも多分完了。 git pushすれば記事が公開できるようになったため、執筆のハードルが下がったと思う 自分へのメモ： contentsにmarkdownファイルを作成 inositeでhugo publicでgit push origin main こんなことやってる時間があったら研究しましょう

インストール ここを参考にした。 以前WSL1を触った時はMicrosoftストアからイメージをDLする感じだったと記憶しているが、コマンドだけでインストールできた。 Powershellでのコマンド： wsl --install これだけでUbuntu20.04が自動でインストールされた。 イメージの移動 デフォルトではCドライブにインストールされる。 しかし後々ディスク容量を逼迫することが目に見えたので、別ドライブにイメージを移動させた。 ここを参考にした。 Fドライブに1TBのSSDを増設したので、基本ここの直下を使うことにした。 Powershellでのコマンド： wsl --shutdown wsl --export Ubuntu F:Ubuntu.tar wsl --unregister Ubuntu wsl --import Ubuntu F:Ubuntu D:Ubuntu.tar --version 2 これを行うことで、デフォルトユーザーがrootになってしまう問題がある。 基本vscodeのremote sshで接続する予定なのであまり問題はないが、リンクを参考にしてユーザー権限で起動するショートカットを作成した。 また、後々明らかになったのだが、デフォルトのイメージはディスク容量が256GBを最大値として作られるようだった。 容量を拡張するために、ここに従ってコマンドを実行した。 同一LANからWSLにSSHする Ubuntu内でsshサービスを立ち上げておく必要がある。 いろいろ試行錯誤したため記憶が定かでないが、open-sshは初めからインストールされていた。 なので鍵がうまく設定されていさえすれば、同一LANの外部から接続できそうだが、問題が2つある。 WSLではsystemdが動いておらず、サービスを自動で起動することができない。 WSL2ではホストであるWindowsと異なるIPが使用されており、直接外部から接続することが難しい。 このうち1. はWSLを起動するときにオプションでシェルスクリプトを実行できるので、それで解決した。 具体的にはWSL内でinit-wsl.shとかの名前のスクリプトを作成しておき、WSL起動時に wsl -d Ubuntu -u root exec /home/user/init-wsl.sh とすればよい。init-wsl.shの中身として #!/bin/sh service ssh restart service cron restart などと、起動したいサービスの名前を書いておく。 これでsshやcronなどのコマンドを実行できる。 つぎに2. は、Windowsポート22に来たパケットをwslのポート22に転送する設定を実施した。 for /F %%i in ('wsl -d Ubuntu exec hostname -I') do set ip=%%i netsh interface portproxy delete v4tov4 listenport=22 netsh interface portproxy add v4tov4 listenport=22 connectaddress=%ip% この設定はここを真似した。 これらがWindowsが起動されるたびに自動で実施するために、 ...

購入理由 正月で帰省中、ふと計算機がほしくなった。 会社のネットワークはsshがブロックされているため、家から繋ぐにはRDP接続する必要がある。 通信がラグい時もあり、ストレスで出社したりしていた。 家に計算機があれば、ちょっとした計算を家で回すことができると考えた。 （家族のいない間ゲームをしたい気持ちもあった） 要件 せっかくなので、最近話題のIntel12世代CPUを積んだやつがいい。 GPUはあんまり使わないだろうけど、機械学習に興味がなくはない（本音はゲームがしたい）ので、それなりのやつを積んでた方が良い。 メモリは32GBあれば十分だけど、16GBでも良いかもしれない。 価格は高くても25万円くらいで抑えたい。 調査 初めはフロンティアやドスパラなどのBTOを探したけど、途中から欲が出て自作したくなった。 ただ今はあらゆるパーツが高騰していて、自作するとBTOより高くつくことがわかった。 年末年始で各社がセールを行なっており、パソコン工房の自作キットが魅力的だったので（これ）、新年早々寒空の下店舗に並ぶなどしてみたが、惜しくも購入できなかった。 購入したPC 結局Dellのxps8950を買った。 スペックは以下のような感じ： 第12世代 インテル® Core™ i7 12700K (12コア, 25MB キャッシュ, 3.6GHz - 5GHz w/Turbo Boost Max 3.0) 水冷CPUクーラー NVIDIA® GeForce RTX™ 3060 Ti 8GB GDDR6 (LHR) 16GB デュアルチャネル DDR5 (2x 8GB) 4400MHz; 最大 128GB 512GB NVMe M.2 PCIe SSD (ブート) + 1TB 7200RPM SATA 6Gb/s (ストレージ) 750W電源（プラチナ） リンクはここ。 値段は今はちょっと高くなっているが、買った当時は学割+即納セールを利用し、21万円ちょっとだった。 DDR5メモリが枯渇する中、上記スペックのものとしては結構お買い得だったと思う。 調べると、xpsは前のモデルが排熱に問題があるとして悪評があるようだった。 それは主にケースが小さすぎる、クーラーがリテールクーラー並みにしょぼい、という理由によるもので、本モデルはケースが大きくなり、水冷クーラーを選べるので、問題にはならないと考えた。 購入後 久しぶりに必需品じゃないもので大きな買い物だったので、緊張した。 届いてすぐ、Geekbenchなどのベンチマークを回してみたが、同等のスペックのものより少しだけスコアが低かったので、やはり排熱問題は若干残っているのかな、と感じた。 とはいえ、ケースファンがとてつもなくうるさくなるとかは今のところないので、快適に使えそう。 ...