Balder ten Cate

テスト付きクレーネ代数と決定論的タスクにおけるその課題についての考察。