口コミサイト LabLog のページ(研究室の公式ページではありません)
62研究室・先輩の声 2件

西崎
先輩の声 0件
西崎研究室(Lambda Laboratory)は、プログラミング言語理論、型システム、形式手法とその応用を研究しています。プログラムが期待どおりに動くことを、実行する前に数学的に確かめる方法を考えます。ラムダ計算を土台にして、環境や継続といった計算の仕組みを値として扱う理論を組み立てています。モデル検査を使い、通信プロトコルやWebサーバなどの安全性と信頼性も検証しています。

小林
先輩の声 0件
小林研究室は、ソフトウェア工学、とくにソフトウェアの保守と設計支援について研究しています。多量のソフトウェア成果物を解析し、開発支援に役立つ情報を見つけ出すアプローチに取り組んでいます。解析する対象は、ソースコードや実行履歴だけでなく、開発活動の履歴も含みます。静的・動的解析の技術に、自然言語処理やデータマイニング、機械学習を組み合わせて、支援手法やツールを作っています。

秋山
先輩の声 0件
秋山研究室は、医学・薬学・生物学の大量データの解析と、大規模シミュレーション技術を研究しています。ヒトの病因解明、創薬支援、環境中の微生物解析などへの応用を目指しています。解析もシミュレーションも、スーパーコンピュータやクラウドをフルに活用して行います。創薬では、分子動力学シミュレーションやドッキングシミュレーション、機械学習の応用に取り組んでいます。

高安美佐子
先輩の声 0件
高安美佐子研究室は、幅広い分野の現象を、統計物理学や統計科学、情報科学の手法を使って解析しています。人間の活動・経済・生体情報などのビッグデータで現象を観測し、それを再現するミニマルな数理モデルを構築します。構築したモデルを使い、理論解析やシミュレーションによって複雑なシステムを理解します。セキュリティ技術を導入したビッグデータ解析室を備え、経済物理学・社会物理学と生命科学の研究拠点を形成しています。

権藤
先輩の声 0件
権藤研究室は、プログラム開発者を支援するためのソフトウェア開発ツールを研究しています。今のソフトウェアは100万行を超える規模になり、人間だけの力で開発できる大きさをはるかに超えています。デバッガやバージョン管理システム、統合開発環境といったこれまでの道具には、まだ改善の余地があります。プログラミングという知的な作業を楽しみながら、現実のソフトウェアに使えるツールを実装していく方針で研究しています。

金子
先輩の声 0件
金子研究室は、コンピュータシステムを高信頼・高効率にするための符号化技術を研究しています。そのひとつが、保存や通信の途中で化けてしまったデータを見つけて直す、誤り制御符号です。同期誤りの訂正や制約符号、LDPC符号、極符号など、扱う符号は多岐にわたります。データ圧縮や、符号理論にもとづく耐量子計算機暗号、ディペンダブルコンピューティングにも取り組んでいます。

宮崎
先輩の声 0件
宮崎研究室は、データ指向大規模・高性能計算やクラウドコンピューティングなど、大規模情報管理を研究しています。マルチコアCPUやGPU、新しいメモリ技術を生かして、大量のデータを効率よく処理する手法をつくります。クラウドストレージにたまったビッグデータへ、効率よくアクセスするための技術も扱います。膨大な情報の中からユーザが意図する情報を取り出す、情報推薦システムの研究も進めています。

吉瀬
先輩の声 0件
吉瀬研究室は、新しい計算機システムとハードウェアアクセラレータを追い求めています。計算機アーキテクチャ、組込みシステム、FPGAの技術がおもな題材です。FPGAを使って、プロセッサやアクセラレータのアーキテクチャを設計し、実際に回路として動かします。データの並べ替えを速くする回路、RISC-Vのプロセッサ、チップ内ネットワークの模擬実行などに取り組んでいます。

下坂
先輩の声 0件
下坂研究室は、モバイル・ウェアラブル・ユビキタス情報処理の分野で、革新的な知能情報処理の実現を目指しています。日常生活の中で自然に集まるセンシングデータをもとに、人の行動とその背後にある意図を理解し、モデル化します。位置情報や検索履歴などの大規模データに、ウェアラブルセンサや無線信号を合わせ、人流や個人の行動をより深く理解し、予測することを目指しています。人流予測システムの社会実装など、産業界への技術還元にも取り組んできました。

横田理央
先輩の声 0件
横田理央研究室は、スパコンを用いた大規模分散並列を、さまざまな分野に応用する研究をしています。深層学習で使うニューラルネットの規模は年々大きくなり、スパコンでしか計算できない状況になりつつあります。既存のフレームワークをそのまま動かしても速度や精度は上がらないため、大規模計算ならではの課題を一つずつ解いていきます。今のスパコンの課題を解くことは、10年後に手元の計算サーバで起きる課題を先取りして解くことでもあります。
先輩の声は学生限定です。大学のメールで無料登録すると、研究室ごとの先輩の声が読めます。
無料で登録するLabLog(ラボログ)は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営:株式会社bestiee
LabLog について詳しく ↗このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得(スクレイピング・AI への入力や学習)は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。