荻津 透 | 筑波大学工学研究科

スポンサーリンク

概要

• 荻津 透の詳細を見る
• 同名の論文著者
• 筑波大学工学研究科の論文著者

筑波大学工学研究科 | 論文

• ストリーム指向型並列データベース処理を対象とした分散メモリ資源割り当て方式
• 作用型項書換え系に基づく関数論理言語の設計と実装
• コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
• コンビネータ項書換え系にもとづく関数・論理融合型言語の設計
• 遅延ナローイングによる正規化手続きの実現

もっと見る

スポンサーリンク