研究者
J-GLOBAL ID:201201001276504150
更新日: 2024年06月23日
清見 礼
キヨミ マサシ | Kiyomi Masashi
所属機関・部署:
成蹊大学 理工学部 理工学科
成蹊大学 理工学部 理工学科 について
「成蹊大学 理工学部 理工学科」ですべてを検索
機関情報を見る
職名:
教授
研究分野 (1件):
情報学基礎論
研究キーワード (2件):
グラフ
, アルゴリズム
競争的資金等の研究課題 (2件):
2018 - 2023 固定パラメータ困難問題に対する汎用解法の研究
2012 - 2017 記憶領域制限シナリオにおける計算限界の解明
論文 (49件):
Yuuki Aoike, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi. Finding a Reconfiguration Sequence between Longest Increasing Subsequences. IEICE Trans. Inf. Syst. 2024. 107. 4. 559-563
Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi. A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems. AAAI. 2023. 3968-3976
Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi. An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion. Theory Comput. Syst. 2022. 66. 2. 502-515
Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi. Exploring the gap between treedepth and vertex cover through vertex integrity. Theor. Comput. Sci. 2022. 918. 60-76
Rémy Belmonte, Tesshu Hanaka, Masaaki Kanzaki, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi 0001, Michael Lampis, Hirotaka Ono, Yota Otachi. Parameterized Complexity of (A, l )-Path Packing. Algorithmica. 2022. 84. 4. 871-895
もっと見る
MISC (23件):
栗田 和宏, 土中 哲秀, 清見 礼, 小林 靖明, 小林 佑輔, 大舘 陽太. 多様な解集合を発見する効率良い近似アルゴリズム. 人工知能学会研究会資料 人工知能基本問題研究会. 2022. 119. 21-26
青池宥希, 清見礼, 小林靖明, 大舘陽太. 区間順序上の最長増加部分列. 情報処理学会研究報告(Web). 2021. 2021. AL-184
AOIKE Yuuki, GIMA Tatsuya, HANAKA Tesshu, KIYOMI Masashi, KOBAYASHI Yasuaki, KOBAYASHI Yusuke, KURITA Kazuhiro, OTACHI Yota. サボテン頂点削除のための改良型決定論的パラメータ化アルゴリズム【JST・京大機械翻訳】|||. 電子情報通信学会技術研究報告(Web). 2020. 120. 276(COMP2020 18-27). 502-515
Masashi Kiyomi, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui. Space-Efficient Algorithms for Longest Increasing Subsequence. CoRR. 2017. abs/1712.09230
兼本 樹, 斎藤 寿樹, 清見 礼, 上原 隆平. Counting the number of solutions for peg solitaire (コンピュテーション). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2016. 116. 211. 1-5
もっと見る
書籍 (1件):
数学セミナー2019年4月号
2019
学歴 (4件):
2003 - 2006 総合研究大学院大学複合科学研究科情報学専攻
2000 - 2002 東京大学大学院工学系研究科情報工学専攻
1998 - 2000 東京大学工学部計数工学科
1996 - 1998 東京大学教養学部理科I類
学位 (1件):
博士(情報学) (総合研究大学院大学)
経歴 (4件):
2021/04 - 現在 成蹊大学 理工学部 教授
2012/04 - 2021/03 横浜市立大学 国際総合科学群 准教授
2006/10 - 2012/03 北陸先端科学技術大学院大学 情報科学研究科 助教
2002/04 - 2003/06 株式会社日立製作所 システム開発研究所
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM