シーズン3第2回は、「JijModelingの内部で動く E-Graph / egglog の話」をテーマにトークしました！

数理最適化モデラー「JijModeling」には、人間が書いたモデルから特別な構造を持つ制約を自動で見つけ出し、ソルバーの専用APIを呼んで高速に解く「制約検出」という機能があります。その裏側で動いているのが E-Graph（Equality Graph）と egglog という技術です。今回は、JijModelingの開発をリードする石井さんと、今年4月に入社しこの領域の理論整備を進めるKoryさんを迎え、かなり踏み込んだ技術トークをお届けします。

◆このエピソードでわかること

・JijModelingにおける E-Graph の使いどころ（制約検出と数式出力）

・SOS1制約を自動検出できるようにしたことで得られた、劇的な速度向上

・E-Graph とは何か — Union Find を一般化した「等しさ」を扱うデータ構造

・定理自動証明の道具が、この10年でプログラム最適化に応用されるようになった流れ

・Rust実装 egg が生んだ「リビルドは最後に一度でいい」という発見

・「標準形」で済ませられない理由と、E-Graph が選ばれた背景

・egglog の下地にあるデータログ — 規則でデータを補完するという考え方

・E-Graph を使って JijModeling をさらに速くしていく、これからの展望

などなど、書き換え規則を順序に依存せず扱えるという E-Graph の嬉しさから、存在量化や関数記号が入ると一瞬で決定不能になるという理論的な難しさまで、開発の現場と研究の両面からトークしました。

◆今回の出演

MC：ソフトウェア開発チーム マネージャー Yuya

ゲスト：ソフトウェア開発チーム 石井（JijModeling開発リードエンジニア）

ゲスト：ソフトウェア開発チーム Kory（シニアソフトウェアエンジニア）

JijModeling：https://pypi.org/project/jijmodeling/

JijModeling 日本語ドキュメント：https://jij-inc-jijmodeling-tutorials-ja.readthedocs-hosted.com/ja/

関連論文：（URL）

- Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog

　- EGRAPHS2026での発表のストリーミングアーカイブは こちら

- Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling

ACM の egg 紹介記事

• Technical Perspectiveegg: ‘Ridiculously’ Fast andExtensible Equality Saturation

番組へのご意見・ご質問は、ハッシュタグ「#JIJBase」をつけてXへお寄せください！

HP：https://www.j-ij.com/ja

X：https://x.com/Jij_Inc_JP

YouTube：https://www.youtube.com/@jijinc.3680

シーズン3第1回は、「正式リリースから半年！JijModeling 2のこれまでとこれから」をテーマにトークしました！

「JijModeling」は、Pythonコードを使用して数式に近い感覚で数理モデルを構築できる数理最適化モデラーです。今回は、JijModelingの開発をリードする石井さんを迎え、JijModeling 2で進化したポイントや開発の舞台裏、これからの展望について伺いました。

◆このエピソードでわかること

・JijModelingの役割と特徴

・JijModeling 1から2へのメジャーアップデートで変わったこと

・約1年にわたる開発と、社内フィードバックを重ねたリリースまでの道のり

・Claude CodeやCodexなど、AIコーディングエージェントを活用した開発の舞台裏

・JijModeling 2の今後の展望

などなど、独自の型システムや、よりPythonらしい記述方法を取り入れ、機能面・性能面ともに大きく進化したJijModeling 2についてトークしました。

◆今回の出演

MC：ソフトウェア開発チーム マネージャー Yuya

ゲスト：ソフトウェア開発チーム 石井（JijModeling開発リードエンジニア）

JijModeling：
⁠https://pypi.org/project/jijmodeling/⁠

JijModeling 日本語ドキュメント：
⁠https://jij-inc-jijmodeling-tutorials-ja.readthedocs-hosted.com/ja/⁠

JijModeling 2 最新リリースのお知らせ：

⁠https://www.j-ij.com/ja/news/20260806⁠

番組へのご意見・ご質問は、ハッシュタグ「#JIJBase」をつけてXへお寄せください！

HP：
⁠https://www.j-ij.com/ja⁠

X：
⁠https://x.com/Jij_Inc_JP⁠

YouTube：
⁠https://www.youtube.com/@jijinc.3680⁠

今回第26回は「Jijの営業職の役割とやりがい」をテーマにトークしました！

このエピソードで知れること

2024年5月に1人目の営業専門職メンバー入社し、Jijのビジネスチームは活動を活発化・拡大させています。そして現在、Jijは2人目の営業職を募集し、さらにビジネスチーム拡大を図ろうとしています。Jijの営業職に興味を持っていただけた方がいましたら、ぜひカジュアル面談からご連絡いただけますと幸いです！

今回の出演

MC: CEO 山城
ゲスト：COO 中田、営業・マーケティング担当渡辺

HP: https://www.j-ij.com/ja

X：https://twitter.com/Jij_Inc_JP

YouTube：https://youtu.be/4mFYs3od-E0?si=E3L88a-ihLPaOtr5

今回第25回は「JijでPMOに挑戦する」というテーマで展開していきます。

MC: 山城
ゲスト：COO 中田、最適化エンジニア後藤

HP: https://www.j-ij.com/ja

YouTube：https://youtu.be/4mFYs3od-E0?si=E3L88a-ihLPaOtr5

X：https://twitter.com/Jij_Inc_JP

今回第24回は、Jijのアルゴリズムエンジニアチームをゲストに「Jijで活躍するRustエンジニアたち。Jijって面白いことができる会社ですか？」というテーマでトークします！

MC: したろう
ゲスト：篠原、イアゴ、てらモス

アルゴリズムエンジニアチームでは、Rustを使った開発をしています。その開発の中で、困難に感じる部分がありながらもやりがいやおもしろさを感じる点など、「Jijだからこそできること」についてお話しします。

Jijの最新情報を発信しているXのフォローをお願いします！
JijのX：https://twitter.com/Jij_Inc_JP

YouTubeではオンラインセミナーのアーカイブも配信中！
https://www.youtube.com/channel/UC5IPC420WH7f5KbF70LJaMQ

Jijの採用に関する情報はこちら
https://www.j-ij.com/ja/careers

今回第23回では「Jijのビジネス職」に迫っていきたいと思います。

Jijの最初のビジネスサイドとして入社後、2023年11月にJijのCOOに就任した中田さんをゲストに、MCは代表の山城とトークします！

今回のJijBaseではJijでの現在の事業開発の内容や、ビジネス職での業務、やりがいなどについて展開していきます。

Jij Baseでは、株式会社Jijの最新情報をお届けしますので、XのフォローとSpotifyのフォローをぜひよろしくお願いします！

X：https://twitter.com/Jij_Inc_JP

今回第22回は、「Jijの最適化エンジニアってどういう仕事をしているのですか？」をテーマに、最適化プロジェクト支援チームがトークします。

まだまだ認知度の低い、最適化エンジニアの仕事内容、この仕事の面白さ、どういう人が最適化エンジニアあっているの？などに触れながら、Jijのカルチャーやチームに迫っていきます。

Jij BaseやXでは株式会社Jijの最新情報をお届けしますので、XのフォローとSpotifyのフォローをよろしくお願いします！

X:https://twitter.com/Jij_Inc_JP

今回第21回のテーマは、2023年9月17日～22日 ワシントン州ベルビュー、シアトル・イーストサイドのハイアット・リージェンシー・ベルビューで開催されたIEEE Quantum Week 2023にJijの研究チームがポスター発表で参加し、その出張レポートとなっています！

今回のMCはCEOの山城です。

ゲストは、Jijの研究チームから松山さん、ファンさんの２名となっています。

トークの中で紹介があったAQCの出張レポートは下記のリンクからブログを読んでいただけます。

https://tech.j-ij.com/f2cb1043e69e441b856c6dc12be3df1c

今回のテーマ

・Jijのポスター発表・研究内容について

・現地で見た興味深い研究

・シアトルの有名な観光地にいった話

・やっぱりロストバゲージ・・・・

のような内容になっています！

今回第20回は、Jijのインターンについての紹介です！

Jijのインターンでどういうことが学べて、どういうスキルになるのか。

Jijのインターンで何が得られるのかを紹介しました。

Jijの社員にはJijのインターンを経験したメンバーが数名いますが、その体験も踏まえてお話しました。

ぜひ参考にしていただけたらと思っています！

Jijのインターンについて興味がある方はこちらのURLをチェック！：

https://open.talentio.com/r/1/c/j-ij.com/pages/68080

今回第19回は、17、18回にAQCの出張レポートPart3です！

AQCの出張レポート:https://tech.j-ij.com/f2cb1043e69e441b856c6dc12be3df1c

今回のテーマは ・コロナ渦での出張中に起きた、大変だったエピソード【後編】 となっています！