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
490
計算情報学研究室 (数理情報学第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
190
Other Decks in Education
See All in Education
Are puppies a ranking factor?
jonoalderson
0
760
SARA Annual Report 2024-25
sara2023
1
170
第1回大学院理工学系説明会|東京科学大学(Science Tokyo)
sciencetokyo
PRO
0
3.7k
系統性を意識したプログラミング教育~ガチャを実装しよう~
asial_edu
0
390
i-GIP 2025 中高生のみなさんへ資料
202200
0
460
Course Review - Lecture 12 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.7k
アウトプット0のエンジニアが半年でアウトプットしまくった話 With JAWS-UG
masakiokuda
2
290
Human-AI Interaction - Lecture 11 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
440
横浜翠嵐高校 職業講話 / Talk for YOKOHAMA SUIRAN 2024
mura_mi
0
210
実務プログラム
takenawa
0
3.1k
Linuxのよく使うコマンドを解説
mickey_kubo
1
130
JPCERTから始まる草の根活動~セキュリティ文化醸成のためのアクション~
masakiokuda
0
170
Featured
See All Featured
Docker and Python
trallard
44
3.4k
Optimising Largest Contentful Paint
csswizardry
37
3.3k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
4
150
Music & Morning Musume
bryan
46
6.6k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
16
920
GraphQLとの向き合い方2022年版
quramy
46
14k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
53k
How GitHub (no longer) Works
holman
314
140k
Product Roadmaps are Hard
iamctodd
PRO
53
11k
Become a Pro
speakerdeck
PRO
28
5.4k
Typedesign – Prime Four
hannesfritz
42
2.7k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Transcript
計算情報学研究室 (数理情報学第7研究室) 岩田 覚 谷川 眞一 五十嵐歩美
計算手法を軸とした 分野横断型研究の展開 離散最適化 連続最適化 圧縮センシング 化学情報 機械学習 エネルギー システム 線形計算
情報通信 回路・プラント シミュレーション メカニズムデザイン
離散最適化法 • 解き易い問題 (最大流問題,最小木問題) アルゴリズムの高速化 一般的な枠組 • 解き難い問題 (巡回セールスマン問題) 近似アルゴリズム
メタヒューリスティック 厳密解法 (分枝限定法,切除平面法) 劣モジュラ関数
劣モジュラ関数 • ネットワークのカット容量関数 • 行列の階数関数 • 多元情報源のエントロピー関数 ! " !
" ! " ! " ! " # ! " # ! # " # ! + " # + ! " # ! " ! ! ! ! ! " # ! ! " ! ! 有限集合
組合せ的計算幾何学 • 幾何的対象に対する計算問題を解くためのアルゴリズム基盤 – 動作計画 – 幾何的情報システム – 幾何学的モデリング(CAD) •
目標:幾何的対象に背後に潜む組合せ構造を解明したい → 効率的アルゴリズムの設計 goal
幾何的グラフ理論 • グラフの埋め込みや剛性 – タンパク質の挙動解析, 結晶構造の同定, ロボット分散制御 • 幾何的特徴を有するグラフの特徴づけ •
幾何的性質 ⇦ 代数的制約 ⇦ 凸緩和 (半正定値計画緩和など) ⇦ 組合せ論
メカニズムデザイン 7 • メカニズムデザイン: みんなが納得する妥協点を 見つけるにはどうすれば良いか – マッチング(研究室配属, 学校選択) –
投票(選挙, 市民参加型予算) – 資源配分(業務分担, 授業割当, 医療物資の配分)
メカニズムデザインとアルゴリズム 8 目標:望ましい性質を満たすメカニズム(アルゴリズム)の設計 → そのようなメカニズムを構築するための数理構造の解明 • 望ましい性質:公平性, (資源配分の)効率性, 嘘をついても 得をしない…
メカニズム 例: 劣モジュラ性を 満たす選好構造 公平かつ効率的な 資源配分
数理情報学第7研究室 h"p://www.opt.mist.i.u-tokyo.ac.jp 知性に裏付けられた楽観主義 合理性(最適性)の追求