スポンサーリンク

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

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

スポンサーリンク