JIJ Base

JIJ Inc.

JIJ Inc.の公式Podcastチャンネルです。 JIJのエンジニアのお仕事や、JIJの日常、採用情報などJIJのあらゆる情報をお届けします。 株式会社JIJ（ジェイアイジェイ）について 株式会社JIJは、数理最適化を中核に、AIや量子技術も活用しながら、企業や社会に存在する複雑な計画・最適化課題の解決を支援するテクノロジー企業です。 製造、交通・物流、通信、エネルギー、材料開発などの産業領域において、顧客の課題を計算可能なモデルへ変換し、計画、配分、スケジューリング、探索などの計画業務を支援しています。 JIJ Inc.：https://www.j-ij.com/

  1. 3日前

    【JIJ BASE Season3 Vol.2】JijModelingの内部で利用されているe-Graph / egglogの話

    シーズン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

    【JIJ BASE Season3 Vol.2】JijModelingの内部で利用されているe-Graph / egglogの話

  2. 8月7日

    【JIJ BASE Season3 Vol.1】祝・リリース半年！JijModeling 2 のこれまでとこれから

    シーズン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⁠

    【JIJ BASE Season3 Vol.1】祝・リリース半年！JijModeling 2 のこれまでとこれから

  3. 2024/06/12

    【Jij Base Vol.26】Jijの営業職の役割とやりがいとは？

    今回第26回は「Jijの営業職の役割とやりがい」をテーマにトークしました！ このエピソードで知れること Jijの営業職の業務内容 Jijの営業で活躍する醍醐味ややりがい 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

    【Jij Base Vol.26】Jijの営業職の役割とやりがいとは？

  4. 2024/03/07

    【Jij Base Vol.25】JijのPMOの役割とやりがいとは？

    今回第25回は「JijでPMOに挑戦する」というテーマで展開していきます。 JijのPMOってどういう役割? Jijのプロジェクトにそった実務の話 どういうところが面白い？ 技術はどれぐらいわかっていないとだめなの？ 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

    【Jij Base Vol.25】JijのPMOの役割とやりがいとは？

  5. 2023/12/28

    【Jij Base 】Vol.24 Jijで活躍するRustエンジニアたち。Jijって面白いことができる会社ですか？

    今回第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

    【Jij Base 】Vol.24 Jijで活躍するRustエンジニアたち。Jijって面白いことができる会社ですか？

  6. 2023/12/13

    【Jij Base】第23回 Jijのビジネスや今後の展望を語ります

    今回第23回では「Jijのビジネス職」に迫っていきたいと思います。 Jijの最初のビジネスサイドとして入社後、2023年11月にJijのCOOに就任した中田さんをゲストに、MCは代表の山城とトークします！ 今回のJijBaseではJijでの現在の事業開発の内容や、ビジネス職での業務、やりがいなどについて展開していきます。 Jij Baseでは、株式会社Jijの最新情報をお届けしますので、XのフォローとSpotifyのフォローをぜひよろしくお願いします！ X：https://twitter.com/Jij_Inc_JP

    【Jij Base】第23回 Jijのビジネスや今後の展望を語ります

  7. 2023/12/11

    【Jij Base】第22回 Jijの最適化エンジニアってどういう仕事をしているのですか？

    今回第22回は、「Jijの最適化エンジニアってどういう仕事をしているのですか？」をテーマに、最適化プロジェクト支援チームがトークします。 まだまだ認知度の低い、最適化エンジニアの仕事内容、この仕事の面白さ、どういう人が最適化エンジニアあっているの？などに触れながら、Jijのカルチャーやチームに迫っていきます。 Jij BaseやXでは株式会社Jijの最新情報をお届けしますので、XのフォローとSpotifyのフォローをよろしくお願いします！ X:https://twitter.com/Jij_Inc_JP

    【Jij Base】第22回 Jijの最適化エンジニアってどういう仕事をしているのですか？

  8. 2023/10/19

    【Jij Base】第21回 IEEE QCE23 出張レポート！

    今回第21回のテーマは、2023年9月17日～22日 ワシントン州ベルビュー、シアトル・イーストサイドのハイアット・リージェンシー・ベルビューで開催されたIEEE Quantum Week 2023にJijの研究チームがポスター発表で参加し、その出張レポートとなっています！ 今回のMCはCEOの山城です。 ゲストは、Jijの研究チームから松山さん、ファンさんの２名となっています。 トークの中で紹介があったAQCの出張レポートは下記のリンクからブログを読んでいただけます。 https://tech.j-ij.com/f2cb1043e69e441b856c6dc12be3df1c 今回のテーマ ・Jijのポスター発表・研究内容について ・現地で見た興味深い研究 ・シアトルの有名な観光地にいった話 ・やっぱりロストバゲージ・・・・ のような内容になっています！

    【Jij Base】第21回 IEEE QCE23 出張レポート！
すべて見る（24）

番組について

JIJ Inc.の公式Podcastチャンネルです。 JIJのエンジニアのお仕事や、JIJの日常、採用情報などJIJのあらゆる情報をお届けします。 株式会社JIJ（ジェイアイジェイ）について 株式会社JIJは、数理最適化を中核に、AIや量子技術も活用しながら、企業や社会に存在する複雑な計画・最適化課題の解決を支援するテクノロジー企業です。 製造、交通・物流、通信、エネルギー、材料開発などの産業領域において、顧客の課題を計算可能なモデルへ変換し、計画、配分、スケジューリング、探索などの計画業務を支援しています。 JIJ Inc.：https://www.j-ij.com/

情報

  • クリエイター
    JIJ Inc.
  • 配信期間
    21年 - 26年
  • エピソード
    24
  • 制限指定
    不適切な内容を含まない
  • Copyright
    © JIJ Inc.
  • 番組のWebサイト
    JIJ Base