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
計算情報学研究室 (数理情報学第7研究室)紹介スライド (2025)
Search
Tomohiko Yokoyama
April 15, 2025
Education
0
580
計算情報学研究室 (数理情報学第7研究室)紹介スライド (2025)
Tomohiko Yokoyama
April 15, 2025
Tweet
Share
More Decks by Tomohiko Yokoyama
See All by Tomohiko Yokoyama
The Economics of Platforms 輪読会 第1章
tomonatu8
0
200
Other Decks in Education
See All in Education
演習問題
takenawa
0
8.1k
アントレプレナーシップ教育 ~ 自分で自分の幸せを決めるために ~
yoshizaki
0
140
Pythonパッケージ管理 [uv] 完全入門
mickey_kubo
20
16k
技術勉強会 〜 OAuth & OIDC 入門編 / 20250528 OAuth and OIDC
oidfj
5
1.4k
推しのコミュニティはなんぼあってもいい / Let's join a lot of communities.
kaga
2
1.8k
万博非公式マップとFOSS4G
barsaka2
0
480
(キラキラ)人事教育担当のつらみ~教育担当として知っておくポイント~
masakiokuda
0
110
Sponsor the Conference | VizChitra 2025
vizchitra
0
560
Common STIs in London: Symptoms, Risks & Prevention
medicaldental
0
130
SkimaTalk Introduction for Students
skimatalk
0
390
より良い学振申請書(DC)を作ろう 2025
luiyoshida
1
3.3k
미국 교환학생 가서 무료 홈스테이 살면서 인턴 취업하기
maryang
0
110
Featured
See All Featured
Measuring & Analyzing Core Web Vitals
bluesmoon
7
520
Documentation Writing (for coders)
carmenintech
72
4.9k
Making the Leap to Tech Lead
cromwellryan
134
9.4k
Building an army of robots
kneath
306
45k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
10
980
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
How to Think Like a Performance Engineer
csswizardry
25
1.7k
Rails Girls Zürich Keynote
gr2m
95
14k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
Java REST API Framework Comparison - PWX 2021
mraible
31
8.7k
What's in a price? How to price your products and services
michaelherold
246
12k
The Invisible Side of Design
smashingmag
301
51k
Transcript
計算情報学研究室 (数理情報学第7研究室) 岩田 覚 谷川 眞一 五十嵐歩美
計算手法を軸とした 分野横断型研究の展開 離散最適化 連続最適化 圧縮センシング 化学情報 機械学習 エネルギー システム 線形計算
情報通信 回路・プラント シミュレーション メカニズムデザイン
離散最適化法 • 解き易い問題 (最大流問題,最小木問題) アルゴリズムの高速化 一般的な枠組 • 解き難い問題 (巡回セールスマン問題) 近似アルゴリズム
メタヒューリスティック 厳密解法 (分枝限定法,切除平面法) 劣モジュラ関数
劣モジュラ関数 • ネットワークのカット容量関数 • 行列の階数関数 • 多元情報源のエントロピー関数 ! " !
" ! " ! " ! " # ! " # ! # " # ! + " # + ! " # ! " ! ! ! ! ! " # ! ! " ! ! 有限集合
組合せ的計算幾何学 • 幾何的対象に対する計算問題を解くためのアルゴリズム基盤 – 動作計画 – 幾何的情報システム – 幾何学的モデリング(CAD) •
目標:幾何的対象に背後に潜む組合せ構造を解明したい → 効率的アルゴリズムの設計 goal
幾何的グラフ理論 • グラフの埋め込みや剛性 – タンパク質の挙動解析, 結晶構造の同定, ロボット分散制御 • 幾何的特徴を有するグラフの特徴づけ •
幾何的性質 ⇦ 代数的制約 ⇦ 凸緩和 (半正定値計画緩和など) ⇦ 組合せ論
メカニズムデザイン 7 • メカニズムデザイン: みんなが納得する妥協点を 見つけるにはどうすれば良いか – マッチング(研究室配属, 学校選択) –
投票(選挙, 市民参加型予算) – 資源配分(業務分担, 授業割当, 医療物資の配分)
メカニズムデザインとアルゴリズム 8 目標:望ましい性質を満たすメカニズム(アルゴリズム)の設計 → そのようなメカニズムを構築するための数理構造の解明 • 望ましい性質:公平性, (資源配分の)効率性, 嘘をついても 得をしない…
メカニズム 例: 劣モジュラ性を 満たす選好構造 公平かつ効率的な 資源配分
数理情報学第7研究室 h"p://www.opt.mist.i.u-tokyo.ac.jp 知性に裏付けられた楽観主義 合理性(最適性)の追求