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

名古屋大学

学部：情報学部コンピュータ科学科

大学院：情報学研究科情報システム学専攻

西田研究室（Nishida Lab.）

プログラムの逆化・変換・検証を項書換えなどで研究する研究室。

項書換えプログラム逆化プログラム検証

画面に表示されたプログラムのソースコード — ※イメージ画像です。研究室で撮影したものではありません。

About研究室について

プログラムの変換・逆化・検証を研究する。

西田研究室は、項書換えやプログラム逆化、プログラム変換、プログラム検証などを研究しています。
研究内容には、条件付き書換え、制約付き書換え、ナローイングも挙がっています。
情報システム学専攻の計算論講座に属し、酒井研究室と同じ研究室サイトで紹介されています。

用語の説明

項書換え: 式を、決めておいた規則に従って別の式へ次々と書き換えていく計算のしくみ
プログラム逆化: プログラムの出力から入力を求める向きの計算を、元のプログラムをもとに作ること

View More ↗

Research研究テーマ

プログラムの逆化、変換、検証や、項書換え、制約付き書換えなどを研究しています。論文の題名には、プログラムを論理制約付き項書換え系に変換するものも並んでいます。

View More ↗

Members教員

教授西田直樹

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。

先輩の評価（0人）

研究実績

学内の研究にじっくり学会・論文でどんどん発表

テーマの自由度

先生がテーマを用意自分でテーマを決める

指導の手厚さ

自由にやらせるじっくり指導

研究資金

工夫してやりくり設備・資金が潤沢

メンバーの仲

それぞれ黙々とわいわい仲良し

研究全体の忙しさ

研究にどっぷり時間にゆとり

コアタイム-

研究室のミーティング-

まだ先輩の声はありません

先輩の声では、こんなことを聞いています

この研究室の推しポイントは？
入ってみて分かったことは？
雰囲気や先生の人柄は？
どんな学生におすすめ？
卒業後の進路は？

研究室に所属しているあなたへ

あなたの研究室での経験が、後輩の研究室選びの手がかりになります。名前は出ません。

研究室の口コミを書く匿名・途中でやめても残ります

Related西田研究室（Nishida Lab.）に近い研究室

酒井研究室（Sakai Lab.）情報学部コンピュータ科学科この講座では、アルゴリズム、形式論理、計算モデル、計算意味、機械学習など、情報システムを理論面から支える分野の教育・研究…

番原・宋研究室（Banbara/Soh Lab.）情報学部コンピュータ科学科この講座では、アルゴリズム、形式論理、計算モデル、計算意味、機械学習など、情報システムを理論面から支える分野の教育・研究…

結縁・中澤研究室（SQLAB）情報学部コンピュータ科学科この講座では、高信頼かつ高性能なソフトウェアの効率的な開発や、検証、テストを行うためのソフトウェア論について、理論的なら…

ソフトウェア論講座濱口毅情報学部コンピュータ科学科この講座では、高信頼かつ高性能なソフトウェアの効率的な開発や、検証、テストを行うためのソフトウェア論について、理論的なら…

掲載内容について

このページの情報は、研究室の公開情報とインタビューをもとに、ラボログ運営がまとめています。誤りや削除のご希望は、研究室ではなくラボログにお知らせください。

掲載内容の誤りを報告する

画像について

トップと研究テーマの画像は内容のイメージで、研究室で撮影したものではありません。ウィキメディア・コモンズの画像をトリミングして使っています。CC BY-SA の画像は、トリミング後の画像も元の画像と同じ CC BY-SA（各行の版）で提供します。

トップの画像：「Skeleton programming code」 Monky2020／CC BY-SA 4.0（トリミング）
関連する研究室（酒井研究室（Sakai Lab.））：「Education program at Faculty of Computer Science & Engineering 3」 Иван Ж／CC BY-SA 4.0（トリミング）
関連する研究室（番原・宋研究室（Banbara/Soh Lab.））：「Samurai-sudoku」 „Markus Weigel“／CC BY-SA 4.0（トリミング）
関連する研究室（結縁・中澤研究室（SQLAB））：「Coder screen shot」 Wikideas1／CC0（トリミング）
関連する研究室（ソフトウェア論講座濱口毅）：「Software development methodologies」 Marcel Douwe Dekker／CC BY-SA 3.0（トリミング）

LabLog について

LabLog（ラボログ）は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営：株式会社bestiee

LabLog について詳しく ↗

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

大学のメールで無料登録ログイン