Takanori IshibashiJAISTの博士前期課程修了 & 博士後期課程進学2023年の9月にJAISTの博士前期課程東京社会人コースを修了しました。分散合意プロトコルRaftの形式仕様とモデル検査というテーマで学位論文を書きました。博士前期課程は入学試験で話した研究テーマに沿って研究を進めましたが、ある課題に直面したため、目標としていたことの一部を達成…Sep 19, 2023Sep 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.Jun 29, 2023Jun 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.Jun 20, 2023Jun 20, 2023
Takanori Ishibashi社会人大学院生になって半年経過した私は2020年の10月に北陸先端科学技術大学院大学(Japan Advanced Institute of Science and Technology)先端情報科学 博士前期課程の東京社会人コースに入学しました。緒方研究室に所属しています。形式検証が主な研究テーマです。Apr 12, 2021Apr 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…Sep 8, 2020Sep 8, 2020
Takanori IshibashiRustでBFSするRustでBFSを練習するために、AtCoder AGC 033 A — Darker and Darker を解きました。Mar 14, 2020Mar 14, 2020