ja:start

差分

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

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
ja:start [2026/05/22 17:11] – [メンバー] asadaja:start [2026/10/26 13:44] (現在) – asada
行 77: 行 77:
  
 ===== 出版論文 ===== ===== 出版論文 =====
-^ 論文DL                                                  ^ 出版年  ^ 論文タイトル                                                                           ^ 著者名                                                                                                                  ^ 雑誌・会議名                                                                                                                    ^+^ 論文DL                                                  ^ 出版年  ^ 論文タイトル                                                                           ^ 著者名                                                                                                                  ^ 書籍・雑誌・会議名                                                                                                                    ^ 
 +| [[https://doi.org/10.1145/3828710|doi]]    | 2026    | Unscanning by Möbius Inversion | Keisuke Nakano | [[https://icfp26.sigplan.org/|31st ACM SIGPLAN International Conference on Functional Programming (ICFP 2026)]] | 
 +| [[https://doi.org/10.1007/978-3-032-30839-9_13|doi]]    | 2026    | PisoLang: a User-Friendly Reversible Programming Language with Inductive Types | Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, and Kentaro Kikuchi | [[https://reversible-computation.github.io/2026/|19th Conference on Reversible Computation (RC 2026)]] | 
 +| [[https://doi.org/10.1007/978-981-97-6429-7_3|doi]]    | 2025    | Lens Laws Zoo | Keisuke Nakano | [[https://doi.org/10.1007/978-981-97-6429-7|Bidirectional Collaborative Data Management]] | 
 +| [[https://doi.org/10.1145/3704253.3706139|doi]]    | 2025    | Characterizations of Partial Well-Behaved Lenses | Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, and Kentaro Kikuchi | [[https://popl25.sigplan.org/home/pepm-2025|ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2025)]] |
 | [[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.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.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)]] |
行 107: 行 111:
 | 博士課程  | 伊藤 耀                                              |                                      | | 博士課程  | 伊藤 耀                                              |                                      |
 | :::       | 中村 卓武                                            |                                      | | :::       | 中村 卓武                                            |                                      |
-| 修士課程  | 佐藤 龍之介                                          |                                      | +| 修士課程  | 小野寺 宏介                                          |                                      |
-| :::       | 小野寺 宏介                                          |                                      |+
 | :::       | 長田 和樹                                            |                                      | | :::       | 長田 和樹                                            |                                      |
 | :::       | 高杉 丈太郎                                          |                                      | | :::       | 高杉 丈太郎                                          |                                      |
行 114: 行 117:
 | 学士課程  | 神谷 修                                              |                                      | | 学士課程  | 神谷 修                                              |                                      |
 | :::       | 佐々木 隆乃介                                        |                                      | | :::       | 佐々木 隆乃介                                        |                                      |
 +
 +
  
  
  
 OB： OB：
-  * 2026年：齋藤 佑貴（修士），許 兆恒（修士）+  * 2026年：齋藤 佑貴（修士），許 兆恒（修士），佐藤 龍之介（修士）
   * 2025年：野木 知優（修士），中居 瑞希（学士），Marie Marken（COLABS），Kevin Gustavo Flores (JYPE)   * 2025年：野木 知優（修士），中居 瑞希（学士），Marie Marken（COLABS），Kevin Gustavo Flores (JYPE)
   * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS）   * 2024年：上西 真由（修士），菅野 直孝（修士），橋場 慧志（学士），Julia Plotnikova（COLABS）
  • ja/start.1779437490.txt.gz
  • 最終更新: 2026/05/22 17:11
  • by asada