Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ちょっとかしこく生きよう
Search
なごみそ
May 23, 2018
Technology
0
600
ちょっとかしこく生きよう
※2018-05-23 23:50 式が間違っていたので修正。
なごみそ
May 23, 2018
Tweet
Share
More Decks by なごみそ
See All by なごみそ
デレマス呼称表から見える アイドルの関係(?)
nagomiso
1
1.2k
ネットワーク分析してみた
nagomiso
2
480
JUMAN++で分かち書きをしたかった...
nagomiso
0
68
さよなら Storm
nagomiso
0
39
ここが変だよ Apache Storm
nagomiso
0
15
Other Decks in Technology
See All in Technology
オフィスビルを監視しよう:フィジカル×デジタルにまたがるSLI/SLO設計と運用の難しさ / Monitoring Office Buildings: The Challenge of Physical-Digital SLI/SLO Design & Operation
bitkey
1
290
AWS CDKの仕組み / how-aws-cdk-works
gotok365
10
760
ABEMAの本番環境負荷試験への挑戦
mk2taiga
5
630
Zero Data Loss Autonomous Recovery Service サービス概要
oracle4engineer
PRO
2
7.8k
マーケットプレイス版Oracle WebCenter Content For OCI
oracle4engineer
PRO
3
980
全部AI、全員Cursor、ドキュメント駆動開発 〜DevinやGeminiも添えて〜
rinchsan
2
640
モニタリング統一への道のり - 分散モニタリングツール統合のためのオブザーバビリティプロジェクト
niftycorp
PRO
1
230
Lakebaseを使ったAIエージェントを実装してみる
kameitomohiro
0
170
データ基盤からデータベースまで?広がるユースケースのDatabricksについて教えるよ!
akuwano
3
160
Operating Operator
shhnjk
1
640
事例で学ぶ!B2B SaaSにおけるSREの実践例/SRE for B2B SaaS: A Real-World Case Study
bitkey
1
280
CDKコード品質UP!ナイスな自作コンストラクタを作るための便利インターフェース
harukasakihara
2
160
Featured
See All Featured
Fireside Chat
paigeccino
37
3.5k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.6k
Unsuck your backbone
ammeep
671
58k
Being A Developer After 40
akosma
90
590k
Git: the NoSQL Database
bkeepers
PRO
430
65k
How to Think Like a Performance Engineer
csswizardry
25
1.7k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
233
17k
Documentation Writing (for coders)
carmenintech
72
4.9k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
130
19k
Site-Speed That Sticks
csswizardry
10
690
Designing for humans not robots
tammielis
253
25k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
54k
Transcript
ちょっとかしこく生きよう なごみそ@Kawasaki.rb 60th
自己紹介 • 名前: なごみそ(@NagominHotMotto) • 仕事: 夏と冬に有明周辺で戦うこと • 副業: SEっぽいことをしています
使用できるロッカーも変更になるため ロッカーの再割当てが必要になった 社内の席替え
会社から出てきた割当案が あまりにも ク◦ だった
何が ク◦ だったか
何が◦ソだったか • 思考を完全停止させた配置 – 社員番号順に配置させただけ • 自席とロッカーが 遠い ここ◦ソ
頭にきたのでロッカーの割当を 数理最適化 するプログラムを作った
数理最適化してみた ロッカーの割当てを 整数計画問題 にした – 線形計画問題(Integer Programming; IP): • 目的関数が線形関数で表現できて変数ベクトルの
要素が整数のみ かつ制約条件が線形関数と不等式で表現できる問題
どんなことをしたか • 式を作る • 座席とロッカーの座標情報を取得する • ソルバーで解く
どんなことをしたか • 式を作る • 座席とロッカーの座標情報を取得する • ソルバーで解く
式を作る • もろもろ定義 – 座席: – ロッカー: – 定数: –
変数:
式を作る • 目的関数 – 全員の座席からロッカーまでの距離総和 – これが最小になる x を探す
式を作る • 制約条件 – ロッカーはひとり必ず1個割当てる – ロッカー1区画にはn人まで割当てられる
どんなことをしたか • 式を作る • 座席とロッカーの座標情報を取得する • ソルバーで解く
座席とロッカーの 座標情報を取得する • 座席とロッカーの地図はExcel製(ここもク◦) • Pandas + Xlrd でデータフレームとして読込み •
データフレームの0行0列要素を原点として 座席とロッカーの座標を取得 さくら いずみ うづき りん あこ みお ロッカーA ロッカーB さくら=(0,1) いずみ=(1,1) あここ=(0,2) ロッカーA=(0,6) ロッカーB=(1,6) S L
どんなことをしたか • 式を作る • 座席とロッカーの座標情報を取得する • ソルバーで解く
ソルバーで解く • PuLP ( https://pythonhosted.org/PuLP/) • Python用の線形計問題最適化モジュール • 作って式を違和感なくコード化できる(と思った)
直感的(?) x = { (l, s): pulp.LpVariable( name='{}:{}'.format(l, s), lowBound=0,
upBound=1, cat=pulp.LpInteger ) for l, s in product(L, S) }
直感的(?) problem += pulp.lpSum( c[l, s] * x[l, s] for
l, s in product(L, S) ), 'TotalDistance'
直感的(?) for l in L: problem += \ sum(x[l, s]
for s in s) <= n, \ 'Constraint_leq_{}'.format(l)
最近はあんまりメンテされていないみたい
本当に席に近いロッカーを 手に入れられたのか?
こたえ 微妙でした
反省 • 総和でしか評価していないのでバラツキがある – 遠いヒトと近いヒトがいる(私は遠かった……) • 忖度できていない – エラいヒトも問答無用で遠い場所に配置
ちょっとかしこく生きよう • 何気ない身近な問題を技術でカイゼンできた • 思考停止は誰も幸せにならないよね – 歩く距離が伸びて疲れる...... – 人手で割当てるの面倒くさい...... •
要改善点 – バラツキを考慮する – 忖度できるように条件を考える
おしまい