会津大学 · コンピュータ理工学部 · 講師

研究キーワードプログラミング言語の基礎理論・Foundation of Programming Languages

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

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

• 公式プロフィール