Takanori IshibashiJAISTの博士前期課程修了 & 博士後期課程進学2023年の9月にJAISTの博士前期課程東京社会人コースを修了しました。分散合意プロトコルRaftの形式仕様とモデル検査というテーマで学位論文を書きました。博士前期課程は入学試験で話した研究テーマに沿って研究を進めましたが、ある課題に直面したため、目標としていたことの一部を達成…1 min read·Sep 19, 2023----
Takanori IshibashiFormal Specification and Model Checking of Raft Log Replication in MaudeOur paper “Formal Specification and Model Checking of Raft Log Replication in Maude” has been accepted by DMSVIVA23.1 min read·Jun 29, 2023----
Takanori IshibashiFormal Specification and Model Checking of Raft Leader Election in MaudeOur paper “Formal Specification and Model Checking of Raft Leader Election in Maude” has been accepted by ICSCA 2023.1 min read·Jun 20, 2023----
Takanori Ishibashi社会人大学院生になって2年経過した私は2020年の10月に北陸先端科学技術大学院大学 (JAIST) 先端情報科学…6 min read·Oct 4, 2022----
Takanori Ishibashi社会人大学院生になって半年経過した私は2020年の10月に北陸先端科学技術大学院大学(Japan Advanced Institute of Science and Technology)先端情報科学 博士前期課程の東京社会人コースに入学しました。緒方研究室に所属しています。形式検証が主な研究テーマです。2 min read·Apr 12, 2021----
Takanori IshibashiModule importations in MaudeIn Maude, a module can be imported as a submodule of another in three different modes: protecting, extending, including. This is done with…1 min read·Sep 8, 2020----
Takanori IshibashiRustでBFSするRustでBFSを練習するために、AtCoder AGC 033 A — Darker and Darker を解きました。1 min read·Mar 14, 2020----