口コミサイト LabLog の
ソフトウェア基礎科学
プログラミング言語の理論と計算モデルを研究する研究室。

About研究室について
プログラミング言語を、理論から探る。
ソフトウェア基礎科学研究室は、
東北大学の
研究室の
用語の説明
- プログラミング言語理論
- プログラムを
書く ための 言語の 仕組みや 性質を、 数学的に 調べる 分野 - 計算モデル
- 計算の
手順や 能力を、 数学的に 表した 枠組み - 情報セキュリティ
- 情報を
盗み 見や 書き換えなどから 守る ための 技術や 考え方
News研究室のお知らせ
View More ↗Research研究テーマ
この
Members教員
ソフトウェア基礎科学研究室の
- 教授住井 英二郎
- 准教授松田 一孝
- 助教西田 雄気
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Relatedソフトウェア基礎科学に近い研究室
情報論理学情報科学研究科 情報基礎科学専攻ヒトと
情報セキュリティ論情報科学研究科 情報基礎科学専攻情報セキュリティの
高性能計算論情報科学研究科 情報基礎科学専攻将来の
情報基礎数理学 IV情報科学研究科 情報基礎科学専攻精度保証付き数値計算 理工学にこの
画像について
トップと
- トップの
画像:「Tidal Code Screenshot」 Kindohm/CC BY-SA 4.0(トリミング) - 関連する
研究室 (情報論理学) :「Informatics General programmer at terminal」 Jonathan Schilling/CC BY-SA 4.0(トリミング) - 関連する
研究室 (情報セキュリティ論) :「Data Security Breach ( )」 Blogtrepreneur/CC BY 2.0(トリミング) - 関連する
研究室 (高性能計算論) :「Pleiades supercomputer racks 4」 Oleg Alexandrov/CC BY-SA 4.0(トリミング) - 関連する
研究室 (情報基礎数理学 IV) :「Blackboard bold on a blackboard」 Jacob Rus/CC BY-SA 4.0(トリミング)
LabLog について
LabLog
この