佐藤研究室

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

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

所属学生

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

配属・加入

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

研究室運営

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

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

研究指導

前提と哲学

• 卒業研究は研究の練習（practice）である．
• 卒業研究の最優先事項は，研究成果ではない．
• 重要なのは，《形式》と《手続き》である．
• 分別（sense）を身につけて，意味を成せる（make sense）ことが目的．

研究指導とテーマ設定の方針

• 原則として事例研究．
• 追試が第一．
• 地道な（≒やればできる）仕事を推奨．
• 画期的な（novel）アイデアは求めない．
• 技術的問題を特定ないし解析できれば，卒業研究として充分．