清見礼

キヨミマサシ (Masashi Kiyomi)

基本情報

- 2006年情報処理学会コンピュータサイエンス領域奨励賞
- IEEE ICDM Workshop on Frequent Itemset Mining Implementations, 2004, Best Implementation Award

Finding a Reconfiguration Sequence between Longest Increasing Subsequences.

Yuuki Aoike, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi

IEICE Trans. Inf. Syst. 107(4) 559-563 2024年査読有り
A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems.

Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi

AAAI 3968-3976 2023年査読有り
An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion.

Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi

Theory Comput. Syst. 66(2) 502-515 2022年査読有り
Exploring the gap between treedepth and vertex cover through vertex integrity.

Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi

Theor. Comput. Sci. 918 60-76 2022年査読有り
Parameterized Complexity of (A, ℓ )-Path Packing.

Rémy Belmonte, Tesshu Hanaka, Masaaki Kanzaki, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi 0001, Michael Lampis, Hirotaka Ono, Yota Otachi

Algorithmica 84(4) 871-895 2022年査読有り

多様な解集合を発見する効率良い近似アルゴリズム

栗田和宏, 土中哲秀, 清見礼, 小林靖明, 小林佑輔, 大舘陽太

人工知能学会研究会資料人工知能基本問題研究会 119 21-26 2022年
区間順序上の最長増加部分列

青池宥希, 清見礼, 小林靖明, 大舘陽太

情報処理学会研究報告(Web) 2021(AL-184) 2021年
サボテン頂点削除のための改良型決定論的パラメータ化アルゴリズム【JST・京大機械翻訳】|||

AOIKE Yuuki, GIMA Tatsuya, HANAKA Tesshu, KIYOMI Masashi, KOBAYASHI Yasuaki, KOBAYASHI Yusuke, KURITA Kazuhiro, OTACHI Yota

電子情報通信学会技術研究報告(Web) 120(276(COMP2020 18-27)) 502-515 2020年
Space-Efficient Algorithms for Longest Increasing Subsequence.

Masashi Kiyomi, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui

CoRR abs/1712.09230 2017年
Counting the number of solutions for peg solitaire (コンピュテーション)

兼本樹, 斎藤寿樹, 清見礼, 上原隆平

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(211) 1-5 2016年9月6日

数学セミナー2019年4月号

清見礼 (担当:分担執筆, 範囲:特集＝大学数学のキーポイント（前篇）アルゴリズム／情報数学の一例として pp.37-41)

2019年3月

固定パラメータ困難問題に対する汎用解法の研究

日本学術振興会科学研究費助成事業 2018年4月 - 2023年3月

清見礼, 大舘陽太
記憶領域制限シナリオにおける計算限界の解明

日本学術振興会科学研究費助成事業 2012年6月 - 2017年3月

浅野哲夫, 上原隆平, 垂井淳, 小野廣隆, 清見礼, 大舘陽太