Posts

概要 現職場環境からアクセスできるスパコンで、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 以下補足： ...

日本応用数理学会の年会で口頭発表してきました。 内容は、平均場ゲームの数値計算についてです。 平均場ゲームとは、非常に数の多い多体の最適制御問題を近似する偏微分方程式です。 平均場ゲームを数値計算したいのですが、以下の難しさがあります。 一つが、方程式が非線形であることです。 もう一つが、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などのベンチマークを回してみたが、同等のスペックのものより少しだけスコアが低かったので、やはり排熱問題は若干残っているのかな、と感じた。 とはいえ、ケースファンがとてつもなくうるさくなるとかは今のところないので、快適に使えそう。 ...

社会人博士として大学に入学してそろそろ2か月になります。 現状を俯瞰すると、いろいろとまずい状態にあるように思われるので、問題点を列挙してみようと思います。 まず、平日に仕事と学業が思ったほど両立できていません。 今の研究室とは共同研究のご縁で配属させていただいたため、昨年度までは業務内容と学業の内容にオーバーラップがありました。 これを利用して学位取得のための研究を進められると踏んでいたのですが、現状そうはなっていません。 というのも、今年度から組織編成が変わり、業務内容が変更されたためです。 今のところ、上司は過去の業務を精算する時間として、昨年度の研究に時間を割くことを大目に見てくれています。 しかし、そのうち新しい業務項目に本格的に携わることになるのは不可避でしょう。 また、ここ最近書類の作成業務が重なったことも、研究の進捗を阻んでいるように思います。 また、平日の夜は一瞬で過ぎます。 子どものご飯を上げる、お風呂、寝かしつけなどをしていると気づけば22:00を回ります。 この時間以降に勉強を進めようとしていた時期もあったのですが、子どもが夜中に目覚めることが多く、その結果自分も寝不足になるため、最近は一緒の時間に寝てしまっています。 なにより問題なのが休日の過ごし方です。 平日に学業ができていない焦りがあり、常にiPadを手に持ち論文を読みながら子どもの相手をしています。 子どもは少しでも目を離すと視界から消え、気づくとティッシュなど手の届く場所にあるものをなんでも食べようとするので、常に見ておく必要があります。 そこに中途半端に勉強の要素を導入しようとしても無意味です。 子どもをまともに見守れず、かといって論文も全然読み進められない、当然の結果に陥っています。 妻は現在育休中であり、平日の昼の家事育児はお願いしています（朝ご飯は各自、備品の買い物、ゴミ出し、掃除などは自分が担当しています）。 このため休日まで家事育児に時間を割いてもらうのは申し訳なく、妻には土日の一方をリフレッシュデーとして自由に外出してもらうようにしていました。 しかし僕の入学以降、家事育児がおろそかになり始めてしまったため、見かねた妻が家にいてくれるようになってしまっています。 ホットクック、食洗機、ロボット掃除機などの時短家電はすでにフル稼働しており、生活は多少楽になりましたが、本質的な改善には至っていないというのが実感です。 妻から見れば、平日ただでさえ家事育児を放棄しているのに、休日もタブレット片手に漫然と過ごす夫に辟易する、といったところでしょう。 実際口にはしませんが、ストレスはたまってきているように思います。 優先順位を考えると、一番が家庭、そのつぎに食い扶持を稼ぐための仕事、最後にキャリアのための学業となるのは自然です。 しかしこの順位でこなしていくと、永遠に学業が進捗しません。 学業が進捗しない→家事育児が中途半端になる→妻のストレスがたまる→自分も消耗する→学業が進捗しない、という精神的な負のスパイラルが発生し始めているようにも思われます。 問題点をまとめると、 平日の昼に内職的に学業を進めているものの、時限である 平日の朝や夜の子どもが起きていない時間に進めたいが、就寝時間が犠牲になる 休日に家事育児と学業が両立できない という感じです。 タイトルの通り、仕事と学業と育児のトリレンマです。 まとまった時間の確保には、やはり休日の時間の使い方が鍵であるように思われます。 そこで、先日妻に相談し、休日にそれぞれ2時間ほどまとまった時間を確保し、僕は勉強に、妻は休憩に充て、それ以外の時間は平等に家事育児に時間を割く、という取り決めを交わしてもらいました。 この仕組みがうまくワークすることを祈るばかりです。

娘が大きくなってきた。 以前は寝かしつけに相当苦労した。 縦抱っこをしながら子守唄を歌う。 寝息を立て始めてしばらくして大きな吐息が聞こえたら、そっとベッドに寝かせる。 少しでも乱暴な置き方をするとパチリと目が覚め大泣きされる。 こうした動作を繰り返すうちに1時間は余裕で経過する。 今は違う。 初めからベッドでごろごろさせながら一緒に遊んでいるうちに、そのまま寝息を立て始めることが増えた。 寝かしつけが随分と楽になった。 今日、久しぶりに娘の寝つきが悪かった。 久しぶりに縦抱っこをしながら子守唄を歌う。 ほんの1ヶ月かそこらぶりのことなのに、随分と懐かしく感じた。 同時に、こうして困らせられながら育児をする期間にも終わりがあるということを強く感じてしまい、急に感情が揺さぶられた。 柄にもなく涙が出てきた。 僕はうまくやれているだろうか。 この先うまくやれるんだろうか。 わからないけれど、やれるだけやってみるね。

I am a student. pic.twitter.com/UxXYyHTY8E — inody (@inody_) April 2, 2021 この4月から、東京大学の数理科学研究科に博士後期課程の学生として入学することになりました。 入社当初から会社の上司には学位を取りたいと伝えていたのですが、足掛け5年でようやくスタートを切ることができた次第です。 入社時は学生時代の指導教員が会社の近くに研究室を構えていたため、そこに通うことを狙っていたのですが、東京転勤によって難しくなってしまいました。 東京で会社に勤めながらチャンスを伺っていたところ、共同研究のご縁から指導を許可いただける運びとなりました。 なお、仕事は続けるので社会人博士です。 修士までは制御工学のどちらかというと理論寄りの研究をしており、会社でもそこで培った知識を用いて研究していたのですが、博士課程ではより数学的な研究をさせていただくことになります。 具体的には、制御にまつわる偏微分方程式を数値的に解く際に、代数解を精度良く近似している保証を与えてくれる計算手法の開発を目指します。 このトピックは会社で研究を進めるうちに遭遇した課題であり、少なくとも自分にとっての需要は大きいです。 一方、解決には偏微分方程式に関する深い知識を必要とするため、素養が皆無の自分には明らかなチャレンジだと感じます。 加えて、プライベートな懸念もあります。 入社当初は独身で失うものもなく、休日に頑張れば両立できると高を括っていました。 しかしながら5年たった今、結婚し子どもを授かったことで、土日も家庭に時間を割く必要が生じています。 このような状況において、博士課程の3年は一瞬であり、時間との戦いになることは明白です。 以上のように不安は尽きませんが、30代最初の挑戦として相応しい舞台に立てたことを前向きに捉えて、しっかり時間管理して研究に励もうと思います。