[Japanese/English]
Programming Logic Group
プログラム論理研究室
ニュース What's New
- [2012/2/1]
関数型プログラミング言語を含む幅広い研究で国際的に活躍している Chung-chieh Shan さんが研究員として,研究室メンバに加わりました.
6月中頃まで滞在される予定です.
- [2011/12/27] 研究室OBの Jefferson O. Andrade君(現在 Brazil在住)と亀山の共著論文が電子情報通信学会の英文論文誌「フォーマルアプローチ特集」に採択されました.
- [2011/12/14]
M2 の金鎭慶君が日本ソフトウェア科学会 ディペンダブルシステムワークショップ&シンポジウム(京都)で研究発表しました。
- [2011/11/2]
M2 の西山達也君が情報処理学会プログラミング研究会(横浜)で研究発表しました。
- [2011/09/24]
ACM Continuation Workshop を開催しました。また、"Visualizing
Continuations"という表題で、M2の高島君、西山君、亀山の共著の発表を行いました。
- [2011/07/29]
D2 の田中麻峰君がSWoPP(鹿児島)で研究発表しました。
- [2011/06/14]
M2 の高島尚希君が情報処理学会プログラミング研究会(函館)で研究発表しました。
- [2011/04/07]
研究室のメンバに、
M1 の松長知昭君と B4 の清水春樹君が加わりました。
- [2011/03/25]
小鍛治雄一郎君、高橋宏文君、
Cynthia Kustanto さんの3人が修士を修了しました。
- [2011/03/25]
小鍛冶雄一郎君と高島尚希君が、コンピュータサイエンス
専攻長による学生表彰の対象となり、表彰を受けました。
- [2011/03/11]
M2 の小鍛冶雄一郎君が PPL2011 で研究発表しました。
- [2011/03/09]
M1 の高島尚希君が PPL2011 でポスター発表しました。
- [2010/10/09]
D1 の田中麻峰君が ICT国際交流ワークショップで英語による研究発表を
行いました。
- [2010/09/15]
M2 の小鍛治雄一郎君が、日本ソフトウェア科学会第27回大会で
「コントロールオペレータを持つマルチステージ言語の型推論」という
題目で発表を行ない、
学生奨励賞 を受賞しました。
(筑波大学ウェブページにおける
記事)
- [2010/05/03]
M2 のCynthia Kustanto さんと亀山の共著論文が
情報処理学会論文誌:プログラミングに採録決定しました。
- [2010/04/06]
研究室メンバーのページを
2010年度版に更新しました。
- [2010/03/25]
M2 の杉浦啓介君と亀山の共著論文が日本ソフトウェア科学会誌「コンピュータソフト
ウェア」に採録決定しました。
- [2010/03/16]
M1のKustantoさんが情報処理学会プログラミング研究会(電気通信大学)にて研究発表しました。
- [2010/03/08]
M2の田中麻峰君が電子情報通信学会ソフトウェアサイエンス研究会(鹿児島大学)にて研究発表しました。
- [2010/03/05-07]
B4の高島尚希君が日本ソフトウェア科学会 PPL2010ワークショップ(香川・琴平)にて、ポスタ発表しました。
- [2009/12/06]
2009年度版の卒研配属用のポスターを掲載しました。
- [2009/11/29]
卒業研究配属のための研究室説明会の日程が
2009/12/10 と 2010/01/12 と決まりました。
いずれも 15:15 から総合研究棟B-1027号室で行います。
- [2009/04/01]
研究室メンバーのページを
2009年度版に更新しました。
- [2008/12/12]
卒研配属用のポスターを掲載しました。
- [2008/11/21]
卒業研究配属のための研究室説明会の日程
が 2008/12/10 と 2009/01/07 と決まりました。
16:00 から総合研究棟B-1027号室で行います。
3年生の皆さんは奮って御参加ください。
- [2008/11/17-19] 筑波大学で開催された
システム検証の科学技術シンポジウム
の運営を行いました。
- [2008/10/21] Jefferson O. Andrade君が、ソウルで開催された
ATVA'08 国際会議で研究発表を行いました。
- [2008/05/20] 研究室のホームページをリニューアルしました。
- [2008/04/13] 東京・秋葉原で
Continuation Fest (継続フェスタ)を開催しました。
このページの管理者: www のあとに logic.cs.tsukuba.ac.jp