濱田 美星 | 慶應義塾大学 理工学研究科 総合デザイン工学専攻 小茂鳥研究室
スポンサーリンク
概要
論文 | ランダム
- 項書き換えによる関数型プログラミング (関数型プログラミングとその応用)
- 連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)
- 項書換え系とその保存的拡大における代数的意味論と動作意味論の関連について
- 項書換え系の意味論と自由連続代数
- Approximation Reduction and Approximation Rules of Term Rewriting Systems