8月25日(水) 午前
10:30 - 11:30 |
| (1) |
10:30-11:00 |
[AL] A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching
○Naoki Kitamura (Nagoya Institute of Technology), Taisuke Izumi (Osaka University) |
(2)
COMP |
11:00-11:30 |
分散計算における誘導サイクル発見問題の下界 |
ルガル フランソワ・○宮本昌幸（名大） |
| |
11:30-13:10 |
休憩 （ 100分 ） |
| |
13:10-15:10 |
FIT2021トップコンファレンス （ 120分 ） |
| |
13:10-15:10 |
FIT2021 イベント企画「秘匿計算の最前線」 （ 120分 ） |
8月25日(水) 午後
15:30 - 17:30 |
(3)
COMP |
15:30-16:30 |
［招待講演］グラフ上での持ち込みと持ち帰りを許す輸送問題 |
○浅野哲夫（金沢大） |
(4)
COMP |
16:30-17:00 |
Rational sumcheck protocols for classically delegating quantum computing to a quantum server |
○Yuki Takeuchi（NTT）・Tomoyuki Morimae（Kyoto Univ.）・Seiichiro Tani（NTT） |
(5)
COMP |
17:00-17:30 |
定理証明支援系Coqによる二人単貧民の定理の証明 |
○大渡勝己 |
8月26日(木) 午前
10:30 - 12:00 |
| (6) |
10:30-11:00 |
[AL] オートマトンを用いたあみだくじの列挙
○熊谷 滉士郎，ヘンリアン ディプタラマ，吉仲 亮，篠原 歩 (東北大学) |
| (7) |
11:00-11:30 |
[AL] 真区間グラフの高速な列挙アルゴリズムとその応用
○武田 浩和，斎藤 寿樹 (九州工業大学) |
| (8) |
11:30-12:00 |
[AL] 区間順序上の最長増加部分列
○青池 宥希 (横浜市立大学)，清見 礼 (成蹊大学)，小林 靖明 (京都大学)，大舘 陽太 (名古屋大学) |
: an
ei
isc
nshu-u