<< 前ページ | 次ページ >>

Formal Method に関する講演 — 2022/12/08

さきがけ研究の一環として、JAXA （宇宙航空研究開発機構）の小林努博士に来てもらい Formal Method について講演して頂きました。

Rust 勉強会 — 2022/10/27

今学期のゼミは研究ミーティング、English Workshop の他に Rust 勉強会を開催しています。 今週はついに Rust の大きな特徴である「所有権」が出てきました。

ボードゲーム大会 — 2022/09/29

第 1 回ゼミの終了後、みんなでボードゲームをして懇親しました。 配属されたばかりの 3 回生ですが、とても盛り上がり一気に仲良くなってもらえたと思います！

JST さきがけに研究提案が採択 — 2022/09/20

JST さきがけに穐山の研究提案「アドレスの秘匿によるサイドチャネル攻撃に頑健な OS」が採択されました。 本提案は、ソフトウェアによる保護を乗り越えてメモリ上のデータを読み出せる攻撃（具体的には Spectre や RowHammer）を、亜種まで含めて一括して本質的に防ごうという取り組みです。

sakigake 2022

卒研室の設備 — 2022/08/31

4 月には空っぽだった卒研室（立命館大学では学生室のことをこう呼びます）の設備がだいぶ整ってきました。 まず休憩スペースにはコーナーソファを置いてみました。 長い方の辺は頑張れば睡眠もできそうです。 ただ BKC は深夜利用は可能ですが近くにコンビニなどがないので泊まるのは厳しいです。

test

<< 前ページ | 次ページ >>