京都大学数理解析研究所RIMS共同研究（公開型）
「アルゴリズムと計算理論の基礎と応用」（研究代表者: 周 暁）
2018年2月5日(月)〜2月7日(水)
一般セッション25分（発表20分，質疑5分）
学生セッション15分（発表12分，質疑3分）
○：発表者
◎：発表者（学生発表論文賞対象者）
京都大学数理解析研究所RIMS共同研究（公開型）
|
|
| [s1] | Towards the Algoritmic Molecular Self-Assembly of Fractals by Cotranscriptional Folding
◎ 増田 優生, 生方 佑樹 (電気通信大学) |
| [s2] | k匿名化の近似アルゴリズムについて
◎ 山田 古都子, 大圖 健史, 石井 将大, 田中 圭介 (東京工業大学) |
| [s3] | k匿名化の複雑さについて
◎ 大圖 健史, 山田 古都子, 石井 将大, 田中 圭介 (東京工業大学) |
| [s4] | Frank-Wolfe 型ブースティング
◎ 三星 諒太朗 (九州大学), 畑埜 晃平 (九州大学/理研AIP), 瀧本 英二 (九州大学) |
| [s5] | 2人単貧民の必勝判定とその拡張
◎ 木谷 裕紀 (九州大学), 小野 廣隆 (名古屋大学) |
| [s6] | 個体群プロトコルにおける一般化分割問題
◎ 海野 友希, 北村 直暉, 泉 泰介 (名古屋工業大学) |
| [s7] | 多数決関数を計算する２層の多数決回路について
◎ 吉田 昌史, 天野 一幸 (群馬大学) |
| [1] | 極大共通部分列アルゴリズム
○ 酒井 義文 (東北大学) |
| [2] | 1文字編集後の最長Lyndon文字列クエリ
◎ 浦部 裕貴, 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
| [3] | 最短非反復回文問題
◎ 井上 皓絵, 三重野 琢也, 中島 祐人 , 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
| [4] | ストリーミングモデルにおける最長Lyndon文字列
○ 中島 祐人 (九州大学) |
| [5] | Learning of Primitive Formal Systems Defining Labeled Ordered Tree Languages via Queries
○ Tomoyuki Uchida (Hiroshima City University), Satoshi Matsumoto (Tokai University), Takayoshi Shoudai (Kyushu International University), Yusuke Suzuki , Tetsuhiro Miyahara (Hiroshima City University) |
| [6] | Tangleと超フィルタの関係に関する考察
◎ 藤田 顕光, 山崎 浩一 (群馬大学) |
| [7] | Proving Turing Universality of Oritatami Co-transcriptional Folding
○ Shinnosuke Seki (University of Electro-Communications, Tokyo) |
| [8] | k-縮退グラフに含まれる支配集合の列挙アルゴリズム
◎ 栗田 和宏 (北海道大学), 和佐 州洋, 宇野 毅明 (国立情報学研究所), 有村 博紀 (北海道大学) |
| [9] | Isomorphism Elimination by Zero-Suppressed Binary Decision Diagrams
○ Takashi Horiyama, Masahiro Miyasaka, Riku Sasaki (Saitama University) |
| [10] | 密な部分グラフの見つけ方
○ 柳澤 弘揮 (IBM東京基礎研究所), 原 聡 (大阪大学) |
| [s13] | ウォークからの最大次数2の最小グラフ推論
◎ 成定 真太郎, 吉仲 亮, 篠原 歩 (東北大学) |
| [s9] | 1文字編集時の最長回文部分文字列クエリ
◎ 舩越 満, 中島 祐人, 稲永 俊介, 坂内 英夫, 竹田 正幸 (九州大学) |
| [s10] | ビーズ作家から見たグラフ理論
◎ 藤重 雄大 (九州大学) |
| [s11] | 最小ブロック転送問題について
◎ 八木田 剛 (九州工業大学), 朝廣 雄一 (九州産業大学), 宮野 英次 (九州工業大学) |
| [s12] | 安定割当問題におけるローテーション半順序集合の求解
◎ 山本 晃己, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
| [s8] | リアルタイム時相論理RTCTLを用いた組込みシステムのモデル検査
◎ 呉 亜軍, 山根 智 (金沢大学) |
| [11] | 有限視界無記憶自律移動ロボットによる計算可能性
◎ 門出 顕宏, 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学) |
| [12] | ヘルゴルフのNP完全性
○ 岩本 宙造, 春石 聖人 (広島大学) |
| [13] | Space-efficient algorithms for longest increasing subsequence
清見 礼 (横浜市立大学), 小野 廣隆 (名古屋大学), ○ 大舘 陽太 (熊本大学), Pascal Schweitzer (TU Kaiserslautern), 垂井 淳 (電気通信大学) |
| [14] | ベルジュ双対のための非二部的 Dulmage-Mendelsohn 分解
○ 喜多 奈々緒 (国立情報学研究所) |
| [15] | 複数の希望リストを持つ安定結婚問題
岡本 和也, ○ 宮崎 修一 (京都大学) |
| [16] | グラフの色付きトークン整列問題について
◎ 金野 駿人, 鈴木 顕 (東北大学), 山中 克久 (岩手大学), 伊藤 健洋, 周 暁 (東北大学) |
| [17] | 有理数βに対するβ展開のセグメント配置数
◎ 冨田 祐作, 来嶋 秀治 (九州大学) |
| [18] | 三角形数を最大・最小にする三角化
○ 江藤 宏, 土中 哲秀 (九州大学), 宮野 英次, 西島 歩美 (九州工業大学), 小野 廣隆 (名古屋大学), 大舘 陽太 (熊本大学), 斎藤 寿樹 (九州工業大学), 上原 隆平 (北陸先端科学技術大学院大) , Tom C. van der Zanden (Utrecht University) |
| [19] | n次元正軸体と２点の凸包体積に対するFPTAS
○ 安藤 映 (崇城大学), Christian Engels (Indian Institute of Technology Bombay) |