ja:start

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
ja:start [2023/04/11 11:19] – [研究室学生の対外発表] asadaja:start [2024/10/01 14:53] (現在) – [テーブル] asada
行 55: 行 55:
  
 ===== 研究室学生の対外発表 ===== ===== 研究室学生の対外発表 =====
 +  * 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://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]]でポスター発表しました．
   * 2022年03月 **芳賀勇太**さん，**宮坂優介**さん，**上西真由**さんが国内研究集会[[https://jssst-ppl.org/workshop/2022/program|PPL 2022]]でポスター発表しました．   * 2022年03月 **芳賀勇太**さん，**宮坂優介**さん，**上西真由**さんが国内研究集会[[https://jssst-ppl.org/workshop/2022/program|PPL 2022]]でポスター発表しました．
行 69: 行 73:
  
 ===== 出版論文 ===== ===== 出版論文 =====
-^ 論文DL                                                   ^ 出版年   ^ 論文タイトル                                                                                ^ 著者名                                                                                                                     ^ 雑誌・会議名                                                                                                                          ^ +^ 論文DL                                                  ^ 出版年  ^ 論文タイトル                                                                           ^ 著者名                                                                                                                  ^ 雑誌・会議名                                                                                                                    ^ 
-|                                                        | 2021  | A Compositional Approach to Parity Games                                              | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo                                                      | [[https://www.coalg.org/calco-mfps2021/|Mathematical Foundations of Programming Semantics (MFPS 2021)]]                         | +| [[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.4230/LIPIcs.MFCS.2021.79|doi]]    | 2021  | Idempotent Turing Machines                                                            | Keisuke Nakano                                                                                                          | [[https://compose.ioc.ee/mfcs/|Mathematical Foundations of Computer Science (MFCS 2021)]]                                       | +| [[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-030-79837-6_11|doi]]   | 2021  | A Tangled Web of 12 Lens Laws                                                         | Keisuke Nakano                                                                                                          | [[https://reversible-computation-2021.github.io/|Reversible Computation (RC 2021)]]                                             | +| [[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-030-52482-1_3|doi]]    | 2020  | Involutory Turing Machines                                                            | Keisuke Nakano                                                                                                          | [[https://reversible-computation-2020.github.io/|Reversible Computation (RC 2020)]]                                             | +| [[https://dl.acm.org/doi/10.1145/3531130.3533373|doi]]  | 2022    | Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings  | Takeshi Tsukada and Kazuyuki Asada                                                                                      | [[https://lics.siglog.org/lics22/index.php|Logic in Computer Science (LICS 2022)]]                                              | 
-| [[https://doi.org/10.23638/LMCS-16(2:8)2020|doi]]      | 2020  | On properties of B-terms                                                              | Mirai Ikebuchi and Keisuke Nakano                                                                                       | Logical Methods in Computer Science                                                                                             | +| [[https://doi.org/10.4204/EPTCS.351.17|doi]]            | 2021    | A Compositional Approach to Parity Games                                               | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo                                                      | [[https://www.coalg.org/calco-mfps2021/|Mathematical Foundations of Programming Semantics (MFPS 2021)]]                         | 
-| [[https://doi.org/10.4230/LIPIcs.FSCD.2020.22|doi]]    | 2020  | Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars  | Kazuyuki Asada and Naoki Kobayashi                                                                                      | [[https://fscd2020.org/|Formal Structures for Computation and Deduction (FSCD 2020)]]                                           | +| [[https://doi.org/10.4230/LIPIcs.MFCS.2021.79|doi]]     | 2021    | Idempotent Turing Machines                                                             | Keisuke Nakano                                                                                                          | [[https://compose.ioc.ee/mfcs/|Mathematical Foundations of Computer Science (MFCS 2021)]]                                       | 
-| [[https://doi.org/10.4230/LIPIcs.FSCD.2020.21|doi]]    | 2020  | On Average-Case Hardness of Higher-Order Model Checking                               | Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, and Takeshi Tsukada                                    | [[https://fscd2020.org/|Formal Structures for Computation and Deduction (FSCD 2020)]]                                           | +| [[https://doi.org/10.1007/978-3-030-79837-6_11|doi]]    | 2021    | A Tangled Web of 12 Lens Laws                                                          | Keisuke Nakano                                                                                                          | [[https://reversible-computation-2021.github.io/|Reversible Computation (RC 2021)]]                                             | 
-| [[https://doi.org/10.1016/j.tcs.2020.12.033|doi]]      | 2020  | Streaming Ranked-Tree-to-String Transducers                                           | Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano                                                                      | Theoretical Computer Science                                                                                                    | +| [[https://doi.org/10.1007/978-3-030-52482-1_3|doi]]     | 2020    | Involutory Turing Machines                                                             | Keisuke Nakano                                                                                                          | [[https://reversible-computation-2020.github.io/|Reversible Computation (RC 2020)]]                                             | 
-| [[https://doi.org/10.1007/978-3-030-23679-3_19|doi]]   | 2019  | Streaming Ranked-Tree-to-String Transducers                                           | Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano                                                                      | [[https://im.saske.sk/ciaa2019/|Implementation and Application of Automata (CIAA 2019)]]                                        | +| [[https://doi.org/10.23638/LMCS-16(2:8)2020|doi]]       | 2020    | On properties of B-terms                                                               | Mirai Ikebuchi and Keisuke Nakano                                                                                       | Logical Methods in Computer Science                                                                                             | 
-| [[https://doi.org/10.1109/BIGCOMP.2019.8679145|doi]]   | 2019  | Toward BX-based Architecture for Controlling and Sharing Distributed Data             | Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki                                       | [[http://www.prg.nii.ac.jp/projects/biscuits/second-workshop/|Software Foundations for Data Interoperability (SFDI 2019)]]      | +| [[https://doi.org/10.4230/LIPIcs.FSCD.2020.22|doi]]     | 2020    | Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars   | Kazuyuki Asada and Naoki Kobayashi                                                                                      | [[https://fscd2020.org/|Formal Structures for Computation and Deduction (FSCD 2020)]]                                           | 
-| [[https://doi.org/10.1109/BIGCOMP.2019.8679236|doi]]   | 2019  | Flexible framework for data integration and update propagation: system aspect         | Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki  | [[http://www.prg.nii.ac.jp/projects/biscuits/second-workshop/|Software Foundations for Data Interoperability (SFDI 2019)]]      | +| [[https://doi.org/10.4230/LIPIcs.FSCD.2020.21|doi]]     | 2020    | On Average-Case Hardness of Higher-Order Model Checking                                | Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, and Takeshi Tsukada                                    | [[https://fscd2020.org/|Formal Structures for Computation and Deduction (FSCD 2020)]]                                           | 
-| [[https://doi.org/10.4230/LIPIcs.FSTTCS.2018.14|doi]]  | 2018  | Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered                        | Kazuyuki Asada and Naoki Kobayashi                                                                                      | [[https://www.fsttcs.org.in/archives/2018/|Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)]]  | +| [[https://doi.org/10.1016/j.tcs.2020.12.033|doi]]       | 2020    | Streaming Ranked-Tree-to-String Transducers                                            | Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano                                                                      | Theoretical Computer Science                                                                                                    | 
-| [[https://doi.org/10.4230/LIPIcs.FSCD.2018.18|doi]]    | 2018  | On repetitive right application of B-terms                                            | Mirai Ikebuchi and Keisuke Nakano                                                                                       | [[https://www.cs.le.ac.uk/events/fscd2018/|Formal Structures for Computation and Deduction (FSCD 2018)]]                        | +| [[https://doi.org/10.1007/978-3-030-23679-3_19|doi]]    | 2019    | Streaming Ranked-Tree-to-String Transducers                                            | Yuta Takahashi, Kazuyuki Asada, and Keisuke Nakano                                                                      | [[https://im.saske.sk/ciaa2019/|Implementation and Application of Automata (CIAA 2019)]]                                        | 
-| [[https://doi.org/10.11309/jssst.35.52|doi]]           | 2018  | 木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について                                               | 高橋 祐多, 中野 圭介                                                                                                            | コンピュータ ソフトウェア                                                                                                                   |+| [[https://doi.org/10.1109/BIGCOMP.2019.8679145|doi]]    | 2019    | Toward BX-based Architecture for Controlling and Sharing Distributed Data              | Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki                                       | [[http://www.prg.nii.ac.jp/projects/biscuits/second-workshop/|Software Foundations for Data Interoperability (SFDI 2019)]]      | 
 +| [[https://doi.org/10.1109/BIGCOMP.2019.8679236|doi]]    | 2019    | Flexible framework for data integration and update propagation: system aspect          | Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, and Yuya Sasaki  | [[http://www.prg.nii.ac.jp/projects/biscuits/second-workshop/|Software Foundations for Data Interoperability (SFDI 2019)]]      | 
 +| [[https://doi.org/10.4230/LIPIcs.FSTTCS.2018.14|doi]]   | 2018    | Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered                         | Kazuyuki Asada and Naoki Kobayashi                                                                                      | [[https://www.fsttcs.org.in/archives/2018/|Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)]]  | 
 +| [[https://doi.org/10.4230/LIPIcs.FSCD.2018.18|doi]]     | 2018    | On repetitive right application of B-terms                                             | Mirai Ikebuchi and Keisuke Nakano                                                                                       | [[https://www.cs.le.ac.uk/events/fscd2018/|Formal Structures for Computation and Deduction (FSCD 2018)]]                        | 
 +| [[https://doi.org/10.11309/jssst.35.52|doi]]            | 2018    | 木から文字列への決定性トップダウン変換の等価性判定アルゴリズムの実用性について         | 高橋 祐多, 中野 圭介                                                                                                    | コンピュータ ソフトウェア                                                                                                       |
  
 ===== メンバー ===== ===== メンバー =====
  
-^ 役職    ^ 名前                                               ^ Name             ^ Email (+ <-> @)                      ^ +^ 役職      ^ 名前                                                 ^ Name                ^ Email (+ <-> @)                              ^ 
-| 教授    | [[https://www.riec.tohoku.ac.jp/~ksk/|中野 圭介]]    | NAKANO Keisuke   | ksk + riec.tohoku.ac.jp              | +| 教授      | [[https://www.riec.tohoku.ac.jp/~ksk/|中野 圭介]]    | NAKANO Keisuke      | 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 Kazuyuki      | asada + riec.tohoku.ac.jp                    | 
-| :::   | [[https://kentaro-kikuchi.github.io/|菊池 健太郎]]    | KIKUCHI Kentaro  | kentaro.kikuchi + riec.tohoku.ac.jp  | +| :::       | [[https://kentaro-kikuchi.github.io/|菊池 健太郎]]   | KIKUCHI Kentaro     | kentaro.kikuchi + riec.tohoku.ac.jp          | 
-| 修士課程  | 上西 真由                                            | UENISHI Mayu     | mayu0802 + riec.tohoku.ac.jp         | +| 修士課程  | 伊藤 耀                                              | ITO Yo              | yoito + riec.tohoku.ac.jp                    | 
-| :::   | 菅野 直孝                                            | KANNO Naotaka    | naotaka + riec.tohoku.ac.jp          | +| :::       | 中村 卓武                                            | NAKAMURA Takumu     | takumu + riec.tohoku.ac.jp                   | 
-| :::   | 伊藤 耀                                             | ITO Yo           | yoito + riec.tohoku.ac.jp            | +| :::       | 野木 知優                                            | NOGI Chihiro        | nogi + riec.tohoku.ac.jp                     | 
-| :::   | 中村 卓武                                            | NAKAMURA Takumu  | takumu + riec.tohoku.ac.jp           | +| :::       | 齋藤 佑貴                                            | SAITO Yuki          | yuki1226 + riec.tohoku.ac.jp                 | 
-| :::   | 野木 知優                                            | NOGI Chihiro     | nogi + riec.tohoku.ac.jp             | +| :::       | 許 兆恒                                              | HUA Xiu-Heng Kevin  | xhua + riec.tohoku.ac.jp                     | 
-| 学士課程  | 齋藤 佑貴                                            | SAITO Yuki       | yuki1226 + riec.tohoku.ac.jp         | +| :::       | 佐藤 龍之介                                          | SATO Ryunosuke      | sato.ryunosuke.q4 + dc.tohoku.ac.jp          | 
-| :::   | 橋場 慧志                                            | HASHIBA Keishi   | hashibak + riec.tohoku.ac.jp         | +| COLABS    | Marie Marken                                         | Marie Marken        | marken.marie.magdalena.q6 + dc.tohoku.ac.jp  | 
 +| 学士課程  | 小野寺 宏介                                          | ONODERA Kosuke      | onodera.kosuke.s5 + dc.tohoku.ac.jp          | 
 +| :::       | 中居 瑞希                                            | Nakai Mizuki        | nakai.mizuki.q8 + dc.tohoku.ac.jp            | 
 +| :::       | 長田 和樹                                            | Nagata Kazuki       | nagata.kazuki.s1 + dc.tohoku.ac.jp           |
  
 OB： OB：
 +  * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS）
   * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士）   * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士）
   * 2022年：佐藤 光（修士）   * 2022年：佐藤 光（修士）
-  * 2021年：今津 徹大（修士）+  * 2021年：今津 徹大（修士），Altermatt Jean-Marc Bastien（JYPE）
   * 2020年：西山 舜（修士），眞田 耕太（学士）   * 2020年：西山 舜（修士），眞田 耕太（学士）
   * 2019年：阿部 和敬（修士），小澤 祐也（修士），高橋 祐多（修士）   * 2019年：阿部 和敬（修士），小澤 祐也（修士），高橋 祐多（修士）
  • ja/start.1681179552.txt.gz
  • 最終更新: 2023/04/11 11:19
  • by asada