口コミサイト LabLog の
叢悠悠研究室
プログラムを正しく、書きやすくする言語の研究室。

About研究室について
プログラムを正しく、書きやすく
叢研究室は、
プログラムの
なかでも、
博士論文では、
用語の説明
- 依存型
- 値の
中身に 応じて 変わる型。 プログラムが 満た すべき条件を 型と して 書き表せる - 継続
- プログラムの
ある 時点から 先に 行う 計算の まとまり。 処理の 流れを 部品のように 扱う 考え方 - 関数型
プログラミング - 計算を
関数の 組み合わせと して 書いていく プログラミングの やり方
Research研究テーマ
プログラミング言語を
※イメージ画像「継続」をだれにでも使える形に
プログラムの
※イメージ画像プログラミングの学びを支える
プログラムの
※イメージ画像型でプログラムの正しさを守る
プログラムの
Members教員
- 助教叢 悠悠研究業績 ↗
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related叢悠悠研究室に近い研究室
この
画像について
トップと
- トップの
画像:「Lambda calculus-Church numerals」 Isaac David/パブリックドメイン (トリミング) - 「継続」を
だれに でも 使える 形に :「Player Piano played an algorithmic installation, Computing Music Festival, Cologne」 Charles Hutchins/CC BY 2.0(トリミング) - プログラミングの
学びを 支える :「COMPUTER LAB IMUV」 RitwickSingh/CC BY-SA 4.0(トリミング) - 型で
プログラムの 正しさを 守る :「John Canny lecturing on whiteboard」 Derrick Coetzee (User:Dcoetzee)/CC0(トリミング) - 関連する
研究室 (南出靖彦研究室) :「CSS code on a screen (Unsplash)」 Sai Kiran Anagani _imkiran/CC0(トリミング) - 関連する
研究室 (増原英彦研究室) :「FortranCodingForm.agr」 Arnold Reinhold/CC BY 2.5(トリミング) - 関連する
研究室 (中野張研究室) :「Brownian surface」 Prokofiev/CC BY-SA 3.0(トリミング) - 関連する
研究室 (安永憲司研究室) :「ENIGMA Wired Rotor - National Cryptologic Museum - DSC07768」 Daderot/CC0(トリミング)
LabLog について
LabLog
この



