西岡 知之 | 筑波大学工学研究科

スポンサーリンク

概要

• 西岡 知之の詳細を見る
• 同名の論文著者
• 筑波大学工学研究科の論文著者

関連著者

• 西岡 知之

  筑波大学工学研究科

• 井田 哲雄

  筑波大学電子・情報工学系

• 井田 哲雄

  筑波大学

• 中原 鉱一

  筑波大学工学研究科

• 浜名 誠

  群馬大学工学研究科

• 浜名 誠

  筑波大学工学研究科

• 井田 哲雄

  筑波大学システム情報工学研究科コンピュータサイエンス専攻

• ミデルドープ アート

  筑波大学電子・情報工学系

• ミデルドープ アート

  筑波大学電子情報工学系

著作論文

• 作用型項書換え系に基づく関数論理言語の設計と実装
• コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
• コンビネータ項書換え系にもとづく関数・論理融合型言語の設計
• 遅延ナローイングによる正規化手続きの実現

スポンサーリンク