開催日時： 11/29(金)-30(土)
開催場所：TKP神田ビジネスセンター 4F 401会議室
住所：〒101-0053 東京都千代田区神田美土代町3-2 神田アベビル
開催方法：会場およびZoomによるハイブリッド開催
参加対象者：研究代表者・研究分担者・研究協力者・その他関係者向け
参加方法：参加登録フォームより登録ください
参加費：11/29 夜のナイトセッション参加の場合　1,000円

11/29(金)

プログラム（仮）（11/26 更新版）
（ポスターの発表日時は発表者の都合により変更されることがあります。）
9:00～9:30 会場準備
9:30～10:00 受付開始
10:00～10:40 プレイベントトーク(1)　（TBD）
10:40～11:20 プレイベントトーク(2)　（TBD）
11:20～12:00 プレイベントトーク(3)　（TBD）
12:00～13:30 昼休み　

13:30～13:35 オープニング（開会挨拶・事務連絡）
13:35～14:00 領域全体の近況報告（湊）（25分）
14:00～14:15 A01班・近況報告（宇野・他）（15分）
14:15～14:30 A02班・近況報告（安田・他）（15分）
14:30～14:45 休憩
14:45～15:00 B01班・近況報告（堀山・他）（15分）
15:00～15:15 B02班・近況報告（河原林・他）（15分）
15:15～15:30 B03班・近況報告（山下・他）（15分）
15:30～15:45 B04班・近況報告（牧野・他）（15分）
15:45～16:00 休憩
16:00～16:20 ポスターセッション(P1)
フラッシュトーク（1件2～3分）
① 前山和喜（A01: NII） 「計算：日本語でCalculationとComputationをどう扱うか」
②柴田 紘希（B01: 九大） 「トライの接尾辞木に対する高速な更新手法」
③江村紅音・杉山佳奈美（A02: 京大）「白金表面上のメタノール分解反応の化学反応ネットワーク 解析」
④谷誠一郎（B03: 早稲田大） 「Quantum Leader Election Revisited」
⑤ Niranka Banerjee（B04: 京大） 「Directed Token Sliding」
⑥
16:20～16:30 写真撮影
16:30～17:45 スライドポスターセッション(1)　（75分）
17:45～18:00 休憩・会場準備
18:00～20:30 交流会+ナイトセッション（ケータリングによる立食形式）
19:00～19:20 ナイトセッション(N1)
フラッシュトーク（1件2～3分）
①川原 純（A02: 京大） 「Graphillion 2.0 と Reconfillion の状況について2」
②中島 祐人（B01: 九大） 「全単射 BW 変換による圧縮について」
③スッパキットパイサン ウォラポン（B02: 東大）「Local Differential Privacy for Number of Paths and Katz Centrality」
④松崎雄一郎 （B03: 中央大） 「Catastrophic failure of quantum annealing owing to non-stoquastic Hamiltonian and its avoidance by decoherence」
⑤栗田和宏（B04: 名大） 「次数制約付き極大部分グラフの多項式遅延列挙と出力多項式 時間のZDD構築にむけて」
⑥
19:20～ スライドポスターセッション(N1)・自由討論（70分）
20:30 中締め

11/30(土)

9:00～ 会場準備
9:15～ 受付開始
9:30～9:35 2日目オープニング
9:35～9:55 ポスターセッション(P2)
フラッシュトーク（1件2～3分）
① Phan Thi Thanh Thuy, 山本章博（A01: 京大） 「Implementing Derivations of Definite Logic Programs with Self-Attention Networks」
② 伝住 周平（B01: NTT） 「ゼロサプレス型二分決定グラフ上での発展的演算の一般化」
③ 番原 睦則（B01: 名大）「Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming」
④ 西村治道（B03: 名大）「Quantum Simultaneous Protocols without Public Coins using Modified Equality Queries」
⑤ 杉山康恭（B04: 名大）「グラフ分解に基づく高性能なビール路クエリシステム」
⑥
9:55～11:00 スライドポスターセッション(P2)　（65分）
11:00～12:00 招待講演(1)　杉山 麿人（NII）「「記号推論に接続する機械学習」への幾何学的アプローチ」
12:00～13:30 昼食（各自）
12:15～13:15 アドバイザリー会議（関係者のみ）
13:30～13:50 アドバイザからの講評・今後の期待
13:50～14:50 招待講演(2)　小島 武仁（東京大学）「マーケットデザインとは何か？〜ERATO小島マーケットデザインプロジェクト紹介」
14:50～15:00 休憩
15:00～15:20 ポスターセッション(P3)
フラッシュトーク（1件2～3分）
① 洞龍弥（A01: 東大）「Quotient topoi and geometry of computation」
②クップル ドミニク（B01: 山梨大）「未決定文字列における欠如単語の検索の困難さ」
③谷川 眞一（B02: 東大）「点配置の同定性解析と低ランクテンソル補完への応用」
④山下茂（B03: 立命館大）「SMT-based minimum Toffoli network synthesis」
⑤ 玉置卓（B04: 兵庫県立大）「局所ハミルトニアン問題の近似不可能性証明に向けて」
⑥
15:20～16:30 スライドポスターセッション(P3)　（70分）
16:30～16:40 中締め挨拶（湊）
16:40～17:00 自由討論・後片付け　

本件問合せ先：afsa-uketsuke[at]afsa.jp
*２～３日たっても返信がない場合は　deguchidesignoffice@gmail.com （出口）までご連絡ください。