北海道大学大学院情報科学研究科;
机译:计算机验证及其在过程控制系统中的应用的新趋势:日本第52台计算机验证状态(2)-正确管理计算机用药品和其他工厂的准则的概述和修订状态
机译:计算机验证新趋势和过程控制系统:日本的第52个计算机验证状态2 - 计算机二手药品物业制造商适当的管理指南概述和修订状态
机译:计算机验证新趋势和过程控制系统:第53次(最终圆形)计算机验证状态在日本3计算机二手药业发展管理财产管理指南概述和修订状态
机译:运动捕获系统和VR系统的多角度通信远程控制机器人与系统研究
机译:使用符合物理和美学特征的数字制造技术进行计算个性化
机译:法师玛奇诺新艺术纳拉比尼分离派Yosiki Moho Ni Taisuru Hirayama Eizo No Hihan Ni Tite Taisho Ganen Kaisai Dai Rokai Shohin Kairi Ryo Kai Shupin Ko Hou Woo Chu Shin Ni