LAB LOG研究室選びの口コミアプリアプリを使う
口コミサイト LabLog のページ（研究室の公式ページではありません）
29研究室・先輩の声 0件
酒井 正彦
先輩の声 0件
酒井研究室は、ソフトウェア基礎論を専門とし、特に項書換え系、関数型プログラムの理論、プログラム変換・検証法を研究しています。主な研究課題として、項書換え系、プログラム変換・プログラム生成、SATソルバ、難解言語、自動採譜などを挙げています。研究室のプロジェクトとして、擬ブール制約ソルバ NaPS や、SQLに基づく組合せ最適化ソルバ CombSQL+ などが紹介されています。研究室のページは、酒井研・西田研の共通のページになっています。
西田 直樹
先輩の声 0件
西田研究室は、項書換えやプログラム逆化、プログラム変換、プログラム検証などを研究しています。研究内容には、条件付き書換え、制約付き書換え、ナローイングも挙がっています。情報システム学専攻の計算論講座に属し、酒井研究室と同じ研究室サイトで紹介されています。
番原 睦則
先輩の声 0件
番原・宋研究室は、知識表現と推論（Knowledge Representation and Reasoning）の分野で、基礎理論から社会実装まで幅広く研究しています。特に、宣言的問題解決のための汎用的なアプローチに注目し、解集合プログラミング、SAT（充足可能性判定）、制約プログラミングを中心に研究を進めています。研究の題材には、大学のコース時間割、文字列の圧縮、パズルなどがあります。高校生・学部生向けに、SATの紹介や看護師の勤務表作成の記事を、名古屋大学情報学部のブログで公開しています。
高田 広章
先輩の声 0件
組込みリアルタイムシステム研究室（高田・松原研究室）は、組込みリアルタイムシステムを実現する技術を、ソフトウェア開発とハードウェア設計の両面から研究しています。組込みリアルタイムシステムは、家電製品などの身近な機器から、産業用ロボットや人工衛星といった大型の機器の制御まで、現代社会を支える役割を担っています。多くの企業と共同研究を行い、産学官の連携で組込みシステム向けのオープンソースソフトウェアを開発するTOPPERSプロジェクトも推進しています。同じ講座の石原・増田研究室、本田・山田研究室とは、ゼミや演習、交流会を合同で行っています。
石原 亨
先輩の声 0件
石原・増田研究室は、エネルギー効率を最大化する計算の方法を、ハードウェア設計から計算アルゴリズムまで幅広く研究しています。重要な計算は正確に、ほかは近似的に行う近似コンピューティングの回路設計や、光の通信ネットワークの中で簡単な計算を行う技術を扱っています。近似コンピューティングの回路を検証するために、ソフトウェアのテスト手法であるファジングを使う研究にも取り組んでいます。
本田 晋也
先輩の声 0件
本田研究室は、機械や機器に組み込まれて制御を行うコンピュータシステムである組込みシステムを研究しています。研究テーマ例には、ROSやリアルタイムOSを用いた開発環境や、性能の評価があります。企業との合同研究も実施しており、学部4年生から参加できます。有志のメンバーは、ETロボコンにも参加しています。研究室のサイトでは、名古屋大学大学院情報学研究科と南山大学理工学研究科の本田研究室として紹介されています。
結縁祥治
先輩の声 0件
結縁・中澤研究室は、プログラムが開発者の意図したとおりに振る舞うことを保証するため、プログラムが特定の性質を満たすことを数理的な手法で証明する研究を行っています。入力は一般に無限にあり、すべてをテストすることはできないため、モデル検査、抽象解釈、型システムなどを研究しています。あわせて、可逆な実行によるソフトウェアの信頼性向上や、形式言語を代数学で捉える理論、実時間で動く並行システムの開発手法も研究しています。名古屋大学情報学研究科情報システム学専攻の研究室です。
楫 勇一
先輩の声 0件
楫 勇一教授の研究室は、情報理論と情報セキュリティを専門に研究しています。暗号や電子署名が攻撃にどれだけ耐えられるかという、安全性を調べています。量子コンピュータの実用化を見すえた電子署名の改良や、準同型暗号に対する攻撃の研究に取り組んでいます。
森﨑修司
先輩の声 0件
森崎研究室は、製品やサービスの安全性や継続性といった価値をソフトウェアが持つことを、客観的に示す技術を研究しています。通信、金融、通販、交通運輸、自動車、衛星、家電など、社会生活のあらゆる場面でソフトウェアが欠かせない存在になっています。研究では、要求、設計、製造、試験、保守、運用を含むソフトウェアの開発・運用プロセスの全ライフサイクルを、一貫して支援する技術を扱っています。
村瀬 勉
先輩の声 0件
村瀬研究室は、モバイルネットワーク基盤技術の研究をしています。名古屋大学 情報基盤センターの情報基盤ネットワーク研究部門 応用ネットワーク研究グループとして活動しています。情報学研究科 情報システム学専攻の協力講座でもあり、学生は情報学研究科に所属しています。「いつでも、どこでも、快適に通信できる」を実現する研究に取り組んでいます。
先輩の声は学生限定です。大学のメールで無料登録すると、研究室ごとの先輩の声が読めます。
無料で登録するLabLog（ラボログ）は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営：株式会社bestiee
LabLog について詳しく ↗このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。
LAB LOG