佐藤研究室

電気通信大学 大学院情報理工学研究科 情報・ネットワーク工学専攻コンピュータサイエンスプログラムの佐藤重幸が主宰する研究室．

別名，PLSP-Lab (Programming Languages and Systematic Programming Laboratory)．

物理的な所在地は，西2-509です．

研究内容

本研究室では，

• プログラミング言語の設計・実装・応用
  • 設計には理論的な道具立てが伴う
• システマティックプログラミング
  • 「システマティック」—系統的・システムに基づく

に関することを幅広く研究しています． 近年の各論は，

• 佐藤の出版論文
• 指導学生の受賞に係る発表

の各タイトルに示されています． 現在進行中のプロジェクトは，

• MN-Core向け最適化コンパイラ
• Processing-in-Memory向けのデータ並列言語
• EDSL開発支援
• ノートブックプログラミング支援

などです．

所属学生

課程	名前	Name	所属始期
卒研生（I類・CS）	米林 滝之丞	YONEBAYASHI Takinosuke	2024-04
卒研生（K課程）	中村 元昭	NAKAMURA Motoharu	2024-04
卒研生（I類・CS）	天野 幸哉	AMANO Yukiya	2024-04

配属・加入

• 卒研配属希望者は，こちらを参照．
• 進学希望者（学内・学外を問わず）は，佐藤に直接連絡を取ってください．
• 原則，研究生は受け入れません．

研究室運営

• 小宮研究室と合同で研究室輪講を行っています．
  • 小宮研に配属されても，（好むと好まざるとに関わらず）佐藤に遭遇します．
• 学生間の活発な交流を強く推奨しています．
  • 合同輪講の主な目的は，小宮研周辺の学生との交流です．
• Zulipによるオンラインコミュニケーション．
  • 内向きにはメールを使いません．
• GitHubによるデータ管理と共同作業．
  • 完全にクラウド化しています．

Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.