Shinshu University · Faculty of Engineering · 教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• "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 プルーフチェッカーによるハードウェアの記述、検証
• ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成

• Official profile
• ORCID