大堀・上野研メンバー及び共同研究者
スタッフ
職
名前
研究活動など
教授
大堀 淳
プログラミング言語,データベース
准教授
上野 雄大
関数型言語,ソフトウェア設計・実装
助教
菊池 健太郎
ソフトウェア基礎,プログラム理論,数理論理学
秘書
寒河江 香子
学生
学年
名前
研究活動など
M2
佐々木 雄哉
M2
橋本 航汰
M1
魚谷 孝太
M1
大塚 祐貴
M1
高城 光平
B4
早下 雅弘
B4
山崎 岳
Last modified:2018/11/21 15:35:40
Keyword(s):
References:[
東北大学電気通信研究所 大堀・上野研究室
] [
研究
] [
大堀・上野研の研究内容
]
サイトメニュー
トップページ
講義関連資料
大堀・上野研での学生教育
大堀・上野研スタッフによる教科書
大堀・上野研の研究内容
SML#の開発
学生の研究紹介
大堀・上野研メンバー及び共同研究者
主要な発表論文
学生の研究発表・学位論文
学部生向け情報
リンク
Members Only
Keyword(s):
References:[東北大学電気通信研究所 大堀・上野研究室] [研究] [大堀・上野研の研究内容]