Ichiro Hasuo 蓮尾 一郎
@ichirohasuo.bsky.social
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
September 9, 2025 at 11:34 PM
研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
募集について，概要（つづき）：
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら
docs.google.com/document/d/1...
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら
docs.google.com/document/d/1...
大学院生としての所属をご検討の方へ
大学院生としての所属をご検討の方へ 国立情報学研究所・総合研究大学院大学 情報学コース 蓮尾 一郎 このページをご覧の方，興味を持っていただいてどうもありがとうございます． 我々の研究室の紹介と， より一般に大学院の研究室の選び方について（特に日本で学部教育を受けられた方に向け）， 書いてみたページです． これまで京大＞東大＞総研大と異動して，多くの大学院生のみなさんをみてきました（学位論文リ...
docs.google.com
September 9, 2025 at 11:34 PM
募集について，概要（つづき）：
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら
docs.google.com/document/d/1...
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら
docs.google.com/document/d/1...
募集について，概要：
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
September 9, 2025 at 11:34 PM
募集について，概要：
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
June 2, 2025 at 1:55 AM
研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています
- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
くわしくは上記Webページ
募集について，概要（つづき）：
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら docs.google.com/document/d/1...
June 2, 2025 at 1:55 AM
募集について，概要（つづき）：
- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら docs.google.com/document/d/1...
募集について，概要：
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
June 2, 2025 at 1:55 AM
募集について，概要：
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています
- 学部卒業後，または修士修了後の入学（総研大）
- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています
そうそう，弊研究室の状況は「すごくよい」です（ありがたし）
December 5, 2024 at 2:39 PM
そうそう，弊研究室の状況は「すごくよい」です（ありがたし）