東北大学 情報科学研究科の研究室

先輩の声 0件

プログラミング言語の理論と計算モデルを研究する研究室。

ソフトウェア基礎科学研究室は、プログラミング言語理論、計算モデル、情報セキュリティを研究分野としています。東北大学の情報科学研究科と、工学部 電気情報物理工学科に属する研究室です。研究室のサイトでは「住井・松田研究室」の名前で紹介されています。

#プログラミング言語理論 #計算モデル #情報セキュリティ

先輩の声 0件

次世代ネットワークや無線通信を研究する研究室。

ワイヤレスネットワーク学研究室は、情報基礎科学専攻のソフトウェア科学講座に置かれた、太田 香教授の研究室です。研究科の研究室一覧では、次世代ネットワークと無線通信が、この研究室のキーワードの先頭に挙げられています。太田教授は、2025年10月に東北大学大学院情報科学研究科の教授に着任しています。

#次世代ネットワーク #無線通信 #エッジコンピューティング

先輩の声 0件

人と計算機の隔たりを埋めるプログラミング理論の研究室。

情報論理学研究室は、プログラミングにおける人間と計算機の隔たりを埋めることを目指して研究しています。人間に合わせた書き方では計算機に負担がかかり、計算機に合わせた書き方では人間に負担がかかります。そこで、人向けの記述から計算機向けの記述を導くプログラム変換と、意図に沿うかを保証するプログラム検証に取り組んでいます。形式木言語理論を中心に、定理証明支援系を使った研究も進めています。

#プログラミング言語理論 #形式言語理論 #定理証明

先輩の声 0件

次世代のスパコンを創り、使いこなす技術を研究する研究室。

高性能計算論研究室は、次世代のスーパーコンピューティング技術の創出を目指し、スーパーコンピュータ（スパコン）の性能を最大限に活用する基盤ソフトウェア技術などを研究しています。最近は、熟練のプログラマが職人的に行ってきたプログラミング作業を機械学習で自動化する研究や、リアルタイムの観測データと連動して臨機応変にスパコンを使う研究に取り組んでいます。ベクトルプロセッサや量子コンピュータ、アプリケーションに合わせて再構成できるハードウェアを、スーパーコンピューティングで有効に使うための研究も行っています。研究室のサイトでは「滝沢研究室」の名前で紹介されています。

#高性能計算 #システムソフトウェア #機械学習

先輩の声 0件

AIやブロックチェーン、暗号で情報の安全を守る研究室。

情報セキュリティ論研究室は、マルチメディアセキュリティと、それに関連する理論と応用を研究しています。AI技術がもたらすフェイク情報への防御手段や、ブロックチェーンを使った個人情報の保護・活用に取り組んでいます。暗号の安全性を支える基礎問題の複雑さや、AIによる医用画像の診断支援の信頼性と安全性も研究しています。情報科学研究科 情報基礎科学専攻の情報セキュリティ論講座として活動しています。

#ブロックチェーン #暗号系の安全性 #AI医用画像診断支援

先輩の声 0件

複雑な現象のデータを価値ある情報として読み解く研究室。

データ基礎情報学研究室は、複雑で多様な自然現象や社会現象、人間の活動から集めたデータを、価値のある情報として読み解き、意味づけて活用するための枠組みとその応用を研究しています。特に、一過的で定型処理が難しい事例を中心に扱っています。教員は、IT教育やeラーニングでの学習分析、学習履歴の可視化、統計的なデータ分析手法の開発にそれぞれ取り組んでいます。

#学習分析 #行動分析 #統計科学

先輩の声 0件

先進的計算システム論 [理化学研究所]（紹介文を準備中）

HPC, AI, 量子計算, およびそれらを統合する先進的計算システムを探求｜研究キーワード：計算システム、HPC（高性能計算）、AI for Science、量子計算機、アーキテクチャ、システムソフトウェア

先輩の声 0件

FPGAなどの再構成可能なLSIでAIを速く動かす計算機を作る研究室。

再構成可能システム学研究室は、未踏スケールデータアナリティクスセンターで、新しい再構成可能なLSIをベースにした計算機システムを研究開発しています。特にFPGA（Field Programmable Gate Array）に関するAIの実装方法、応用方法、高性能計算を研究しています。多数の企業との共同研究プロジェクトがあり、最新のFPGAを使った開発が体験できます。研究成果は論文で発表するだけでなく、東北大学発ベンチャーを通じたビジネスでの活用にも取り組んでいます。

#再構成可能システム #FPGA #深層学習

先輩の声 0件

グラフと最適化で大規模データを速く解くアルゴリズムの研究室。

大規模データ数理最適化研究室は、グラフ理論と数理最適化を軸に、大規模で複雑なデータを扱うアルゴリズムを研究しています。実社会の大規模なデータでも現実的な時間で動くように、高速なアルゴリズムを設計し、その計算量を理論的に解析しています。設計したアルゴリズムは、実装して検証もしています。研究室は2026年4月に発足した新しい研究室です。

#グラフアルゴリズム #組合せ最適化 #組合せ遷移

先輩の声 0件

高性能計算と光量子技術を融合した計算基盤を研究する講座。

高性能光量子計算基盤（NTTR）共同研究講座は、高性能計算（HPC）の技術と光量子の技術を融合した、次世代の計算基盤の研究を進めています。情報科学研究科 情報基礎科学専攻に置かれた共同研究講座です。研究室のサイトは、旧アーキテクチャ学研究室が新しい体制に移行したことを伝え、この講座を含む新しい研究室のページへ案内する入口になっています。

#光量子計算 #組合せ最適化 #量子・古典融合計算