信州大学 · 工学部 · 教授

研究关键词教育工学・プロフェッショナル・コミュニケーション・ハードウェア形式化・電気電子・機械・材料工学

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• "Introduction to Circuits, II"
• "On the Formalization of Lebesgue Integrals"
• "Turning Teaching Ideas into Real E-learning Solutions:Development of a Remedial English E-learning System for Undergraduate Students at a Japanese University"
• "On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services"

• 介護職が作成する個別介護計画書の電子化
• ペトリネット・ツールの開発
• Mizar プルーフチェッカーによるハードウェアの記述、検証
• ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成

• 官方个人主页
• ORCID