Kitasato University · Division of General Education · 准教授

Research keywordsソフトウェア・プログラミング言語

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

• 純関数型言語の処理系における効率的な枝刈り機構の実装
• Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
• The Development of an Elderly Monitoring System with Multiple Sensors.
• Improving Document Similarity Calculation Using Cosine-Similarity Graphs

• よりよいコメント記述のためのプログラミング環境
• IoT デバイス向けの軽量でモジュラーな JavaScript 処理系
• プログラムをチェックしよう～プログラミング教室のその先へ～
• SMT制約式の機械学習を用いた自動チューニング

• Official profile