| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン |
| ja:start [2024/04/23 12:32] – [テーブル] asada | ja:start [2025/06/05 22:07] (現在) – [出版論文] ksk |
|---|
| |
| ===== 研究室学生の対外発表 ===== | ===== 研究室学生の対外発表 ===== |
| | * 2024年07月 **中村卓武**さんが国内研究集会[[https://sites.google.com/view/sig-mlse/%E9%81%8E%E5%8E%BB%E3%81%AE%E6%B4%BB%E5%8B%95/2024%E5%B9%B4%E5%BA%A6/%E5%A4%8F%E5%90%88%E5%AE%BF2024?authuser=0|第7回機械学習工学研究会]]で登壇発表し，**学生優秀発表賞を受賞**しました． |
| * 2024年03月 **伊藤耀**さんが国内研究集会[[https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home|CSCAT 2024]]で登壇発表しました． | * 2024年03月 **伊藤耀**さんが国内研究集会[[https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home|CSCAT 2024]]で登壇発表しました． |
| * 2024年03月 **上西真由**さん，**菅野直孝**さん，**中村 卓武**さん，**野木知優**さん，**齋藤佑貴**さんが国内研究集会[[https://jssst-ppl.org/workshop/2024/program|PPL 2024]]でポスター発表しました． | * 2024年03月 **上西真由**さん，**菅野直孝**さん，**中村卓武**さん，**野木知優**さん，**齋藤佑貴**さんが国内研究集会[[https://jssst-ppl.org/workshop/2024/program|PPL 2024]]でポスター発表しました． |
| * 2024年03月 **橋場慧志**さんが国内研究集会[[https://jssst-ppl.org/workshop/2024/program|PPL 2024]]で登壇発表しました． | * 2024年03月 **橋場慧志**さんが国内研究集会[[https://jssst-ppl.org/workshop/2024/program|PPL 2024]]で登壇発表しました． |
| * 2023年03月 **菅野直孝**さん，**伊藤耀**さん，**野木知優**さんが国内研究集会[[https://jssst-ppl.org/workshop/2023/program|PPL 2023]]でポスター発表しました． | * 2023年03月 **菅野直孝**さん，**伊藤耀**さん，**野木知優**さんが国内研究集会[[https://jssst-ppl.org/workshop/2023/program|PPL 2023]]でポスター発表しました． |
| ===== 出版論文 ===== | ===== 出版論文 ===== |
| ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ | ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ |
| | [[https://doi.org/10.1145/3632855|doi]] | 2024 | Enriched Presheaf Model of Quantum FPC | Takeshi Tsukada and Kazuyuki Asada | | | | [[https://doi.org/10.1007/978-3-031-71112-1_19|doi]] | 2024 | Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata | Keisuke Nakano and Munehiro Iwami | [[http://www.math.akita-u.ac.jp/ciaa2024/|28th International Conference on Implementation and Application of Automata]] | |
| | | [[https://doi.org/10.4230/LIPIcs.ICALP.2024.138|doi]] | 2024 | Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers | Paul Gallot, Sebastian Maneth, Keisuke Nakano, and Charles Peyrat | [[https://compose.ioc.ee/icalp2024/|51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024)]] | |
| | | [[https://doi.org/10.1145/3632855|doi]] | 2024 | Enriched Presheaf Model of Quantum FPC | Takeshi Tsukada and Kazuyuki Asada | [[https://popl24.sigplan.org/|Principles of Programming Languages (POPL 2024)]] | |
| | [[https://doi.org/10.1007/978-3-031-37709-9_3|doi]] | 2023 | Compositional Probabilistic Model Checking with String Diagrams of MDPs | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo | [[http://www.i-cav.org/2023/|Computer Aided Verification (CAV 2023)]] | | | [[https://doi.org/10.1007/978-3-031-37709-9_3|doi]] | 2023 | Compositional Probabilistic Model Checking with String Diagrams of MDPs | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo | [[http://www.i-cav.org/2023/|Computer Aided Verification (CAV 2023)]] | |
| | [[https://doi.org/10.1007/978-3-031-19135-0_8|doi]] | 2022 | On Higher-Order Reachability Games vs May Reachability | Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi | [[https://rp2022.mpi-sws.org/index.html|Reachability Problems (RP 2022)]] | | | [[https://doi.org/10.1007/978-3-031-19135-0_8|doi]] | 2022 | On Higher-Order Reachability Games vs May Reachability | Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi | [[https://rp2022.mpi-sws.org/index.html|Reachability Problems (RP 2022)]] | |
| ===== メンバー ===== | ===== メンバー ===== |
| |
| ^ 役職 ^ 名前 ^ Name ^ Email (+ <-> @) ^ | ^ 役職 ^ 名前 ^ Email (+ <-> @) ^ |
| | 教授 | [[https://www.riec.tohoku.ac.jp/~ksk/|中野 圭介]] | NAKANO Keisuke | ksk + riec.tohoku.ac.jp | | | 教授 | [[https://www.riec.tohoku.ac.jp/~ksk/|中野 圭介]] | ksk + riec.tohoku.ac.jp | |
| | 助教 | [[https://www.riec.tohoku.ac.jp/~asada/|浅田 和之]] | ASADA Kazuyuki | asada + riec.tohoku.ac.jp | | | 助教 | [[https://www.riec.tohoku.ac.jp/~asada/|浅田 和之]] | asada + riec.tohoku.ac.jp | |
| | ::: | [[https://kentaro-kikuchi.github.io/|菊池 健太郎]] | KIKUCHI Kentaro | kentaro.kikuchi + riec.tohoku.ac.jp | | | ::: | [[https://kentaro-kikuchi.github.io/|菊池 健太郎]] | kentaro.kikuchi + riec.tohoku.ac.jp | |
| | 修士課程 | 伊藤 耀 | ITO Yo | yoito + riec.tohoku.ac.jp | | | 博士課程 | 伊藤 耀 | | |
| | ::: | 中村 卓武 | NAKAMURA Takumu | takumu + riec.tohoku.ac.jp | | | ::: | 中村 卓武 | | |
| | ::: | 野木 知優 | NOGI Chihiro | nogi + riec.tohoku.ac.jp | | | 修士課程 | 齋藤 佑貴 | | |
| | ::: | 齋藤 佑貴 | SAITO Yuki | yuki1226 + riec.tohoku.ac.jp | | | ::: | 許 兆恒 | | |
| | ::: | 許 兆恒 | HUA Xiu-Heng Kevin | xhua + riec.tohoku.ac.jp | | | ::: | 佐藤 龍之介 | | |
| | ::: | 佐藤 龍之介 | SATO Ryunosuke | sato.ryunosuke.q4 + dc.tohoku.ac.jp | | | ::: | 小野寺 宏介 | | |
| | Colabs | Julia Plotnikova | Julia Plotnikova | plotnikova.julia.s6 + dc.tohoku.ac.jp | | | ::: | 長田 和樹 | | |
| | 学士課程 | 小野寺 宏介 | ONODERA Kosuke | onodera.kosuke.s5 + dc.tohoku.ac.jp | | | JYPE | Kevin Gustavo Flores | | |
| | ::: | 中居 瑞希 | Nakai Mizuki | nakai.mizuki.q8 + dc.tohoku.ac.jp | | | 学士課程 | 高杉 丈太郎 | | |
| | ::: | 長田 和樹 | Nagata Kazuki | nagata.kazuki.s1 + dc.tohoku.ac.jp | | | ::: | 山田 龍之介 | | |
| | |
| | |
| |
| OB： | OB： |
| * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士） | * 2025年：野木 知優（修士），中居 瑞希（学士），Marie Marken（COLABS） |
| | * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS） |
| * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士） | * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士） |
| * 2022年：佐藤 光（修士） | * 2022年：佐藤 光（修士） |
| * 2021年：今津 徹大（修士） | * 2021年：今津 徹大（修士），Altermatt Jean-Marc Bastien（JYPE） |
| * 2020年：西山 舜（修士），眞田 耕太（学士） | * 2020年：西山 舜（修士），眞田 耕太（学士） |
| * 2019年：阿部 和敬（修士），小澤 祐也（修士），高橋 祐多（修士） | * 2019年：阿部 和敬（修士），小澤 祐也（修士），高橋 祐多（修士） |