Posts

今月の業務内容 メインの研究テーマについて、昨年指導教員から指摘された理論的仮定の不足を検証し、理論保証の内容を更新した。 年末までは、解析対象の方程式の解に対して非自明な正則性を仮定する必要があり、導出した評価も厳密ではあるものの実務的な意義が限定的であった。 関連分野の先行研究を参考に別経路で不等式を導出したところ、必要な仮定を削減しつつ、より精密で実務的にも有用な評価を得ることができた。 この内容を原稿に反映し、現在は指導教員に再確認を依頼している。 また、1月上旬には海外大学の研究者がセミナー講演のため来訪され、講演後に研究ディスカッションの機会を得た。 上述の別経路による証明は、その議論から得られた示唆がきっかけとなっている。 来月にも再訪の予定があるため、再度議論をお願いする計画である。 Imperialの数学科で開催されるセミナーは多岐にわたり、今月は自身の研究対象である多体系の時間発展方程式に関する講演が特に充実していた。 他大学の研究者による講演を複数聴講し、論文だけでは把握しづらい研究のエッセンスを直接学ぶ貴重な機会となった。 応用数学分野の論文は構成が重厚で読解に時間を要することも多いが、講演を通じた理解は研究の着想にもつながるため、今後も積極的に活用していきたい。 メインテーマとは別に、以下の業務も進めた。 博士課程学生の数値計算に関する助言業務：継続的に実施中。対象方程式の簡略化モデルに対する数値計算に成功し、今後は本来の方程式に向けて理論面・数値面双方から拡張を進めていく予定である。 修士課程学生の指導準備：来月より指導を開始予定。今月は提示予定の研究テーマの整理と文献調査を行った。候補となるテーマは絞られてきたが、学生本人の関心も重要であるため、面談を通じて調整を行う予定である。 周辺の出来事 年末年始の交通トラブル以降、妻の海外生活に対する不安がやや強まっている。 妻にとって長期の海外生活は今回が初めてであり、今回の経験が心理的に大きな比重を占めているようである。現在は、筆者が長時間自宅を離れることに対して慎重な状況が続いている。 今後予定されている海外出張についても、家庭側の負担との兼ね合いから調整が必要となっている。滞在中は地の利を生かしてアウトリーチに力を入れたいという思いがある一方、家族の気持ちにも寄り添う必要があり、両者のバランスに悩む日々である。

年末にパリへ旅行に行く予定だったが、トラブルに巻き込まれたため、顛末をメモしておく。 当初のスケジュール 12/29： Eurostarでロンドン（St Pancras International Station）からパリ（Gare du Nord Station）へ移動。ディズニーランドへ行き、パリ郊外に宿泊。 12/30： Eurostarでパリからロンドンへ移動・帰国。 トラブルの経緯 12/29の日中は、（ホテルが満室で隣の系列ホテルへ徒歩移動を求められた以外は）おおよそ順調だった。 問題が起きたのは同日夜。電源トラブルによりEurostarに大幅な遅延が発生しているというニュースを目にした。当時はまだ運行しているように見えたため、遅延を見越して一本早い便へ予約を変更した。 翌日（12/30）パリ市内で駅に向かう途中、Eurostarから「全便運行キャンセル」の通知が届いた。 急遽、31日以降の便への変更が必要となったが、予約サイトを確認すると31日の便は満席。年明け1/1の便なら僅かに空きがあった。 滞在を2日延長せざるを得ないため、まずは急いで市内のホテルを確保（所要時間10分）。その後、1/1のEurostarを予約しようとしたが、Webサイトはアクセス集中で繋がらず、変更もキャンセルもままならない状態になっていた。 念のためGare du Nord駅へ直接向かったが、事務室には客が殺到しており、警備員が大声で退場を促すほどの混乱ぶりだった。 ここでEurostarでの移動は諦め、Paris-Charles de Gaulle airport (CDG) から飛行機で帰るプランに変更。幸い、無事に1/1の便を確保できた。 結果と費用 結局、12/30帰国の予定が2日延び、1/1の帰国となった。 追加発生費用（合計：1467.71 GBP / 約310,051円） British Airways 航空券：637.53 GBP ホテル宿泊費：830.18 GBP これから保険会社に相談予定。何かしら補償されることを願うばかり…。 本年もよろしくお願いいたします。

今月の進捗 メインの研究テーマについて、12月は数値計算の追加実験と原稿の執筆を実施した。現在取り組んでいる研究は、先行研究Aと先行研究Bを組み合わせることで、大規模モデルの高速な計算を実現するものである。先月実装を終えた提案手法の優位性を検証するため、今月はモデルに内在するパラメータを変化させた際の高速化への影響を調査した。狙い通り、パラメータを大きくするほど高速化の効果が顕著になるという結果を得た。 論文化を見据えて、数値計算と解析の内容をまとめた原稿を執筆した。指導教員に内容を見てもらい、理論的な仮定の不足などについて指摘をいただいた。来月これらに対応し、原稿の完成度を高める予定である。 メインテーマとは別のトピックとして、以下の活動を実施している。 博士課程の学生の数値計算に関するアドバイザー業務を継続している。週に一度のミーティングを実施し、彼の実装したコードのバグを一つずつ解消する活動を進めている。現在の活動は既存研究の再現に近いが、その後の拡張に関する議論も実施中である。 指導教員から来年からの修士学生の指導業務の依頼を受けた。公式には指導教員がスーパーバイザーにあたるが、そのサポートをする立場である。社内でもマネジメントの経験は少なく、経験を積むためにもぜひ引き受ける予定である。1月は学生が取り組む研究テーマの検討を進める予定である。 医療機関の受診 12月8日の週に、子どもが40℃の発熱をした。一晩熱が出て、翌日熱が引いたので念のため学校を休むというサイクルを数日繰り返した。妻にも同様の症状が現れ、数日間在宅勤務で家族の世話をしながら生活を送った。今回初めてかかりつけ医に診てもらい、深刻な病気ではなく、ただの風邪だろうとのことだった。翌週には回復したので幸いだったが、ヒヤリとする出来事だった。研究室のクリスマスパーティに参加できなかったことは少し残念だった。 かかりつけ医への受診に関して、初歩的だが重要な知見を得た。まず、電話していきなりクリニックに行くことはできず、オンラインフォームを通して問診票の記入が必要である。フォームに回答後、2、3日以内に返信をするとシステムから回答が来る。今回は午前中に入力して、午後にはクリニックから電話がかかってきた。ネットで検索すると、実際に返事に3日かかる場合や、症状が深刻でないと判断された場合は訪問を拒否されるケースもあるようである。 また、診察後は処方箋を発行してもらうわけではなく、薬局で市販薬を買うように言われた。今回は単なる風邪だったため、市販薬で済むと判断された模様。処方薬を想定してかかったため、少し拍子抜けだった。 年末年始の予定 年末年始、研究室の学生たちの多くは自国に帰省するか旅行を予定しているそうである。また、子どもの学校の日本人保護者の方々も欧州旅行に行かれる方が多い。このため、本原稿を執筆している12月24日現在、周囲の知り合いは少なく、静かな年末年始を過ごしている。明日は我が家にも親戚が遊びに来る予定であり、パリに観光に出かける予定である。安全第一で行動しながら、せっかくいただいた滞在の機会をプライベートでも全力で楽しみ、新年からの活力の源としたい。

今月の進捗 11月は先行研究の追試、提案手法の実装、および理論解析を実施した。現在取り組んでいる研究は、先行研究Aの数値計算手法と先行研究Bの近似手法を組み合わせることで、計算の高速化を目指すものである。 今月はまず、先月から進めていた先行研究Aの追試を完了した。具体的には、既に発表されている文献の数値計算結果を再現することに成功した。ここに先月完了した先行研究Bの結果を組み合わせることで提案手法を実装し、精度を維持したまま計算速度を約半分に削減できることを確認した。 論文発表のためには、数学理論による手法の性能保証を伴うことが望ましい。この一環として、先行研究Bによる近似の導入が計算結果に及ぼす影響について誤差解析を実施した。いくつかの理想的な仮定を導入したものの、最悪誤差に関する解析的評価を得ることができた。 来月は、引き続き数値計算の充実化と論文原稿の執筆を進める予定である。 メインストリームとは別に、以下の活動も行った。 PhD学生の数値計算に関するアドバイザー業務を開始した。彼が実装した計算コードの誤差が大きいという課題に対して、いくつかの助言を行い、実装の修正を促した。彼にとってもサブプロジェクトであるため、比較的ゆっくりとしたペースで進める予定である。 マンチェスター大学の日本人の先生からセミナー発表に招待いただき、現在進めている研究について紹介・議論する機会を得た。イギリス在住の日本人研究者とのコネクションを今後も拡大・継続していきたいと考えている。 子どもの学校 子どもは相変わらず登校を渋っており、毎朝の通学準備に苦戦している。先生の指示が理解できず、授業についていけないことが主な原因のようである。​ 学校からは英語と算数の宿題が毎日出され、保護者も子どもの学習サポートをしっかり行う必要がある。学習の順序も、日本のように足し算→引き算→掛け算という段階的なものではなく、両手で数えられる範囲の足し算、引き算、掛け算、割り算を最初に一度に学ぶ方式のようで、ドリルでも1+5の次に5×2が出題されている。5歳の子どもにはなかなか難しく、ましてや英語で学んでいるのだから、混乱するのも当然だと思われる。​ 幸いなことに、友達作りには成功している。特に、最近転校してきた日本人の児童とは、同じような境遇ということもあり、仲良くなっているようである。​ つくづく、この滞在において子どもが一番頑張っていると感じる。この頑張りに負けないよう、自分自身も励んでいきたい。​ ​ その他トラブル 現在居住している物件において、いくつかのトラブルが発生した。 ゴミ袋を回収場所に設置後、鳥に荒らされ、周囲にごみが散乱した リビングの照明が点灯しなくなった 備え付けの電子レンジが動作しなくなった いずれのトラブルについても、不動産会社から丁寧な助言と対応をいただいた。日系の不動産会社であったため、気軽に相談できることは、渡英前にはあまり想像していなかった利点であった。

研究の進捗 10月は文献調査、研究テーマの具体化、先行研究の再現実験を進めた。着任前は大まかな研究の方向性のみを決めるに留まっていたため、改めて研究課題を整理し、重要でありながら未解決のトピックを特定できた。文献調査で把握した既存研究Aと既存研究Bを組み合わせれば解決の糸口になると考えている。 まず両手法の再現実験に着手し、研究Aについては概ね順調に再現を完了した。一方で研究Bでは数値計算が安定せず、引き続き作業を継続する予定である。より高いインパクトを目指すため、単純な併用だけでなく、両手法を相互補完的に発展させる拡張案を検討する必要がある。 また、私の過去研究をベースに、手法を拡張したいという博士課程の学生から協力の打診を受けた。彼が得意とする数値計算手法を私の定式化した問題へ適用する形で共同研究を進める予定で、11月から定例打合せを始める。議論を通じた相互発展に期待している。 研究室での活動としては、週に一度程度、不定期で指導教員との打合せがある。加えて金曜日には論文紹介や研究相談など自由に議論できる定例会が開催される。居室は学生室とは別室を割り当てていただき、現在は私と同じく客員で滞在している教授の方と二人で使用している。指導教員とは別室のため、日常的に最も会話する相手はこの教授となっており、当初の想定とは異なるものの、非常に良い研究交流の機会になっている。 これらの件とは別に、出国前に投稿していた論文2本の結果が続々と返ってきて、どちらも残念ながらリジェクトだった。 このうち1本は査読に丸2年を要していたにもかかわらず、レビュワー1人のあっさりとしたコメントのみで判断され、結構ショックだった。 11月にそれぞれの論文の共著者と作戦会議を練る予定。 幸い本業は時間に融通が利くので、なすべきことを冷静に進めていけば、再投稿に漕ぎつけられると信じたい。 子の現地校生活 10月より、子どもが現地小学校に入学した。エージェントの方によると、申し込みから受理までの期間が非常に短く、運が良い事例とのこと。同学年の日本人保護者からは3ヶ月待った例も聞いている。 入学後は大きなトラブルもなく通学しているものの、本人からは新しい環境への戸惑いが見られる。主な理由は以下の3点だと思う： 日本での友達に会えなくなったことによる寂しさ。幸いクラス内に日本人児童が数名いるため、時間とともに新しい交友関係が育つことを期待している。 保育園から小学校への移行に伴う生活リズムと学習習慣の変化。毎日、英語（Phonics）や算数（一桁の加減算）など、これまで本格的に取り組んでこなかった宿題が出され、やや負担が大きい様子である。 学習および生活言語が英語へ切り替わったことへの困難。とはいえ子どもの言語習得能力は高く、時間とともに適応が進むと考えている。一方で英語環境に偏りすぎることで帰国後の日本語力低下が懸念されるため、週末に日本語補習校へ通うことを検討している。 医療・手続きメモ 妻の歯の詰め物が脱落したため、NHSは受診まで時間を要することから、会社加入の海外医療保険を利用して民間の歯科医院を受診した。診療費は300 GBPだった。しかし術後に保険規約を確認したところ、詰め物の脱落は補償対象外であることが判明した。治療前に保険適用範囲を十分に確認する重要性を痛感した。

生活基盤の立ち上げ 9月は主に生活基盤の立ち上げに従事していた。9月10日から15日までSouth Kensingtonのホテルに滞在しながら、携帯電話回線の契約、現地住居の契約、子どもの小学校への申し込みを実施した。 West Actonの現地住居に入居後は、インフラ（電気・水道・ガス・インターネット）の契約、銀行口座の開設、Council Taxの手続き、かかりつけ医の登録を実施した。 契約した物件は家具付きではあるが、入居直後はいろいろと入り用で、寝具や台所用品などの調達に数日を要した。 大学では、研究活動を開始するための事務的な準備を進めた。Sponsored Researcherとして活動するための面接や、大学のアカウント・メールアドレスの開設、居室の鍵の受け取りを行った。 9月上旬、Dante先生とは3度大学に来ていただき打ち合わせを実施していただいた。そこでは、先生および同研究室に滞在中のAlexander Vladimirsky先生に、2年間で取り組みたいテーマについて聞いてもらい、進むべき方向性や読むべき論文について助言をいただいた。 30日には、学内のオープンな研究ディスカッションのイベントに参加させていただく予定であり、本留学期間のアウトリーチ活動の第一歩として取り組む予定である。 渡英初日のトラブル 渡英初日から3日目まで電車・地下鉄のストライキがあった。事前に予告されていたため、空港からのタクシーを予約していたが、あいにく合流できず、代わりのタクシーに乗るまでに1時間近く悪戦苦闘した。 また、ホテルからバスで近隣施設に移動後、帰りのバスがなかなか来ず、2時間近く寒空の下で待つ必要があった。公共交通機能が頑健な日本とは異なる環境での生活が始まることを象徴する出来事だった。 住居契約の重要性 子どもの学校は申請後受理されるまで時間がかかる。25日現在、まだ連絡を受け取れていない。渡英直後に一日中妻に世話をお願いするわけにもいかず、今月は午前在宅→午後通学のようなサイクルで生活を送った。学校決定までの期間については運次第なところもあり、個人でできることとしては、なるべく早く申し込む、そのためになるべく早く住居の契約をする、ということに尽きる。 また、銀行口座の開設にも賃貸契約が必要であった。Wiseと呼ばれる国際送金アプリでは、ポンド建ての銀行口座番号が取得でき、日本にいながらにして現地銀行口座を開設できる。しかし、このままでは口座に紐づく住所が日本の住所になってしまい、日本の法律により100万円以上の残高を保有することができない。住所変更のためには賃貸契約書の送付が必要であった。したがって、こちらも住居の契約を早めにすることが肝要である。

先日、arXivにプレプリントをアップしました。 概要の日本語訳をこちらに掲載します。 複雑な非線形性を近似できるニューラルネットワークは、非線形動的システムのデータ駆動制御において広範囲に応用されています。 しかし、動力学が未知のシステムの高速オンライン同定と制御は依然として中心的な課題です。 本論文では、エコーステートネットワーク（ESN）とモデル予測経路積分（MPPI）制御を統合した新手法を提案し、これらの課題に取り組みます。 提案するReservoir Predictive Path Integral（RPPI）制御は、ESNによる非線形動力学の高速学習を可能にし、学習した非線形性を並列化されたMPPI制御計算で直接活用します。 このフレームワークはUncertainty-aware RPPI（URPPI）にさらに拡張され、ESNの不確実性を活用して探索と活用のバランスが自動調整されます。 Duffing振動子とquadruple-tankシステムの制御実験により、URPPIが制御性能を向上させ、従来の二次計画法ベースのモデル予測制御手法と比較して制御コストを最大60%削減することが実証されました。 ご興味ある方は、こちらのリンクからアクセスしていただければと思います。

この度、2025年9月から2年間、イギリスのImperial College LondonでSponsored Researcherとして研究することになりました。 会社のサバティカル制度を利用し、これまで取り組んできた大規模マルチエージェントシステムの解析・制御に関する研究を継続していく予定です。 修士時代にヴルカヌス・イン・ヨーロッパでアイルランド・ベルギーに1年滞在してから、はや10年。 今度は家族と一緒に海外生活に挑戦できることになりました。 ついてきてくれる妻と子に心から感謝しています。 この滞在が実現できたのは、会社の皆さんのご理解とご支援、そして受け入れ先の先生方・スタッフの皆様のご協力があってこそです。 本当にありがとうございます。 なお、滞在中は会社のメールアドレスが使用できなくなります。 ご連絡の際はプライベートアドレスまでお願いいたします。 ロンドンでの研究や生活の様子も、こちらで時々ご報告していければと思います。 引き続き、よろしくお願いいたします。

はじめに 在宅勤務中、仕事が途切れたタイミングで、ついスマホを開いてSNSや動画サイトを見てしまう。 また、夜中に目が覚めたときも、ついスマホを手に取ってしまって、そのまま眠れなくなることがある。 これ以上深刻化する前に、ツールを用いて生活習慣の改善を目指す。 Screen Time iPhoneやiPadには、スクリーンタイムという機能がある。 設定の中の「休止時間（Downtime）」という項目で、アプリの利用を制限する時間帯を設定できる。 たとえば22時から翌朝5時までの間は、あらかじめ許可していないアプリを使えないようにすることができる。 これを使うことで、夜中に目が覚めても、スマホを使うきっかけが減るはずである。 Jomo 勤務中にも無意識にスマホやPCでSNSを見てしまうことがある。 その対策として、Jomoというアプリを用いる。 これは特定のアプリやウェブサイトを、曜日や時間帯ごとにブロックできる仕組みを持っている。 Screen Timeよりも細かくコントロールできるところが便利である。 ただし、無料版ではブロック時間帯を2つ以上設定できないという制限がある。 そのため、夜間はScreen Time、日中はJomoというように、役割を分けて使うことにする。 ScreenZen 時間に関係なく、スマホを使いたくなるときがある。 この対策として、ScreenZenというアプリを用いる。 このアプリは、ユーザーが特定のアプリやサイトを開こうとするたびに、数秒の待ち時間が「本当に開きますか？」というメッセージと共に挟まれる。 この間に行動を見直す余裕が生まれるので、衝動的な使用を減らせる。 人は"トリガー"によって無意識にスマホを開いてしまう習慣を持ってしまうらしい。 この"無意識"を意識させるために有用なアプリだと思う。 少し試したone-secというアプリも似たような仕組みだったが、無料でブロックできる対象が1つだけという制限があった。 ScreenZenは複数の対象を登録できるし、マルチプラットフォームな点でも使いやすい。 画面のモノクロ化 スマホの画面をモノクロにすることで、刺激を減らすという方法も知ったので試してみている。 iPhoneでは「アクセシビリティ」→「画面表示とテキストサイズ」→「カラーフィルタ」で設定できる。 カラフルなアイコンや画面がすべてグレースケールになるだけで、スマホに対する興味が少し薄れる気がする。 まとめ Screen Timeで夜間の使用を制限し、Jomoで勤務中の誘惑を断ち、ScreenZenで衝動的な使用を抑える。 さらに、白黒画面でスマホそのものへの関心を減らす。 これらの施作でスマホ依存から少しでも抜け出せたらいいと思う。 注：本記事は箇条書きの内容を生成AIに清書してもらいました。

WakeOnLanの必要性 自宅でDellのデスクトップPCにsshやrdp経由で繋いで使っている 接続できないとき、これまではPCの電源ボタンに設置したSwitchbotのスイッチ経由で強制的に再起動を繰り返していた 強制再起動の頻度はそこまで多くなかったが、無理が祟ったのか、先日PCが起動しなくなり、BIOSにすら入れなくなった サポートに修理を依頼し、マザーボードとSSDの交換を実施してもらった 今後このようなことを防ぐため、WakeOnLan (WOL) の設定を実施した WOLの設定 Dell公式のリンクから設定を進める BIOSの設定、ログイン後のデバイスマネージャーの設定の両方を実施すると設定が完了する クライアントは、iOSで適当なアプリをDLした 自宅固有の課題 ルーターとPCの物理的距離の都合、PCはWifiアダプター経由でネットに接続している WifiアダプターとEthernetアダプターの両方で、WoLの設定を実施したが、Wifiアダプター経由だとどうしてもWoLできなかった 自宅で余っているルーターのWDSブリッジング機能を用いることにした 接続関係はこんな感じ： flowchart LR A[WAN]-->|Wired|B[Router1] B-->|Wireless|C[Router2] C-->|Wired|D[desktop] B-->|Wireless|E[mobile,laptop] WDSの設定はここを参考にした WDSの都合なのか、設定後、PCのIP addressがコロコロ変わるようになったため、IPを固定する必要があった さらに更新 WDSを有効にすると、ネットの接続が不安定になった そこで、Router2とRouter1を接続するのは諦め、Router2はネットに繋がないWOL専用のWifiとして運用することにした flowchart LR A[WAN]-->|Wired|B[Router1] B-->|Wireless|C[desktop] B-->|Wireless|D[mobile,laptop] E[Router2]-->|Wired|C WOLしたいときはRouter2のSSIDに繋いでからコマンドを送ればよい Mermaid on Hugo この記事を書くために、hugoにmermaidレンダリングさせる設定が必要だった ここを参考にした