原田 一穂 | 盛岡市立病院麻酔科

スポンサーリンク

概要

• 原田 一穂の詳細を見る
• 同名の論文著者
• 盛岡市立病院麻酔科の論文著者

論文 | ランダム

• 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
• 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
• 項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
• 項書換え系の意味論と自由連続代数
• Approximation Reduction and Approximation Rules of Term Rewriting Systems

もっと見る

スポンサーリンク