The University of Aizu · Faculty of Computer Science and Engineering · 講師

Research keywordsプログラミング言語の基礎理論・Foundation of Programming Languages

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

• プログラム変換などにも興味がある。現在の研究課題
• 略歴 — 博士（理学） 東京大学博士（理学） 東京大学
• 現在の研究課題 — 関数型、論理型などの宣言型プログラミング言語の基礎理論（主に書換え系）と実装に関する研究。また、並行計算、プログラム変換などにも興味がある。関数型、論理型などの宣言型プログラミング言語の基礎理論（主に書換え系）と実装に関する研究。また、並行計算、プログラム変換などにも興味がある。
• 研究分野 — ソフトウェア ソフトコンピューティングソフトウェア ソフトコンピューティング

• Official profile