青戸研究室 / 過去のニュース

過去のニュース

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以下同)，加賀谷有輝，白石智輝，山口諒，東和田直輝が修士論文発表会にて発表しました．
2019.11.24: 口頭発表のページを追加．
2019.11.17: 木村優太(2019前期課程修了)，青戸等人による論文が「コンピュータソフトウェア」誌に採録になりました．
2019.9.27: 青戸等人，石塚守(M2)が第51回TRSミーティングにて研究発表を行いました．
2019.9.6: 青戸等人が国際会議FroCoS 2019にて研究発表を行いました．
2019.6.20: 菊池健太郎，青戸等人，篠埜功による論文が国際会議PPDP 2019に採録になりました．
2019.6.14: 青戸等人，外山芳人による論文が国際会議FroCoS 2019に採録になりました．
2019.6.7: 加賀谷有輝(M2以下同),白石智輝,東和田直輝が第124回プログラミング研究会で研究発表を行いました．
2019.4.14: 卒業論文・修士論文を更新しました．
2019.4.14: メンバーリストを更新しました．
2019.3.8: 加藤裕人(M2)，山口諒(M1)，山口真央生(B4)がPPL 2019で研究発表を行いました．
2019.3.1: 青戸等人，西野浩平(B4)が第50回TRSミーティングにて研究発表を行いました．
2019.2.25: 山口真央生(B4)と青戸等人によるポスター発表がPPL 2019カテゴリ3に採録になりました．
2019.2.14: 笹川葵生(B4以下同)，佐藤悠稀，清水秀人，西野浩平，山口真央生が卒業研究発表会にて発表しました．
2019.2.7: 加藤裕人(M2以下同)，木村優太，栗田泰智，萩原崇央，新山広夢が修士論文発表会にて発表しました．
2019.2.4: 加藤裕人(M2)と青戸等人による論文，山口諒(M1)と青戸等人による論文がPPL 2019カテゴリ1に採録になりました．
2018.11.9: 更新が滞っていましたが，ゼミの記録を更新しました．
2018.10.23:更新が滞っていましたが，一部，更新しました．
2018.9.27: 青戸等人，加藤裕人(M2)，木村優太(M2)，栗田泰智(M2)，新山広夢(M2)が第49回TRSミーティングにて研究発表を行いました．
2018.8.13: 栗田泰智，青戸等人による論文が「コンピュータソフトウェア」誌に採録になりました．
2018.8.31: 石塚守(M1)，山口諒(M1)が日本ソフトウェア科学会第35回大会にて研究発表を行いました．
2018.4.10: メンバーを更新
2018.4.10: 卒論リストを更新
2018.3.6: 栗田泰智(M1)がPPL 2018にて研究発表を行いました．
2018.2.26: 青戸等人，加藤裕人(M1)が第48回TRSミーティングにて研究発表を行いました．
2018.2.16: 石塚守(B4以下同)，泉田浩輔，加賀谷有輝，白石智輝，山口諒，瀬木一迅の6名が卒業研究発表会にて発表しました．
2018.2.2: 栗田泰智，青戸等人による論文がPPL 2018カテゴリ1に採録になりました．
2017.10.3: ゼミの記録のページを追加
2017.10.2: 発表論文のページを追加
2017.9.20: 加藤裕人(M1)，萩原崇央(M1)が日本ソフトウェア科学会第34回大会にて研究発表を行いました．
2017.5.10: メンバーを更新
2017.3.31: 卒業論文を追加
2016.4.12: メンバーを追加
2015.11.2: 英語版ウェブページ開設
2015.10.13: ウェブページ開設