| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン |
| ja:start [2025/06/05 13:59] – [テーブル] asada | ja:start [2025/06/05 22:07] (現在) – [出版論文] ksk |
|---|
| ===== 出版論文 ===== | ===== 出版論文 ===== |
| ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ | ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ |
| | | [[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.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)]] | |
| ===== メンバー ===== | ===== メンバー ===== |
| |
| ^ 役職 ^ 名前 ^ 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 | | | | 博士課程 | 伊藤 耀 | | |
| | ::: | 中村 卓武 | NAKAMURA Takumu | | | | ::: | 中村 卓武 | | |
| | 修士課程 | 齋藤 佑貴 | SAITO Yuki | | | | 修士課程 | 齋藤 佑貴 | | |
| | ::: | 許 兆恒 | HUA Xiu-Heng Kevin | | | | ::: | 許 兆恒 | | |
| | ::: | 佐藤 龍之介 | SATO Ryunosuke | | | | ::: | 佐藤 龍之介 | | |
| | ::: | 小野寺 宏介 | ONODERA Kosuke | | | | ::: | 小野寺 宏介 | | |
| | ::: | 長田 和樹 | Nagata Kazuki | | | | ::: | 長田 和樹 | | |
| | JYPE | Kevin Gustavo Flores | Kevin Gustavo Flores | | | | JYPE | Kevin Gustavo Flores | | |
| | 学士課程 | 高杉 丈太郎 | Takasugi Jotaro | | | | 学士課程 | 高杉 丈太郎 | | |
| | ::: | 山田 龍之介 | Yamada Ryunosuke | | | | ::: | 山田 龍之介 | | |
| |
| |