辻 武士 | 北海道大学システム情報工学専攻

スポンサーリンク

概要

• 辻 武士の詳細を見る
• 同名の論文著者
• 北海道大学システム情報工学専攻の論文著者

関連著者

• 宮本 衛市

  北海道大学システム情報工学研究科

• 赤間 清

  北海道大学

• 辻 武士

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

• 宮本 衛市

  北海道大学

• 赤間 清

  北海道大学情報基盤センター

• 赤間 清

  北海道大学工学部情報工学科

• 赤間 清

  北海道大学大学院工学研究科システム情報工学専攻

著作論文

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

スポンサーリンク