口コミサイト LabLog の
佐藤 重幸 研究室
プログラミング言語の設計・実装から応用までを研究する研究室。

About研究室について
プログラミング言語を、理論とともに設計する。
佐藤研究室は、
言語の
現在は、
研究室の
用語の説明
- コンパイラ
- 人が
書いた プログラムを、 コンピュータが 実行できる 形に 変換する ソフトウェア - DSL
- 特定の
用途に 向けて 作られた プログラミング言語。 ドメイン特化 言語とも いう - 形式検証
- 数学的な
方法を 使って、 プログラムが 決めた とおりに 動く ことを 確かめる 手法
Research研究テーマ
プログラミング言語の
※イメージ画像プログラミング言語の設計・実装・応用
プログラミング言語の
※イメージ画像システマティックプログラミング
システマティックは、
※イメージ画像コンパイラやDSLなどの進行中の取り組み
MN-Core向けの
Members教員
佐藤研究室の
- 佐藤 重幸
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related佐藤 重幸 研究室に近い研究室
この
画像について
トップと
- トップの
画像:「Programmer writing code with Unit Tests」 Joonspoon/CC BY-SA 4.0(トリミング) - プログラミング言語の
設計・実装・ 応用:「RustCodeOnScreen」 Slashme/CC0(トリミング) - システマティック
プログラミング:「SDLC - Software Development Life Cycle」 Cliffydcw/CC BY-SA 3.0(トリミング) - コンパイラやDSLなどの
進行中の 取り組み:「Silicon chip from a computer laser mouse under a microscope 50х」 Original: Alexander Klepnev Derivative work: IamMM/CC BY-SA 4.0(トリミング) - 関連する
研究室 (小宮 常康 研究室) :「Source code in C」 Romainhk/CC BY-SA 3.0(トリミング) - 関連する
研究室 (戸田 貴久 研究室) :「Zoox Toyota Highlander Test Vehicle - San Francisco, May 2025 08」 9yz/CC BY 4.0(トリミング) - 関連する
研究室 (内海 彰 研究室) :「Latin dictionary」 Dr. Marcus Gossler/CC BY-SA 3.0(トリミング)
LabLog について
LabLog
この


