青戸研究室

ニュース

2023.2.15:伊井亮祐(B4以下同)，小口太志，嶋貫凌，高畑幹汰，長岡拓弥，中村翔平，本間一穂が卒業研究発表会にて発表しました．
2023.2.3:趙順(M2以下同)，冨田也斗，長橋謙，望月美希，渡邉廉が修士論文発表会にて発表しました．
2022.1.30:趙順(M2)，青戸等人による論文がPPL 2023カテゴリ1に採録になりました．
2023.1.13: 長橋謙(M2)が第142回プログラミング研究会にて研究発表を行いました．
2022.11.15: 第58回TRSミーティングのページを開設しました．
2022.10.27: 冨田也斗(M2以下同)，渡邉廉が第141回プログラミング研究会にて研究発表を行いました．
2022.9.27: 青戸等人が第56回TRSミーティングにて研究発表を行いました．
2022.9.2: 趙順(M2以下同)，望月美希が日本ソフトウェア科学会第39回大会にて研究発表を行いました．
2022.5.13: ゼミの記録，発表論文，メンバーリストのページを更新しました．
2022.3.3: 卒業論文・修士論文を更新しました．
2022.2.23: 青戸等人が第56回TRSミーティングにて研究発表を行いました．
2022.2.14: 井出政宏(B4以下同)，笠鳥謙太，齋藤寛務，櫻井爽一，渋谷聡志，東幸輝が卒業研究発表会にて発表しました．
2022.2.4: 大野峻(M2以下同)，芳賀雅樹，芳賀亮太，南山駿人が修士論文発表会にて発表しました．
2022.1.31:大野峻(M2)，青戸等人による論文，芳賀雅樹(M2)，青戸等人による論文，芳賀亮太(M2)，青戸等人による論文，南山駿人(M2)，青戸等人による論文がPPL 2022カテゴリ1に採録になりました．
2022.1.26:ゼミの記録のページを更新しました．
2021:本研究室卒業生の佐藤悠稀さん(2020年度博士前期課程修了)が第131回プログラミング研究会において行なった研究発表「フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性」について，2021年度（令和3年度）山下記念研究賞を受賞しました．おめでとうございます．
2021.11.1,2:大野峻(M2以下同)，芳賀雅樹，南山駿人が第136回プログラミング研究会にて研究発表を行いました．
2021.9.29: 青戸等人が第55回TRSミーティングにて研究発表を行いました．
2021.9.21: 菊池健太郎(東北大学)，青戸等人による論文が国際会議FSTTCS 2021に採録になりました．
2021.9.3: 芳賀亮太(M2)が日本ソフトウェア科学会第38回大会にて研究発表を行いました．
2021.6.21: 白石智輝(2020年前期課程修了)，菊池健太郎(東北大学)，青戸等人による論文が国際会議ICTAC 2021に採録になりました
2021.5.25: ゼミの記録，発表論文のページを更新しました．
2021.5.10: 卒業論文・修士論文を更新しました．
2021.5.10: メンバーリストを更新しました．
2021.3.12:趙順(B4以下同)，冨田也斗，長橋謙，深谷智輝，望月美希，渡邉廉が卒業研究発表会にて発表しました．
2021.2.5:笹川葵生(M2以下同)，佐藤悠稀，西野浩平，宮前海里，波多野聖也が修士論文発表会にて発表しました．
2020.12.7: 佐藤悠稀(M2)，青戸等人による論文と宮前海里(M2)，青戸等人による論文が「情報処理学会論文誌プログラミング」に採録になりました．
2020.11.23: 石塚守(2020年前期課程修了)，青戸等人，岩見宗弘(島根大学)による論文が国際会議LATA 2021に採録になりました．
2020.11.17: 菊池健太郎(東北大学)，青戸等人による論文が国際会議LOPSTR 2020に採録になりました．
2020.10.28,29: 宮前海里(M2以下同)，笹川葵生，佐藤悠稀が第131回プログラミング研究会にて研究発表を行いました．
2020.9.25: 青戸等人，笹川葵生(M2)が第53回TRSミーティングにて研究発表を行いました．
2020.9.9: 宮前海里(M2)がソフトウェア科学会大会でポスター発表を行いました．
2020.8.3: 第53回TRSミーティングのウェブページを作成しました．
2020.7.19: 菊池健太郎，青戸等人による論文が国際会議LOPSTR 2020に口頭発表受理になりました．
2020.4.27: 卒業論文・修士論文を更新しました．
2020.4.27: メンバーリストを更新しました．
2020.4.14: 山口真央生(2019年学部卒)，青戸等人による論文が国際会議FSCD 2020に採録になりました．
2020.2.22: 青戸等人，佐藤悠稀(M1)，西野浩平(M1)が第52回TRSミーティングにて研究発表を行いました．
2020.2.6: 佐藤悠稀(M1)と青戸等人によるポスター発表，宮前海里(M1)と青戸等人によるポスター発表がPPL 2019カテゴリ3に採録になりました．
2020.1.31: 石塚守(M2)，青戸等人，岩見宗弘(島根大学)による論文，加賀谷有輝(M2)，青戸等人による論文，白石智輝(M2)，青戸等人，菊池健太郎(東北大学)による論文がPPL 2020カテゴリ1に採録になりました．
2020.2.13:大野峻(B4以下同)，岡本巧矢，風間才蔵，小池伸之輔，芳賀雅樹，芳賀亮太，南山駿人が卒業研究発表会にて発表しました．
2020.2.6: 石塚守(M2以下同)，加賀谷有輝，白石智輝，山口諒，東和田直輝が修士論文発表会にて発表しました．

過去のニュース

リンク

TRS Meeting homepage (by Nao Hirokawa)
rewriting メーリングリスト (by Masahiko Sakai)
Rewriting Home Page (by Nachum Dershowitz & Laurent Vigneron)
Researchers in Rewriting (by Aart Middeldorp)
在りし日の外山研究室