Blog
野球（written by 村田健斗） — 2023/04/23
気分転換にロクハ公園で野球をしました！野球好きの橋本君がとんでもない豪速球を投げて、キャッチした中西君がボールの衝撃でうめき声をあげていました！
IPSJ ONE で穐山が講演 — 2023/03/04
IPSJ ONE という情報処理学会の主催するイベントにて、穐山が「ソフトウェアの仕組みを無視する攻撃からも秘密データを守る OS を目指して」と題して講演しました。
Formal Method に関する講演 — 2022/12/08
さきがけ研究の一環として、JAXA （宇宙航空研究開発機構）の小林努博士に来てもらい Formal Method について講演して頂きました。
Rust 勉強会 — 2022/10/27
今学期のゼミは研究ミーティング、English Workshop の他に Rust 勉強会を開催しています。 今週はついに Rust の大きな特徴である「所有権」が出てきました。
ボードゲーム大会 — 2022/09/29
第 1 回ゼミの終了後、みんなでボードゲームをして懇親しました。 配属されたばかりの 3 回生ですが、とても盛り上がり一気に仲良くなってもらえたと思います！
