メタヒューリスティクスで広がる「解けた！」の世界
JOI夏季セミナー2023 全体講演会1の講演資料です。 【講義題目】 メタヒューリスティクスで広がる「解けた！」の世界 【講義概要】 世の中には，まだ効率的に解く方法が見つかっていない難しい問題がたくさんあります．こうした問題に立ち向かうときに頼りになるのが，メタヒューリスティクスと呼…
JOI夏季セミナー2023 全体講演会1の講演資料です。 【講義題目】 メタヒューリスティクスで広がる「解けた！」の世界 【講義概要】 世の中には，まだ効率的に解く方法が見つかっていない難しい問題がたくさんあります．こうした問題に立ち向かうときに頼りになるのが，メタヒューリスティクスと呼…
Pointers Are Complicated II, or: We need better language specs
Pointers Are Complicated II, or: We need better language specs Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address, does not mean they are equal in the sense that they can be used interchangeably. This “extra information” that distinguishes different pointers to the
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C
An exciting feature just landed in the main branch of the Clang compiler. Using the [[clang::musttail]] or __attribute__((musttail)) statement attributes, you can now get guaranteed tail calls in C, C++, and Objective-C. While tail calls are usually associated with a functional programming style, I am interested in them purely for performance reasons. It turns out that in some cases we can use tai
Don't want to miss any updates? You can follow this RSS feed or sign up for my newsletter: Compilers have always been surrounded by an air of mystery and magic. This has led many of us to believe that they do things (well) that they don't, or that they don't do things (well) that they do.1 In this article is one some way a follow-up of a previous one on compiler optimization. Here, I've collected
はじめに 凸最適化問題に使われている主双対内点法の解説を目標に、凸最適化の概要を説明します。二次計画がメインターゲットです。 この記事は ソルバーは使ったことあるけど、もう少しアルゴリズムの中身が知りたい 凸最適を学びたいけど、最適化の章までの道のりが長すぎてつらい な方が対象です。いまどき1から凸最適アルゴリズム実装しようなんて物好きは稀だと思いますが、この記事の目的は主双対内点法を実装するための知識を全体的にふわっと理解することです。 二次計画でよく使われる 主双対内点法 と 有効制約法 を以下に可視化しました。解の求め方が全く異なることが分かります。コードはpythonです。 主双対内点法（primal dual interpoint） 内点法の系譜（有効領域の内部を進む） 徐々に相補性残差を減少させて最適解を得る 線形計画、二次計画、非線形計画まで幅広く対応可能 高次元の問題が得意
GitHub - Zxilly/go-size-analyzer: A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
数理最適化による問題解決の実践的なアプローチ
本稿はRAMP数理最適化シンポジウム(2020/10/26)の講演の一部をまとめたものです．研究者に向けた講演内容ですが，数理最適化を活用したいエンジニアやコンサルタントの皆様の参考になれば幸いです．また，数理最適化に関わらず，研究者との共同研究を検討している方も一読いただけると役に立つかも知れません． はじめに 数理最適化は現実社会における意思決定や問題解決を実現するための有用な手段です．数理最適化は，下図に示すように，(1)最適化問題のモデリング，(2)アルゴリズムによる求解，(3)結果の分析・検証，(4)最適化問題とアルゴリズムの再検討という一連の手続きからなります． 数理最適化を用いて現実問題を解決するためには，まず，代表的な最適化問題とそれらに対する効率的なアルゴリズムを良く知ることが必要です．しかし，数理最適化の理論やアルゴリズムの専門的な知識があれば，それだけで現実問題を上手
記事一覧 はじめに（この記事） マルチパスコンパイラ 定数に関する最適化 プログラムの構造 ..... 対象読者 コンパイラの内部構造について興味がある方 コンパイラに関して精通している方（批評お待ちしております） はじめに ある程度コンパイラについての学習が進み，小さな自作言語などを作れるようになると，こんな疑問が浮かぶのではないでしょうか． 「世の中のコンパイラって，こんなのだったっけ？」 コンパイラの作り方が解説されている日本語の記事は，最近なら簡単に見つかります．ですが，それらの大半は所謂ワンパスコンパイラの作り方について解説しており，より高度な，具体的には gcc や clang 等の実用的コンパイラが行っている最適化というものについての記述が乏しいです． （もちろん，ドラゴンブックや虎本を読めば最適化について書いてありますが，初心者が簡単に手を出せるものではないように思えます．
Safari Technology Preview Release 135 is now available for download for macOS Big Sur and macOS Monterey. If you already have Safari Technology Preview installed, you can update in the Software Update pane of System Preferences on macOS. This release covers WebKit revisions 284370-285101. Note: Tab Groups do not sync in this release. Web Inspector and Web Driver Fixed “testForLinkLabels” Accessibi
2021年度リクルート エンジニアコース新人研修の講義資料です
Manifold Optimization
Manifold OptimizationComputer Vision、ロボットの制御、機械学習モデルのパラメータ推定など様々な場面で登場する多様体上での最適化の理論とアルゴリズムについて勉強した際のノートです。 日本語文献が少ないように思ったので、他の人の役に立てばと思い公開して書きます。 このノートでは、基本的には Optimization Algorithms on Matrix Manifoldsを読み進めながら、分からなかったところを補いながら書いています。 もし内容に誤りがありましたら、 IssueやPull Requestを頂けますとありがたいです。 モチベーション多様体の定義多様体の位相構造可微分写像、部分多様体多様体の構成方法接ベクトル空間、接バンドル、ベクトル場微分リーマン多様体、勾配レトラクション直線探索索引参考にした文献 Optimization Algorith
はじめに 年末年始の休みに入ってすでに4日目。休みでやろうと思ったことが一通り終わってしまいました。今日からいつも行っているカフェが休みだし、暇すぎ・・・ということで、勢いに任せてOptunaでコーヒーの淹れ方の最適化始めました。 はじめようと思い立ったのが今日なので、全然データがないですが、Google Colabで作ったサンプルコードもあげておきます。 https://github.com/shu65/coffee-tuning/blob/main/coffee_tuning_blog%E7%94%A8.ipynb Optunaとは？ Optunaは機械学習などで必要になるハイパーパラメータの最適化を自動で行ってくれるオープンソースのフレームワークです。個人的に気に入っている特徴としては、従来からハイパーパラメータ最適化を自動でやってくれるものはいくつかありますが、OptunaはDef
See also my blog Contents Optimization manuals Vector class library Object file converter and disassembler Subroutine library ForwardCom: An open standard instruction set for high performance microprocessors Test programs for measuring clock cycles in C++ and assembly code Floating point exception tracking and NaN propagation CPUID manipulation program Links Optimization manuals This series of fiv
OtterTune R.I.P.
OtterTune was a database tuning service start-up out of Carnegie Mellon University. The company is dead. DJ OT is in prison for a parole violation. Props to our team and investors for believing in us. Word is bond. RESEARCH ARCHIVE GITHUB
数理最適化のことなら何でも OK です。 何か実装してみた 論文や本で学んだこと 何かに応用してみた話 などなど。 ついでに数理最適化の話をできる場所を探している方は、Casual Optimization というコミュニティがあるのでぜひこちらから Slack にも参加してください！ https://optimization.connpass.com/ https://casual-opt.github.io/ edit_calendarHow to join the calendarYou can join the calendar by selecting an available date and registering the URL of the article you wish to link to. If a slot is available, you can go ba
Optuna™は、オープンソースのハイパーパラメーター自動最適化フレームワークです。「Optuna Meetup #1」では、Optunaのユーザー、導入を検討している方、また開発者を中心に、Optunaの様々な活用方法が共有されました。鈴木氏は、物質の結晶構造の解析におけるOptunaの活用について発表しました。全2回。後半は、Optunaを採用した理由と検証の結果について。前回はこちら 鈴木雄太氏（以下、鈴木）：具体的なコードの一例を示したいと思います。ちなみにこのコードは公開しているので、もしよかったら見てみてください。Optuna Examplesからもリンクを貼ってもらっています。 このObjectiveの中ですが、マシンラーニングを見慣れない方は、マシンラーニングのハイパーパラメーターも見慣れない感じかと思います。 例えば、シグナルのバックグラウンドの下に、シグナルとは別に信号
Show navigation It is absolutely idiotic to have 64-bit pointers when I compile a program that uses less than 4 gigabytes of RAM. When such pointer values appear inside a struct, they not only waste half the memory, they effectively throw away half of the cache. – Donald Knuth (2008) Truer words have (almost) never been spoken. We also see CPU vendors not actually shipping 64-bit CPUs and Android
ごきげんよう！ TRILL開発部のWebを担当しています、maseoです。 この記事は「dely #2 Advent Calendar 2020」19日目の記事です。 dely #1 Advent Calendar 2020 - Adventar adventar.org dely #2 Advent Calendar 2020 - Adventar adventar.org 昨日は HPdM（ハイパー プロダクト マネージャー）のRiceさんの記事「初心者PdMに贈る「"伝書鳩"が意思を持つために意識すべきこと」でした。 エンジニアはHPdMさんに本当に助けてもらってます。 こんなに色々考えてくださっているのは本当にありがたいです。いつもありがとうHPdMさん達！ さて 今回はTRILLのWebで行っているGoogle Optimize*1を使ったA/Bテストはこんな感じ！というお話を書
How Airbnb migrated from Webpack to Metro and made the development feedback loop nearly instantaneous, the largest production build 50% faster, with marginal end-user runtime improvements. By: Rae Liu IntroductionIn 2018, the frontend Airbnb infrastructure relied on Webpack for JavaScript bundling which had served us well up until then; however, with our codebase almost having quadrupled in the pr
北海道大学(北大)とAmoeba Energyは12月2日、アメーバ生物である真性粘菌の探索行動から着想を得た新型アナログコンピュータを開発し、代表的な組み合わせ最適化問題「巡回セールスマン問題」を解くことに成功したと共同で発表した。 同成果は、北大 量子集積エレクトロニクス研究センターの葛西誠也教授と、Amoeba Energyとの共同研究チームによるもの。詳細は、英オンライン総合学術誌「Scientific Reports」に掲載された。 巡回セールスマン問題とは、セールスマンが決められた数の都市をそれぞれ一度だけ訪問して出発都市に戻るという巡回経路のうち、移動距離が最短となる(もっとも効率のいい)ルートを導くという問題だ。計算複雑性理論において「NP困難問題」に分類され、多項式時間(実用的時間)内で最適解を導く手法が知られていない複雑な組み合わせ最適化問題として有名である。 なお組み
Building an effective Image Component | Aurora | Chrome for Developers
Images are a common source of performance bottlenecks for web applications and a key focus area for optimization. Unoptimized images contribute to page bloat and accounts for over 70% of the total page weight in bytes at the 90th percentile. Multiple ways to optimize images call for an intelligent "image component" with performance solutions baked in as a default. The Aurora team worked with Next.
babel 環境における Polyfill のビルド最適化と async-await の扱い - blog.euxn.me
リポジトリ euxn23/babel-and-polyfill-sample 想定読者 Babel を使っているが、 Polyfill がいまいちわからない方 Polyfill は使えるが、より最適なビルドを生成したい方 @babel/polyfill が非推奨になったことを受け現在の推奨実装を知りたい方 Polyfill とは 例として、以下の Promise を使ったコードを、 @babel/preset-env を使用して IE11 向けにビルドします。 input const main = () => { Promise.resolve().then(() => console.log('then')); } main(); output "use strict"; var main = function main() { Promise.resolve().then(functi
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 発電所はオペレーションズ・リサーチで支えられている 昨今、温暖化問題やロシアによるウクライナ侵攻に端を発するエネルギー情勢の変動により、国内外の電力供給に不安が生じています。 かねてから電力会社は、発電から送電に関わる運営に対する一括した責任によって、電源開発や系統設備の導入を継続的に行って、安定的な電力の供給を担ってました。 しかし、3.11の震災を機に、それ以前から議論のあった電力自由化や総括原価方式の見直しが急速に進み、2016年からオープンな電力市場が形成されました。 さらに一部の電力会社は、発送電分離化され、発電、送電の会社へ
こんにちは。ZOZO研究所の平川とML・データ部のデータサイエンスブロック2の荒木です。私たち2022年度の新卒入社メンバーは有志で社内マッチングアプリ「CLUB ZOZO」を運営しています。この記事では、興味関心が近い社員同士を自動でマッチングするアルゴリズムについてご紹介します。マッチング時のバッチ処理については推薦基盤ブロックの関口が解説していますので、興味のある方は併せてご覧ください。 qiita.com 目次 目次 CLUB ZOZOとは CLUB ZOZOを運営するにあたり解決すべき課題 ユーザ間の類似度を計るアプローチ 数理最適化を用いた偏りのないマッチング生成 ダミーデータでの推論結果 まとめ 最後に CLUB ZOZOとは CLUB ZOZOは、興味関心が近い社員同士をマッチングし、週に1回15分間のChat Timeをセッティングするサービスです。Chat Timeとは
【連載】ブレインパッドの数理最適化ブログ（目次） - Platinum Data Blog by BrainPad ブレインパッド
本記事は、当社オウンドメディア「Doors」に移転しました。 約5秒後に自動的にリダイレクトします。 数理最適化技術は、「データ活用の促進を通じて持続可能な未来をつくる」を企業ミッションとするブレインパッドにとって、必須の注力技術の1つです。 2020年10月1日、大阪大学に、ブレインパッドほかから寄付を受けた「大阪大学数理最適化寄附講座」が開設されました。同講座の教授を務められるのは、数理最適化技術の研究で大変著名な梅谷 俊治先生です。 これを機に、ブレインパッドも数理最適化技術に関するナレッジをさらに＆どんどん高めていこうということで、この公式ブログでも数理最適化に関する連載をスタートします！ こんにちは。CDTO（Chief Data Technology Officer） の太田です。 大阪大学にブレインパッドが寄付を実施し、「大阪大学数理最適化寄附講座」が開設されました。 それを
Using Modern Image Formats: AVIF And WebP — Smashing Magazine
In this article, we’ll highlight how modern image formats (AVIF or WebP) can improve compression by up to 50% and deliver better quality per-byte while still looking visually appealing. We’ll compare what’s possible at high-quality, low-quality and file-size targets. We’ve recently published Addy’s Image Optimization book with everything you need to know about images, how to compress, serve and ma
AI Labの芝田です (GitHub: @c-bata)。 以前、Optunaによる最適化結果を手軽に確認できるWebダッシュボードを開発・公開しました。公開からすでに半年以上が経過し、現在は公式に利用を推奨されるようになりました。Google Summer of Codeなどを通してcontributorやcommitterも増えつつある一方で、設計や実装に関しては資料を残してきませんでした（※1）。本記事ではダッシュボードの紹介をするとともに、開発に興味がある方向けに開発に役立つ情報をまとめておきます。 GitHub: https://github.com/optuna/optuna-dashboard optuna-dashboardとは？ optuna-dashboardはOptunaによるハイパーパラメータの最適化結果をWebブラウザ上で簡単に確認できるツールです（※2）。
近接勾配法概説 - 冷めたコーヒー
はじめに 問題設定 勾配降下法 近接勾配法 近接作用素 おわりに Refference 更新ログ この記事は「数理最適化 Advent Calendar 2020」の24日目の記事です． 23 日目は @Atsushi_twi さんによる 数理最適化初心者のための(線形)割当問題の概要とscipy.optimize.linear_sum_assignmentによる解法 です． 25 日目は...空いております！余力のある方は是非に！ Advent Calendar 初参戦です．今回は「数理最適化」がテーマということで，凸計画問題に対する近接勾配法について書こうと思います*1．連続最適化や機械学習に馴染みのある方にとっては新鮮味のない話題かもしれませんが，どうぞよろしくお願いします． はじめに 数理最適化において，凸集合*2上で凸関数*3を最小化する*4問題は「凸計画問題」 あるいは「凸最適
GitHub - divriots/jampack: Optimizes static websites for best user experience and best Core Web Vitals scores.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
「しっかり学ぶ数理最適化」買った人も、買ってない人も。 数理最適化に関することならなんでも。 連続最適化も、離散最適化も。 基本も、応用も。 教えて。
2023/09/12実施の、大阪大学 大学院情報科学研究科 数理最適化寄附講座 最終報告シンポジウムにおける、西村の資料です。
AtCoder Heuristic Contest 001 (AHC001) 初心者向け解説 - TERRYのブログ
AtCoder Heuristic Contest 001 (AHC001) の参加記を書くはずだったのですが、記念すべき第1回ということで「マラソンに初めて参加したけど、感想戦TLで周りが何を言っているか分からない……。」という方が多そうな気がして、気付いたら初心者向け解説記事*1を書き始めてしまっていました。 ふぁぼ圧、強すぎませんか https://t.co/DuGViXzI80— TERRY (@terry_u16) 2021年3月15日 参加記はまた後日書きます。→書きました。 www.terry-u16.net 問題概要 はじめに 正の得点を得る（823,090点） 山登り法を導入してみる（452億点） ちょっと改善してみる（469億点） 焼きなまし法を導入してみる（477億点） さらなる改善 Tips 手元でテストケースを回す コンテスト序盤は特に丁寧にコードを書く 愚直判定
2024/05/29実施の、人工知能学会全国大会オーガナイズドセッションで発表した、梅谷の資料です。
HOME MSIISMについてABOUT US MSIISM とは NTTデータ数理システムとは 技術TECHNOLOGY ベイジアンネットワーク 機械学習・統計解析 数理計画・最適化 ディープラーニング シミュレーション 自然言語処理 画像認識 EDA（半導体） 量子計算 分野・業界FIELD 流通・マーケティング 運輸・物流 製造 研究開発 医療・医薬・ヘルスケア 金融 教育・アカデミック 公共・インフラ 経営・人事・労務 製品活用事例CASE S4 Simulation System Nuorium Optimizer BayoLinkS Text Mining Studio Alkano セミナー&イベントSEMINAR&EVENT お役立ち情報USEFUL 無料E-Book セミナー動画視聴 1から学ぶ基礎知識 お問い合わせ このコラムは「組合せ最適化問題」という難問、しかし、ビ
続Laravelにおけるパフォーマンス最適化のための18つのヒント 12 Tips for Laravel Performance Optimization in 2020を大いに参照した、上記のQiita記事を少し更新、改訂しました。 可能な限りLaravelの公式ドキュメントから抽出しています。 Laravelに関係ない一般的な項目も含まれます（無理やり18ヒントを捻り出している）。 対象となるLaravelのVersionは9.xです。 Laravel Mixに対する記述ありますが、最新はLaravel Viteです(Laravel Viteわからないですごめんなさい)。 間違い・勘違いなどがある場合は、コメントもしくは編集リクエストをいただけると助かります。 目次 構成キャッシング ルートキャッシング 未使用のサービスを削除 Composer最適化オートロード クエリ結果のキャッシ
If you have ever written in Go, then the size of the resulting binaries could not escape your attention. Of course, in the age of gigabit links and terabyte drives, this shouldn’t be a big problem. Still, there are situations when you want the size of the binary to be as small as possible, and at the same time you do not want to part with Go. The options for how to make the Go binary “lose weight”
Optunaによる多目的最適化
Optuna Meetup #1 での発表資料です。
Googleオプティマイズは2023年9月30日でサービスが終了すると発表になりました。 現時点でオプティマイズ以外のABテストツールや機能はなく、公開や開発の予定もないとのことですが、続報があれば掲載します。 Google オプティマイズのサポート終了 ウェブサイトではサイトやページ内容を複数パターン用意して比較するA/Bテストを行うことで、コンバージョン率やユーザーの回遊率の最適化をデータを用いて行うことができます。 Googleオプティマイズはテストの作成からデータの集計、そしてテスト結果の反映までシンプルに無料で利用できるツールです。 従来のアナリティクスであるユニバーサルアナリティクス（以下、UA）ですでに利用されている方もいるのではないでしょうか。 今後UAは2023年7月1日までで計測が停止され、新しいGAであるGA4での計測に切り替わります。 GA4ではどのように設定すれば
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Depot
Common Misconceptions about Compilers
凸最適化の概要と主双対内点法のアルゴリズムの解説 - Qiita
最適化コンパイラへのいざない (1) - Qiita
Release Notes for Safari Technology Preview 135
ToC（制約理論）入門 / ToC Introduction
Optunaでおいしいコーヒーの淹れ方を探索する - Qiita
Software optimization resources. C++ and assembly. Windows, Linux, BSD, Mac OS X
数理最適化のカレンダー | Advent Calendar 2022 - Qiita
人間が見つけられなかった新しい結晶構造も発見 Optunaによるリートベルト解析自動化で得られたもの
Pointer compression in Oilpan · V8
Google Optimizeでテストをしてる話 - TRILL Tech Blog
Faster JavaScript Builds with Metro
巡回セールスマン問題を粘菌の力で解決する新型コンピュータを北大が開発
数理最適化 - Qiita Advent Calendar 2023 - Qiita
発電所の運営は最適化問題である! - Qiita
社内マッチングアプリ「CLUB ZOZO」のマッチングアルゴリズム - ZOZO TECH BLOG
Optunaによる最適化結果を手軽に確認できるWebダッシュボードの開発 | | AI tech studio
数理最適化 - Qiita Advent Calendar 2020 - Qiita
リクルートにおける数理最適化の 活用事例と産学連携の取り組み
組合せ最適化による問題解決の実践的アプローチ
難しくても使いこなす組合せ最適化(1) ー問題例と解き方ー｜NTTデータ数理システム
続Laravelにおけるパフォーマンス最適化のための18つのヒント - Qiita
Optimizing the size of the Go binary - Prog.World
GA4でオプティマイズを設定する方法（タグ導入編） | アユダンテ株式会社
excelressha.com
anond.hatelabo.jp
www.yamatomichi.com
www.youtube.com
nazology.kusuguru.co.jp
news.yahoo.co.jp