LAB LOG研究室選びの口コミアプリ無料で登録

口コミサイト LabLog のページ（研究室の公式ページではありません）

東京科学大学 情報理工学院の研究室

62研究室・先輩の声 2件

東京科学大学の学部 ›

• 情報工学系35
• 数理・計算科学系27

梅原雅顕研究室

梅原雅顕

先輩の声 0件

曲線や曲面のかたちを調べる、微分幾何学の研究室。

梅原研究室は、微分幾何学を研究しています。曲線・曲面などビジュアルなものを研究対象としています。いまは時空の極大曲面、3次元ド・ジター時空の平均曲率1の曲面、特異点の等長変形などに取り組んでいます。曲面の臍点の指数にも関心をもち、ライフワークとして研究を続けています。

#微分幾何学 #曲線・曲面 #特異点

保存

---

南出靖彦研究室

南出靖彦

先輩の声 0件

ソフトウェアの正しさを理論で確かめる、ソフトウェア検証の研究室。

南出研究室は、ソフトウェアの信頼性を高めるための理論や技術を研究しています。現在の社会はソフトウェアへの依存度をますます高めており、その信頼性の向上が課題となっています。たとえばウェブに関連したソフトウェアでは、プログラムの小さな誤りがクロスサイトスクリプティングやSQLインジェクションなどの脆弱性の原因となります。特に、形式言語やオートマトンの理論に基づく検証技術の研究に力を入れています。

#ソフトウェア検証 #プログラミング言語 #形式言語理論

保存

---

田中圭介研究室

田中圭介

先輩の声 0件

情報セキュリティを数学の目でとらえる、暗号理論の研究室。

田中研究室は、情報セキュリティに数学的視点からアプローチしています。情報セキュリティとは、情報通信ネットワークの安全を守ることです。具体的には暗号理論、暗号通貨・ブロックチェーン技術、サイバーセキュリティを扱います。暗号は、計算複雑さ理論や情報理論、数論とも密接に関わっています。

#暗号理論 #ブロックチェーン #サイバーセキュリティ

保存

---

増原英彦研究室

増原英彦

先輩の声 0件

プログラミング言語とソフトウェア開発環境をつくる研究室。

増原研究室は、プログラミング言語とソフトウェア開発環境を研究しています。言語と環境の理論・設計・実現方式を追求することで、「プログラミングをもっと楽しく」することが大きな目標です。型システムや制御機構、実行時コンパイル技法、統合開発環境の高度化など、幅広いテーマに取り組んでいます。

#プログラミング言語 #ソフトウェア開発環境 #型システム

保存

---

鹿島亮研究室

鹿島亮

先輩の声 0件

数学のことばで論理そのものを調べる、数理論理学の研究室。

鹿島研究室は、数理論理学を研究しています。なかでも、古典論理とは違う考え方をする非古典論理と、計算を関数の形で表すラムダ計算を対象にしています。論理の体系そのものを数学のことばでとらえ、その性質を調べます。著書に『数理論理学』や『コンピュータサイエンスにおける様相論理』があります。

#数理論理学 #非古典論理 #ラムダ計算

保存

---

山下真研究室

山下真

先輩の声 0件

制約の中から最善の答えを見つけ出す、数理最適化の研究室。

山下研究室は、数理最適化を研究しています。数理最適化は、制約条件を満たす候補の中から、最善のものを見つけ出す数学的手法です。なかでも連続最適化と非線形最適化に力を入れ、より大きな問題を、より高速に、より正確に解くことを目指しています。たくさんの木をどんな割合で組み合わせて樹木園をつくるかという問題を、半正定値計画問題として計算する手法も研究しています。

#数理最適化 #連続最適化 #非線形最適化

保存

---

遠藤敏夫研究室

遠藤敏夫

先輩の声 0件

スパコンの力を引き出すソフトウェアをつくる研究室。

遠藤研究室は、スーパーコンピュータをはじめとする高性能計算システムのための、ソフトウェアやアルゴリズムを研究しています。学内のTSUBAME4.0スパコンなどを使い、近ごろはGPUを用いたディープラーニングの大規模化・高速化にも取り組んでいます。スパコンの設計は、並列度の増大やメモリ階層の複雑化など、年々変わり続けています。それを使いやすくするソフトウェアが求められており、関連の深い研究室や異分野の研究室とも共同で研究を進めています。

#高性能計算 #スーパーコンピュータ #システムソフトウェア

保存

---

孫研究室

孫

先輩の声 0件

画像や映像を圧縮する技術を、回路まで含めてつくる研究室。

孫研究室は、画像処理、ニューラルネットワーク、そして関連するハードウェアの高速化を研究しています。学習アルゴリズムから高効率なハードウェアシステムまで、視覚コンピューティングを幅広くあつかいます。動画像圧縮、生成モデル、FPGA/ASICによる高速化、大規模言語モデルを研究テーマに挙げています。研究のアイデアを、実際に動く高効率なシステムの形にすることを目指しています。

#学習型画像圧縮 #動画像圧縮 #FPGA/ASIC高速化

保存

---

中田研究室

中田

先輩の声 0件

量子と情報を結びつけ、情報処理の限界を理論から探る研究室。

中田研究室は、量子情報科学を理論から研究しています。量子情報科学は、量子という物理の基礎理論と情報の考え方を融合し、情報処理の可能性と限界を根本から探る学問です。量子通信、量子誤り訂正、量子アルゴリズムといった量子情報処理から、情報の観点で物理現象をとらえる基礎研究まで取り組んでいます。「量子を情報の考え方で解き明かし、量子の力で情報技術にブレイクスルーをもたらす」を研究室のモットーに掲げています。

#量子情報 #量子誤り訂正 #量子アルゴリズム

保存

---

柳澤研究室

柳澤

先輩の声 0件

スパコンと量子アニーラで、創薬と生命の問題を解く研究室。

柳澤研究室は、スーパーコンピュータや量子アニーラなど最先端の計算機システムを使って、生命現象の解明や創薬への応用を目指しています。大規模なシミュレーションからアルゴリズムの設計まで、幅広い方策を武器にしています。計算科学の手法による創薬支援、シミュレーションに基づく解析手法の開発、量子アニーリングの創薬研究への応用に取り組んでいます。

#バーチャルスクリーニング #分子動力学シミュレーション #量子アニーリング

保存

---

このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。