村林 俊 | 北海道大学システム情報工学専攻

スポンサーリンク

概要

• 同名の論文著者
• 北海道大学システム情報工学専攻の論文著者

北海道大学システム情報工学専攻 | 論文

• 集合表現を含む仕様からのルール生成 (プログラム変換と記号・数式処理)
• setof参照による問題解決
• setof参照を用いた宣言的記述からのルール生成
• 条件を満たす項の集合の表現と計算

もっと見る

スポンサーリンク