石川冬樹 Fuyuki Ishikawa

今週は湘南会議のオーガナイザー、（たぶん）9回目。今回は形式手法系で事例中心の場。内容はめちゃくちゃ楽しいのですが、いつも通り湘南会議をサポートするだけの話から、なぜか続いて250名強の国際会議をホストする話になっていてヒイヒイ言っています。来週FMご参加いただける方はそちらで！

追加滞在のおかげ？で来年のPC MemberとしてTシャツゲット。ダブリンです。

ルフトハンザスト、結局リオデジャネイロ3泊追加の流れ（3泊で済んでくれ...）。思いもせず初のICSE7日間フル参加コースに。

今回のリオ行き。今はロシア迂回で少し遠回りだけどラウンジ使えて慣れてるフランクフルト経由にする → 結果的に中東経由選ばなくてよかった → 出発日のスト予告が入り不安 → 何の問題もなくむしろアップグレードが入りラッキー → 再度のスト予告 → 今度はすぐさま欠航通知

30時間以上かけてICSEリオデジャネイロ来ました！ビーチエリアですがホテルの強冷房の会議室にこもってます。とりあえずピカーニャ（イチボ）は食べておきました。

形式手法に関する国際会議FM 2026、来月東京開催です。4つの基調講演、AIとFMのワークショップなど、ソフトウェア工学内の「古くて新しい」面白い分野の最先端の場ですので、ぜひご参加下さい！早期登録は4/18まで conf.researchr.org/home/fm-2026

（たまには研究室の話）自動運転やVLAの安全性・品質はもちろん、「LLM/AI＋Search-based＋形式手法」など面白い研究が進み、企業共同研究・社会人博士進学もさらに活発になってきました。トップエスイーは21周年！教授職を拝命し、気を引き締めてさらに頑張ります。今後もよろしくお願いします！

科学情報出版様@kagaku_bookより著書『詳解 強化学習の発展と応用』が発売2周年を迎えました！ 感謝の気持ちを込めて、本のエッセンスを凝縮・追記した**「全編まとめスライド」**を公開しますのでぜひチェックしてください！ speakerdeck.com/prinlab/in-dep…

CRESTの成果報告シンポジウムで5年半の成果を発表していました． jst.go.jp/kisoken/aip/re…

先週は複数の不確実性が創発的な問題を生むという Uncertainty Interaction の湘南会議でした。SAKURA Event Final もあり途中まででしたが、やっぱり SEAMS 系の方々の議論はめちゃくちゃ楽しいですね。そして今日はなぜか #nlp2026 （もちろん初）に呼んでいただいたので宇都宮です。

#文部科学省 の代表的な競争的研究費 #CREST #さきがけ を含む「戦略的創造研究推進事業」の令和8年度戦略目標が決定しました❗️ 科学技術振興機構(#JST)と日本医療研究開発機構(#AMED)が公募を行います👇 mext.go.jp/b_menu/houdou/… 全国の研究者の皆様からのご提案をお待ちしております📢

今週はAIパターンの湘南会議に呼んでいただ参加中。15回目くらい？にて一番というくらい富士山がきれいな日。

Software Testing in the Quantum World Rui Abreu, Shaukat Ali, Paolo Arcaini, Jose Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Mohammad Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao, … arxiv.org/abs/2601.13996 [𝚌𝚜.𝚂𝙴]

発表募集：JSAI 2026 OS-31 LLM時代のソフトウェア工学 　ai-gakkai.or.jp/jsaiml/index.c…

討論リーダーとして参加したIPSJ/SIGSEのイベント内容をまとめました。静岡おでん、おいしかった。 ウィンターワークショップ2026「AIエージェントの開発・評価・継続的運用」セッション報告 qiita.com/mihoicchi/item… #Qiita via @mihoicchi

ICSE Steering Committee has selected Tokyo as the host city for IEEE/ACM 51st International Conference on Software Engineering #ICSE2029! General Chairs: Hironori Washizaki and Jianjun Zhao. We cannot wait to welcome you to Tokyo! @ComputerSociety icse-conferences.org/news.html

ASE近場ソウル開催だったので来ました。まずプレイベント2つでの発表、共著者にお任せ。

産業界エンジニア教育コーストップエスイー21期生（！）説明会は来週です！ @Hiro_Washi 先生の「生成AI×ソフトウェアエンジニアリング」講演も。伝統的な原則・技術から、オーム社書籍も出た「生成AIによるソフトウェア開発」、そして「AIのエンジニアリング」まで扱う場です topse.jp/ja/admission-e…

今週は SE for Trustworthy FM/LLM/AI な湘南会議です（今回はオーガナイザー）。企画したときよりずっと重要で幅広いテーマになってる感じ。

【総研大・情報学コース 大学院説明会】 国立情報学研究所は11月12日（水）に大学院説明会を開催します。 ご関心をお持ちの方はぜひご参加ください。 日時：2025年11月12日（水）18:00- 場所：オンライン開催 申込：下記サイトよりお申込みください nii.ac.jp/graduate/entra…