ja:start

差分

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

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
ja:start [2025/06/05 13:59] – [テーブル] asadaja:start [2025/10/10 18:41] (現在) – [メンバー] 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回機械学習工学研究会]]で登壇発表し，**学生優秀発表賞を受賞**しました．+  * 2025年3月 **中村卓武**さんが国内研究集会[[https://hisashi-aratake.gitlab.io/event/cscat2025|CSCAT 2025]]で登壇発表しました． 
 +  * 2025年3月 **伊藤耀**さん，**齋藤佑貴**さん，**HUA XIU-HENG KEVIN**さん，**長田和樹**さん，**小野寺宏介**さん，**佐藤龍之介**さん，**野木知優**さんが国内研究集会[[https://jssst-ppl.org/workshop/2025/|PPL 2025]]でポスター発表しました． 
 +  * 2024年09月 **伊藤耀**さん，**中村卓武**さんが国内研究集会[[https://jssst2024.wordpress.com/|JSSST 2024]]で登壇発表しました． 
 +  * 2024年08月 **伊藤耀**さん，**中村卓武**さんが国内研究集会[[https://sites.google.com/view/slacs-2024|SLACS 2024]]で登壇発表しました． 
 +  * 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]]でポスター発表しました．
行 74: 行 78:
 ===== 出版論文 ===== ===== 出版論文 =====
 ^ 論文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)]]                                                           |
行 95: 行 101:
 ===== メンバー ===== ===== メンバー =====
  
-^ 役職      ^ 名前                                                 ^ 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  |                                      | +| 学士課程  | 高杉 丈太郎                                          |                                      | 
-| 学士課程  | 高杉 丈太郎                                          | Takasugi Jotaro       |                                      | +| :::       | 山田 龍之介                                          |                                      |
-| :::       | 山田 龍之介                                          | Yamada Ryunosuke      |                                      | +
  
  
  
 OB： OB：
-  * 2025年：野木 知優（修士），中居 瑞希（学士），Marie Marken（COLABS）+  * 2025年：野木 知優（修士），中居 瑞希（学士），Marie Marken（COLABS），Kevin Gustavo Flores (JYPE)
   * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS）   * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS）
   * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士）   * 2023年：芳賀 勇太（修士），宮坂 優介（修士），石鉢 健太（学士）
行 124: 行 128:
   * [[https://www.tohoku.ac.jp/|東北大学]]   * [[https://www.tohoku.ac.jp/|東北大学]]
   * [[http://www.riec.tohoku.ac.jp/|東北大学 電気通信研究所]]   * [[http://www.riec.tohoku.ac.jp/|東北大学 電気通信研究所]]
 +  * [[https://www.riec.tohoku.ac.jp/ja/organization/section1/computing/|当研究所HPでの当研究室のページ]]
   * [[https://ipl.cs.uec.ac.jp/|電気通信大学 岩崎研究室]]   * [[https://ipl.cs.uec.ac.jp/|電気通信大学 岩崎研究室]]
   * [[http://research.nii.ac.jp/~hu/|国立情報学研究所 胡研究室]]   * [[http://research.nii.ac.jp/~hu/|国立情報学研究所 胡研究室]]
  • ja/start.1749099554.txt.gz
  • 最終更新: 2025/06/05 13:59
  • by asada