2022年まとめ
この記事では2022年にやった事を振り返り、2023年にやりたいことを雑にまとめていきます。
Overview
- 1-6月お仕事@RICOS
- 7-12月無職
2022/6末で2019/7から勤めていた科学計算総合研究所(RICOS)を退職して自由を求めて無職をしています。無職の間は主にOSS活動と新しいことの勉強をしていました。
OSS活動
ruststep
STEP(Standard for the Exchange of Product model data)というのはISO 10303で規定されるCAD(computer-aided design)やCAE(computer-aided engineering)の為の互換データ形式で、今で言うProcol Buffersに相当するものです。
STEPはどのようなデータを扱うのかを定めるスキーマ言語(EXPRESS言語)と共通スキーマ(例えば3D CADの為のデータの定義)からなり、ruststepプロジェクトはespr
というEXPRESS言語のスキーマからRustの構造体を生成するコンパイラと、ruststep
というランタイムからなります。
これはRICOSにおいて主にCADライブラリであるtruckでSTEPをサポートするために始まったプロジェクトが独立したものです。個人的なモチベーションとしては、流体や構造のような現実的なシミュレーションを行うためには実際の形状を計算機から簡単に扱える必要があり、そのためには軽量なCADシステムが必要という気持ちが大きいです。
ocipkg
無職になってまずやり始めたのがocipkgです。これはコンテナのエコシステムをパッケージ配布に使おうという企てを実現する為のものです。とはいえ現状ではORAS(OCI Registry as storage)としてGo実装が存在しているものをRustのcrateとして使えるようにした程度の進捗です。
OCI(Open Container Initiative)によるコンテナAPIの標準化というのは非常によくできていて、メタデータ付きのアーカイブとしてのOCI image spec、HTTPS上に構築された単純なPush/PullのAPIとしてのOCI distribution spec、そして様々なレベルでの仮想化をサポートできるOCI runtime specからなります。このうちimage/distribution specだけを使って様々なものを公開・配布できるようにしたものがORASです。
ocipkgは現在intel-mkl-src 0.8.0以降でIntel MKLのバイナリを再配布するために使用されています。これは今までAWS S3から配布されていましたが、現在はGitHub Container registry (ghcr.io)から配布されています。
einsum-derive
NumPy等でよく知られたeinsum
の機能をrust-ndarray
で使えるようにしたものです。特にopt-einsumとして知られる計算量を自動的に減らす機能を試しに実装する事を目的としていました。つまり行列-行列-ベクトル積ij,jk,k->i
が入力された時、
これは将来的に数値計算の(手続きでなく)アルゴリズム自体を記述するような処理系、例えばformuraはステンシル計算を抽象的に記述すると京向けのMPIのコードを生成して実行するような処理系ですが、このような処理系に延長していければいいなと思っています。
Rustで数値計算
この本は元々Zennが本をサポートしたときに、過去のQiitaに散らばっていた記事を順番に並べたて本という体にしただけのものです。今年中に全体として整合性のある形に更新していきたいと思っていましたが、実際には1つ記事を追加できただけでした。
私がRustで数値計算を始めたときはLAPACKやFFTWのラッパーすら存在せず、これらを自分で作って公開してきました。この本ではこれらの経験を元に自分で必要なライブラリをRustで作成し公開しメンテナンスしていくための技術をまとめたいと思っています。Rustの入門書にも数値計算の入門書でもなく、(Rustに限らない)数値計算ライブラリを開発していく人向けの本になる予定です。
Rustオンラインもくもく会
#1が行われ今年で3年目です。2022年初回が#125で本日が#176です。
これは毎週土曜日の午後3時からオンラインで集まって作業をする為の会です。特に音声通話などは行わず、最初に今日やることを宣言して最後に今日やったことを報告します。この記事もこの会中に書いています。これは元々2019/7に初回今年はrust-jpのコミュニティがslackからZulipに移行した事を受けて、報告はZulipで行うようになりました。rust-jpのZulipは基本公開になっているので、もくもく会の報告も公開されています。
新分野開拓
今年新たに勉強した内容をまとめます
圏論
学生の頃から積んであった圏論の基礎を真面目に読み始めました。この記事を書いている段階では第V章極限のあたりです。演習問題をやりながらなのであまり進みません。主なモチベーションとしてはeinsum-derive
のときに説明したndarray
の性質をもう少し理論的に扱いたいという事があります。ごく最初だけ議論したものがこちらです:
特に流体や構造のような偏微分方程式を解く数値計算では本来連続体で議論すべき内容を有限個の浮動小数点数で扱うことになりますが、この時に元の構造の情報が落ちてしまったりします。この点を上手くモデル化するときに圏論の知識が役に立つといいなという期待もあります。
型システム
einsum-derive
のところでも少し触れましたが、formuraを参考に数値計算を記述する言語を作りたいので型システムを少しずつ勉強しています。主に型システム入門 プログラミング言語と型の理論(TaPL和訳)を読んでいますが、来年はサンプルコードをRustで実装とかしたいですね。
最後に
それでは良いお年を(´・ω・`)!
過去のまとめ
Discussion