Ichiro Hasuo 蓮尾 一郎
@ichirohasuo.bsky.social
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
イミロン社のツール SpecForge の情報，公開しました
imiron.io/ja/post/rele...
imiron.io/ja/specforge/
形式手法を使うにあたっての「モデルも大事だけど，まず仕様から」をサポートするツールです．
「形式手法，こいつ... 動くぞ！」となることうけあいです．Stay tuned!!
imiron.io/ja/post/rele...
imiron.io/ja/specforge/
形式手法を使うにあたっての「モデルも大事だけど，まず仕様から」をサポートするツールです．
「形式手法，こいつ... 動くぞ！」となることうけあいです．Stay tuned!!
SpecForge リリースのお知らせ | Imiron
AIを活用した形式仕様記述・分析ツール「SpecForge（スペックフォージ）」を2025年7月より提供開始することをお知らせいたします。SpecForgeは、システムの要求仕様を数学的に厳密な「形式仕様」として記述・分析することで、複雑なシステム開発における品質、生産性、信頼性、そして説明性の向上に貢献します。 プロダクト紹介ページ: SpecForge PRTimes リリース:…
imiron.io
June 13, 2025 at 9:45 AM
イミロン社のツール SpecForge の情報，公開しました
imiron.io/ja/post/rele...
imiron.io/ja/specforge/
形式手法を使うにあたっての「モデルも大事だけど，まず仕様から」をサポートするツールです．
「形式手法，こいつ... 動くぞ！」となることうけあいです．Stay tuned!!
imiron.io/ja/post/rele...
imiron.io/ja/specforge/
形式手法を使うにあたっての「モデルも大事だけど，まず仕様から」をサポートするツールです．
「形式手法，こいつ... 動くぞ！」となることうけあいです．Stay tuned!!
大学院生募集中．年2回の相談ラウンドの1回目，開催中です．締切は 6/13 Fri AoE です．
docs.google.com/document/d/1...
docs.google.com/document/d/1...
June 2, 2025 at 1:55 AM
大学院生募集中．年2回の相談ラウンドの1回目，開催中です．締切は 6/13 Fri AoE です．
docs.google.com/document/d/1...
docs.google.com/document/d/1...
JST Boost （若手研究者支援）の公募が始まりました．
www.jst.go.jp/program/boos...
クロスアポイントメントで研究ができます（すると多くの場合給与も増えます）．博士取得後（なので学生さんはダメ），若手対象（おおざっぱに博士取得後10年未満）です．
だいぶわかりにくいのですが，同名の博士課程の学生さん支援制度はまた別です． jst.go.jp/jisedai/boos... これは学振相当のイメージ（額はより高かったりするらしい）
www.jst.go.jp/program/boos...
クロスアポイントメントで研究ができます（すると多くの場合給与も増えます）．博士取得後（なので学生さんはダメ），若手対象（おおざっぱに博士取得後10年未満）です．
だいぶわかりにくいのですが，同名の博士課程の学生さん支援制度はまた別です． jst.go.jp/jisedai/boos... これは学振相当のイメージ（額はより高かったりするらしい）
公募情報｜BOOST（若手研究者支援）
国家戦略分野の若手研究者及び博士後期課程学生の育成事業（BOOST）（若手研究者支援）は、緊急性の高い国家戦略分野において、我が国のイノベーション創出や産業競争力強化を図るため、国家戦略分野への挑戦を志す若手研究者が、所属機関にかかわらず、最適な場所を求めて自由に独立して研究に従事し、ステップアップできる環境を構築することを支援します。
www.jst.go.jp
May 1, 2025 at 5:31 AM
JST Boost （若手研究者支援）の公募が始まりました．
www.jst.go.jp/program/boos...
クロスアポイントメントで研究ができます（すると多くの場合給与も増えます）．博士取得後（なので学生さんはダメ），若手対象（おおざっぱに博士取得後10年未満）です．
だいぶわかりにくいのですが，同名の博士課程の学生さん支援制度はまた別です． jst.go.jp/jisedai/boos... これは学振相当のイメージ（額はより高かったりするらしい）
www.jst.go.jp/program/boos...
クロスアポイントメントで研究ができます（すると多くの場合給与も増えます）．博士取得後（なので学生さんはダメ），若手対象（おおざっぱに博士取得後10年未満）です．
だいぶわかりにくいのですが，同名の博士課程の学生さん支援制度はまた別です． jst.go.jp/jisedai/boos... これは学振相当のイメージ（額はより高かったりするらしい）
湘南会議記念講演会，できたてホヤホヤのスライドはこちら
Microsoft OneDrive
buff.ly
February 22, 2025 at 2:37 PM
湘南会議記念講演会，できたてホヤホヤのスライドはこちら
日曜日（明日）の湘南会議記念講演会（＠湘南国際村センター or オンライン），当日参加も可能とのことです．ぜひ！ https://buff.ly/4bbotM6
自動運転車両とコントロールセンターの展示もあります．（私達の成果でなく）現地の実証試験の展示です．ぼくも楽しみです．
自動運転車両とコントロールセンターの展示もあります．（私達の成果でなく）現地の実証試験の展示です．ぼくも楽しみです．
第12回 NII湘南会議記念講演会
第12回 NII湘南会議記念講演会
buff.ly
February 22, 2025 at 2:33 PM
日曜日（明日）の湘南会議記念講演会（＠湘南国際村センター or オンライン），当日参加も可能とのことです．ぜひ！ https://buff.ly/4bbotM6
自動運転車両とコントロールセンターの展示もあります．（私達の成果でなく）現地の実証試験の展示です．ぼくも楽しみです．
自動運転車両とコントロールセンターの展示もあります．（私達の成果でなく）現地の実証試験の展示です．ぼくも楽しみです．
こないだ設立した大学発スタートアップ（株式会社イミロン）でエンジニアとリサーチャーを募集しています．
imiron.io
imiron.io
Imiron
imiron.io
December 20, 2024 at 6:05 AM
こないだ設立した大学発スタートアップ（株式会社イミロン）でエンジニアとリサーチャーを募集しています．
imiron.io
imiron.io
研究室事務のみなさまと話していて
そういえばこういう基本的なこと，案外ちゃんと共有できていないのかも．．．
と思ったのでスライド作りました．事務の方用，理論研究者の時間の使い方解説 です．
そういえばこういう基本的なこと，案外ちゃんと共有できていないのかも．．．
と思ったのでスライド作りました．事務の方用，理論研究者の時間の使い方解説 です．
December 5, 2024 at 2:38 PM
研究室事務のみなさまと話していて
そういえばこういう基本的なこと，案外ちゃんと共有できていないのかも．．．
と思ったのでスライド作りました．事務の方用，理論研究者の時間の使い方解説 です．
そういえばこういう基本的なこと，案外ちゃんと共有できていないのかも．．．
と思ったのでスライド作りました．事務の方用，理論研究者の時間の使い方解説 です．
Bluesky 移行に向けていろいろ試行中．まず Buffer で同時投稿を試してみます．
December 3, 2024 at 9:00 AM
Bluesky 移行に向けていろいろ試行中．まず Buffer で同時投稿を試してみます．