ニュース
- 2023.10.31: 櫻井爽一(M2以下同),笠鳥謙太が第146回プログラミング研究会にて研究発表を行いました.
- 2023.9.27: 青戸等人が第59回TRSミーティングにて研究発表を行いました.
- 2023.9.19: 青戸等人が国際会議FroCoS 2023にて研究発表を行いました.
- 2023.9.12: 井出政宏(M2以下同),東幸輝が日本ソフトウェア科学会第39回大会にて研究発表(ポスター発表)を行いました.
- 2023.8.24: 本研究室で開発している合流性検証システムACPが合流性競技会のCOM,UNC,UNRカテゴリで1位となりました.また,AGCPがGCRカテゴリで1位となりました.
- 2023.8.23: 青戸等人がIWC 2023にて研究発表を行いました.
- 2023.7.20: 芳賀亮太,加賀谷有輝,青戸等人による論文が国際会議FroCoS 2023に採録になりました.
- 2023.5.9: メンバー,発表論文,口頭発表,卒業論文・修士論文,ゼミの記録のページを更新しました.
- 2023.3.8: 趙順(M2)が第25回プログラミングおよびプログラミング言語ワークショップにて研究発表を行いました.
- 2023.3.6,7:高畑幹汰(B4以下同),嶋貫凌,中村翔平が第25回プログラミングおよびプログラミング言語ワークショップにて研究発表(ポスター発表)を行いました.
- 2023.2.22: 青戸等人,趙順(M2)が第58回TRSミーティングにて研究発表を行いました.
- 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),青戸等人による論文が「情報処理学会論文誌 プログラミング」に採録になりました.
リンク
- TRS Meeting homepage (by Nao Hirokawa)
- rewriting メーリングリスト (by Masahiko Sakai)
- Rewriting Home Page (by Nachum Dershowitz & Laurent Vigneron)
- Researchers in Rewriting (by Aart Middeldorp)
- 在りし日の外山研究室