Ichiro Hasuo 蓮尾 一郎

研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています

- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です

くわしくは上記Webページ

大学院生としての所属をご検討の方へ 大学院生としての所属をご検討の方へ 国立情報学研究所・総合研究大学院大学 情報学コース 蓮尾 一郎 このページをご覧の方，興味を持っていただいてどうもありがとうございます． 我々の研究室の紹介と， より一般に大学院の研究室の選び方について（特に日本で学部教育を受けられた方に向け）， 書いてみたページです． これまで京大＞東大＞総研大と異動して，多くの大学院生のみなさんをみてきました（学位論文リ...

募集について，概要（つづき）：

- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら

docs.google.com/document/d/1...

募集について，概要：

- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています

- 学部卒業後，または修士修了後の入学（総研大）

- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています

大学院生としての所属をご検討の方へ 大学院生としての所属をご検討の方へ 国立情報学研究所・総合研究大学院大学 情報学コース 蓮尾 一郎 このページをご覧の方，興味を持っていただいてどうもありがとうございます． 我々の研究室の紹介と， より一般に大学院の研究室の選び方について（特に日本で学部教育を受けられた方に向け）， 書いてみたページです． これまで京大＞東大＞総研大と異動して，多くの大学院生のみなさんをみてきました（学位論文リ...

大学院生募集中．年2回の相談ラウンドの2回目，開催中です．締切は 10/18 Sat AoE です．

docs.google.com/document/d/1...

大学院生としての所属をご検討の方へ 大学院生としての所属をご検討の方へ 国立情報学研究所・総合研究大学院大学 情報学コース 蓮尾 一郎 このページをご覧の方，興味を持っていただいてどうもありがとうございます． 我々の研究室の紹介と， より一般に大学院の研究室の選び方について（特に日本で学部教育を受けられた方に向け）， 書いてみたページです． これまで京大＞東大＞総研大と異動して，多くの大学院生のみなさんをみてきました（学位論文リ...

D進はいいぞ〜〜 と言っています．
t.co/BCtLFjn76Y

D進にご興味お有りの方は，まずこちらをごらんください．
docs.google.com/document/d/1...

SpecForge リリースのお知らせ | Imiron AIを活用した形式仕様記述・分析ツール「SpecForge（スペックフォージ）」を2025年7月より提供開始することをお知らせいたします。SpecForgeは、システムの要求仕様を数学的に厳密な「形式仕様」として記述・分析することで、複雑なシステム開発における品質、生産性、信頼性、そして説明性の向上に貢献します。 プロダクト紹介ページ: SpecForge PRTimes リリース:…

イミロン社のツール SpecForge の情報，公開しました
imiron.io/ja/post/rele...
imiron.io/ja/specforge/

形式手法を使うにあたっての「モデルも大事だけど，まず仕様から」をサポートするツールです．

「形式手法，こいつ... 動くぞ！」となることうけあいです．Stay tuned!!

研究室の基本方針：
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています

- わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です

くわしくは上記Webページ

募集について，概要（つづき）：

- 経済的支援： 月約10万円（ベースライン，修士課程相当でも），最大月約40万円（過半数の学生さんが該当）．詳細はこちら docs.google.com/document/d/1...

募集について，概要：

- 論理学の情報応用のビッグラボ．数学・情報科学等のバックグラウンドをもって，博士を目指す人を求めています

- 学部卒業後，または修士修了後の入学（総研大）

- コンスタントに博士修了者が出て，アカデミアと産業界で活躍しています

大学院生募集中．年2回の相談ラウンドの1回目，開催中です．締切は 6/13 Fri AoE です．
docs.google.com/document/d/1...

JST Boost （若手研究者支援）の公募が始まりました．
www.jst.go.jp/program/boos...

クロスアポイントメントで研究ができます（すると多くの場合給与も増えます）．博士取得後（なので学生さんはダメ），若手対象（おおざっぱに博士取得後10年未満）です．

だいぶわかりにくいのですが，同名の博士課程の学生さん支援制度はまた別です． jst.go.jp/jisedai/boos... これは学振相当のイメージ（額はより高かったりするらしい）

湘南会議記念講演会，できたてホヤホヤのスライドはこちら

第12回 NII湘南会議記念講演会 第12回 NII湘南会議記念講演会

日曜日（明日）の湘南会議記念講演会（＠湘南国際村センター or オンライン），当日参加も可能とのことです．ぜひ！ https://buff.ly/4bbotM6

自動運転車両とコントロールセンターの展示もあります．（私達の成果でなく）現地の実証試験の展示です．ぼくも楽しみです．

こないだ設立した大学発スタートアップ（株式会社イミロン）でエンジニアとリサーチャーを募集しています．
imiron.io

そうそう，弊研究室の状況は「すごくよい」です（ありがたし）

研究室事務のみなさまと話していて

そういえばこういう基本的なこと，案外ちゃんと共有できていないのかも．．．

と思ったのでスライド作りました．事務の方用，理論研究者の時間の使い方解説 です．

Bluesky 移行に向けていろいろ試行中．まず Buffer で同時投稿を試してみます．