清水 伴訓 | 北海道大学工学部システム情報工学専攻

スポンサーリンク

概要

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

関連著者

• 赤間 清

  北海道大学

• 宮本 衛市

  北海道大学

• 清水 伴訓

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

• 宮本 衛市

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

著作論文

• 宣言的プログラムの等価変換による問題解決
• 節の評価に基づく等価変換の制御とその応用
• 等価変換に基づく計算のための多重世界機構
• 宣言的プログラムの等価変換による問題解決
• 等価変換プログラミング言語ETC

スポンサーリンク