研究課題
若手研究(B)
XMLを並列に処理するプログラミング言語に向けての研究を行った。特に木構造を並列処理する際の困難を解決するための基礎理論について成果が得られた。また、これに加え、関数型プログラムを分割統治並列処理する場合の一般的な理論や、本研究でのアプローチがコンパイラにおけるデータフロー解析にも有用であるとの洞察が得られた。以上の結果は、XML処理のみならず、並列プログラミングを考える上での基礎技術となり得る。
プログラミング言語