2022 修士論文（石原研究室）

M2021SC011

酒井 聡太

選択演算と射影演算に対応する双方向変換の関数従属性のもとでの整合性検査