京大生協の食堂の最適解 - Qiita
はじめに 京都大学の生協食堂には「ミール」というシステムがあります。 このシステムは、簡単に言うと学食版の定期のようなものです。 年度初めに1年間の食堂代としてお金を払っておくことで、1食550円分はお金を払わずに利用できるシステムです。4月から一人暮らしをする大学生を持つ親からすれば、万が一お金がなくても食堂にいけば、栄養のある料理を食べることができるので、親にお金を払ってもらって利用している人も多いです。 しかし、授業がない平日や土曜日、夏休みなどの大学に来る必要がない日でも食堂を利用し続けないと、ほぼ元が取れないという落とし穴もあります。(余った分は年度末に繰り越ししたり手数料数百円を差し引いて返金してもらうこともできます。) 反対に、毎日食堂を利用し続けると、最初に払った分より多くの利用することができるので、ミールで得をするために休みの日も食堂を利用する人のことを京大では「ミール奴
IBMの量子プログラミングの資格を取った話
こんにちは、毛利です。みなさんは変わった計算機を見かけたら何を思いますか？ 僕は「たくさん計算させたいなぁ」とか「コンパイラを書きたいなぁ」みたいな気持ちになります。この記事では先日試験に合格して取得した量子プログラミングの資格について書きます。 ゲート型量子コンピューターの話 先に量子コンピューターの話をざっとしたいと思います。量子コンピューターには大雑把にはゲート型とアニーリング型の2種類があります。この記事では（取った資格と同じ）ゲート型の話をします。アニーリング型のほうは組合せ最適化などに使われているようです。 ゲート型の量子コンピューターは計算量が減る話が多いです。身近?なのだと素因数分解が理論上とてもはやいです（ショアのアルゴリズム）。他には、N通りの中から正解を探しだすのに、√Nに比例する回数の判定で正解を探しだせるグローバーのアルゴリズムというのもあります。例えるなら100
業務の最適化とマラソンマッチの違い - gasin’s blog
最近マラソンマッチが流行ってるみたいなので流行に乗って書いてみます 新卒のペーペーですが複数社でヒューリスティックな最適化系のタスクしてきたので参考程度にはなるかも？ そもそも最適化とは ja.wikipedia.org まぁこれなんですが、簡単に言うと、パソコンとか数学使って賢いことをすることでリソース（お金）を得る（節約する）ことです。 巡回セールスマン問題（TSP）は有名な例で、複数の荷物を届けるときにどの順番で家を訪れれば最も移動距離が短くできるかみたいな問題は、パソコンを使うと人間よりもかなり賢く解けます。 マラソンマッチとは （組合せ）最適化問題が与えられるので、最もいいスコアが出せた人が優勝！っていう競技です。 昔は海外サイトばかりでしたが、最近はAtCoderというサイトでマラソンマッチが割と頻繁に開かれるようになりました。 競技なので勿論問題設定や各種制約が厳密で、終盤に
Snowflakeがもたらした noteのデータ分析の進化
DATA CLOUD WORLD TOUR JAPAN Day 2 15:05-15:35 の発表のスライドです。
森羅万象に「いいね」するためのデータ構造
Kaigi on Rails 2022 にて『森羅万象に「いいね」するためのデータ構造』の発表をしました。 https://kaigionrails.org/2022/talks/pndcat/ ===概要=== サービス開発をしていると「いいね」の実装に対面することは多いでしょう。例えば EC サービスの場合、商品へのいいね、クチコミへのいいね、ブランドへのいいねなど、いろいろな対象に「いいね」をするケースが考えられます。さらには、ログインユーザーの「いいね」と、非ログインユーザーの「いいね」を作ることもあるかもしれません。 しかし、あらゆるものに「いいね」できるシステムを作るのは容易ならざることです。普通に実装するだけでは関連するコードは肥大化し、データベースのテーブルもどんどん増えていくばかりです。 似ているけど少し違う「いいね」を実装するにあたって、失敗してしまったデータ設計、そこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
