LAB LOG研究室選びの口コミアプリアプリを使う
口コミサイト LabLog のページ（研究室の公式ページではありません）
27研究室・先輩の声 2件
梅原雅顕
先輩の声 0件
梅原研究室は、微分幾何学を研究しています。曲線・曲面などビジュアルなものを研究対象としています。いまは時空の極大曲面、3次元ド・ジター時空の平均曲率1の曲面、特異点の等長変形などに取り組んでいます。曲面の臍点の指数にも関心をもち、ライフワークとして研究を続けています。
南出靖彦
先輩の声 0件
南出研究室は、ソフトウェアの信頼性を高めるための理論や技術を研究しています。現在の社会はソフトウェアへの依存度をますます高めており、その信頼性の向上が課題となっています。たとえばウェブに関連したソフトウェアでは、プログラムの小さな誤りがクロスサイトスクリプティングやSQLインジェクションなどの脆弱性の原因となります。特に、形式言語やオートマトンの理論に基づく検証技術の研究に力を入れています。
田中圭介
先輩の声 0件
田中研究室は、情報セキュリティに数学的視点からアプローチしています。情報セキュリティとは、情報通信ネットワークの安全を守ることです。具体的には暗号理論、暗号通貨・ブロックチェーン技術、サイバーセキュリティを扱います。暗号は、計算複雑さ理論や情報理論、数論とも密接に関わっています。
増原英彦
先輩の声 0件
増原研究室は、プログラミング言語とソフトウェア開発環境を研究しています。言語と環境の理論・設計・実現方式を追求することで、「プログラミングをもっと楽しく」することが大きな目標です。型システムや制御機構、実行時コンパイル技法、統合開発環境の高度化など、幅広いテーマに取り組んでいます。
鹿島亮
先輩の声 0件
鹿島研究室は、数理論理学を研究しています。なかでも、古典論理とは違う考え方をする非古典論理と、計算を関数の形で表すラムダ計算を対象にしています。論理の体系そのものを数学のことばでとらえ、その性質を調べます。著書に『数理論理学』や『コンピュータサイエンスにおける様相論理』があります。
山下真
先輩の声 0件
山下研究室は、数理最適化を研究しています。数理最適化は、制約条件を満たす候補の中から、最善のものを見つけ出す数学的手法です。なかでも連続最適化と非線形最適化に力を入れ、より大きな問題を、より高速に、より正確に解くことを目指しています。たくさんの木をどんな割合で組み合わせて樹木園をつくるかという問題を、半正定値計画問題として計算する手法も研究しています。
遠藤敏夫
先輩の声 0件
遠藤研究室は、スーパーコンピュータをはじめとする高性能計算システムのための、ソフトウェアやアルゴリズムを研究しています。学内のTSUBAME4.0スパコンなどを使い、近ごろはGPUを用いたディープラーニングの大規模化・高速化にも取り組んでいます。スパコンの設計は、並列度の増大やメモリ階層の複雑化など、年々変わり続けています。それを使いやすくするソフトウェアが求められており、関連の深い研究室や異分野の研究室とも共同で研究を進めています。
先輩の声は学生限定です。大学のメールで無料登録すると、研究室ごとの先輩の声が読めます。
無料で登録するLabLog（ラボログ）は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営：株式会社bestiee
LabLog について詳しく ↗このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。
LAB LOG