Ichiro Hasuo 蓮尾 一郎

情報学の研究者，大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．

国立情報学研究所，総合研究大学院大学，ERATO 蓮尾メタ数理システムデザインプロジェクト，他

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

スタートアップの方でインターンを募集しています．

業務内容は開発サポートですが、関数型言語による大規模ソ��トウェアの開発の現場を見ていただける機会にもなります．ぜひご検討ください．

https://t.co/acEVhmu9LK

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

バッチリ面白かったです！

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

教授会室

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

パトレイバー見た。客席が工学部8号館の教授室みたいだった。

[石川冬樹 Fuyuki Ishikawa @fyufyu]

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

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

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

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

- くわしくは上記リンク

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

大学院生募集中．年2回の相談ラウンドの1回目，開催中です．締切は 6/20 Sat AoE です．
https://t.co/eBYy2CRPu1

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

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

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

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

Haskell meetup: https://t.co/J284pdblBe

Tue 19 May 2026, 18:20, at Kanda Sudacho (not far from NII, venue of the FM 2026 conference https://t.co/voEeJQewYA)

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

SAKURA final event のスライド，リンクが切れてました，すみません！

こちらへどうぞ
https://t.co/kCGePxFNe2

[ECM Records @ECMRecords]

Harunoame, located in Nakanobu, Tokyo, carries a curated selection of records from around the world, including deep cuts from the ECM catalogue and other trans-idiomatic music. The shop also has a café on-site and an online store. Check them out if you’re ever nearby.

[HAMSTER Corporation @HAMSTER_Corp]

Arcade Archives Rave Racer will be available on February 26th!
It is a racing game released by NAMCO LIMITED in 1995.
Play it on 5 consoles, including Nintendo Switch 2, PlayStation 5 and Xbox Series X|S

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

スタートアップの方でインターンを募集しています．

業務内容は開発サポートですが、関数型言語による大規模ソフトウェアの開発の現場を見ていただける機会にもなります．ぜひご検討ください．

https://t.co/acEVhmu9LK

[Taro Sekiyama @skymountain_]

11/12(水)18:00 からNII/総研大の大学院説明会が開催されます
https://t.co/O1WMESYNs8
私の研究室 (https://t.co/mMMHU5homg) でも学生さんを募集していますので、プログラミング言語理論・プログラム検証に興味のある方はご連絡ください（事前連絡が必須になっているのでご注意を）

[TANIMURA Shogo @tani6s]

（宣伝2/6）新刊本『圏論の歩き方[改訂版] 』（税込4,400円）日本評論社
「圏論ブームの火付け役」とも言われる本を10年ぶりの大改訂。谷村の章も追加されました。
https://t.co/7uft3n0YER

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

火付け役かどうかはともかく，今回も座談会がんば���ました...

みんな年取って言うことが変わっているのが見どころ．新メンバーも参加！

[書泉_MATH @rikoushonotana]

10月上旬新刊
『圏論の歩き方[改訂版]』編集：圏論の歩き方委員会（日本評論社）
数学のみならず、物理学や計算機科学など、周辺分野との共通言語として浸透してきた「圏論」。その基礎と応用事例を、各分野のアクティブな研究者が紹介します。「圏論ブーム」から10年。その火付け役となった本書が、その後の進展なども含めて待望の改訂版として登場！
予約受付中⇩
https://t.co/pRsNYUOHVK

[書泉_MATH @rikoushonotana]

10月上旬新刊
『圏論の歩き方[改訂版]』編集：圏論の歩き方委員会（日本評論社）
数学のみならず、物理学や計算機科学など、周辺分野との共通言語として浸透してきた「圏論」。その基礎と応用事例を、各分野のアクティブな研究者が紹介します。「圏論ブーム」から10年。その火付け役となった本書が、その後の進展なども含めて待望の改訂版として登場！
予約受付中⇩
https://t.co/pRsNYUOHVK

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

研究室の基本方針：

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

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

くわしくは上記Webページ

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

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

[Ichiro Hasuo 蓮尾 一郎 @IchiroHasuo]

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

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