Ichiro Hasuo 蓮尾 一郎
@IchiroHasuo
Followers
1K
Following
3K
Statuses
3K
情報学の研究者，大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，ERATO 蓮尾メタ数理システムデザインプロジェクト，他 https://t.co/BUAvBT2GUz
Tokyo, JP
Joined January 2010
お話します！ がんばります
【第12回 NII湘南会議記念講演会】 令和7年2月23日（日曜・祝日）に #湘南国際村センター で講演会を開催します。国立情報学研究所の蓮尾一郎教授が、#AI自動運転 に関する最新の研究の動向等をわかりやすくご紹介します。実証事業としてAI自動運転バスの試乗会も行います。
0
2
12
RT @OrandainJapan: 🇳🇱オランダ式「新年ダイブ」の参加者募集中‼️✨この習慣を日本でも紹介すべく、昔からオランダと深い絆がある長崎県平戸市の千里ヶ浜海水浴場にて2025年1月1日（水)に、第4回目の新年ダイブが開催予定です✨ご興味ある方、是非ご参加下さい❗ お…
0
9
0
うまく書けていない論文を査読するのは推理小説みたいで楽しい． 「ああ，こういうことをしたくって，うまく書けずにわけわからなくなってるのかー」という気付きの瞬間が時々来る
0
0
10
RT @mikairvmest: 【ビサン京都店オープンのお知らせ】 （お店のFB投稿より抜粋） パレスチナ料理Bisanが京都の出町柳駅から徒歩3分の桝形商店街の入り口に初出店 2024年11月29日 12時 オープン予定 十条店のお料理の中から選りすぐりの人気メニュー…
0
541
0
RT @hikikobori: 「部屋に転がってるリモコンとか大根を操作インターフェースとして取り込み、日本語のサイネージがこれでもかと空間に浮かぶ、その辺の家がロボットに変形する中国地方を舞台にしたSFがみたいな〜」と思っている皆さん！ あります！ 自宅がロボットだと電気…
0
1
0
RT @kiyoshimatsuo: 本日(11/7)発売 #日刊ゲンダイ 連載コラム #松尾潔のメロウな木曜日 第109回。 クインシー・ジョーンズさんが11月3日逝去されました。享年91。拙著をお読みになった方はおわかりでしょうが、ぼくにとってはあまりに大きい存在でし…
0
253
0
RT @fyufyu: エンジニア教育コーストップエスイーは来年度第20期生を迎えることになります！伝統的＆アジャイルソフトウェア工学とともに、データサイエンス・AIも体系的に身につける場で、AI for SE / SE for AI を探る場にもなっています。11/22 15…
0
5
0
指導教員と合うかどうかは重要です．参考になるかどうかわかりません���，私が話している最近の動画はこちらです． リスト： 特に実際に近いと思われるもの（くだけ気味で話している）：
0
3
6
海外からの良い候補が複数いらっしゃって今後枠が絞られる予定です．今回の相談ラウンドへの応募，ぜひご検討くださいね．
0
2
5
募集の詳細はこちら（「大学院生としての所属をご検討の方へ」）： 私達の研究室だけでなく，大学院選びの一般論についても（私見を）たくさん書いています．
0
3
6
- 個人的な研究上の興味・熱意と，アウトプットを出すためのプロフェッショナリズム，システム化されたサポート，これらのバランスを追求しています - わかりやすく言うと「研究楽しい！ ので，ずっと楽しくやれるように，みんなで工夫もするよ」です
0
1
5