佐藤研究室

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

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

物理的な所在地は，西2号館5階509室．

研究内容

本研究室では，

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

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

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

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

• MN-Core向け最適化コンパイラ（＋形式検証）
• データ並列DSLないしライブラリ
• DSLコンパイラの開発支援
• ノートブックプログラミング支援

などです．

所属学生

課程	名前	Name	所属始期
卒研生（I類・CS）	渥美 薫	ATUMI Kaori	2026-04
卒研生（I類・CS）	伊藤 大河	ITO Taiga	2026-04
卒研生（I類・MI）	笠本 楓	KASAMOTO Kaede	2026-04
卒研生（I類・CS）	塩入 君道	SHIOIRI Kimimichi	2026-04

卒業者

配属・加入

• 卒研配属希望者は，こちらを参照．
• 研究室訪問は，応相談．
• 進学希望者（学内・学外を問わず）は，佐藤に直接連絡を取ってください．
• 研究生（外国人留学生）は，原則として入試合格者に限定．

研究室運営

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

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