宮下 大 | 名古屋大学工学研究科情報工学専攻

スポンサーリンク

概要

• 宮下 大の詳細を見る
• 同名の論文著者
• 名古屋大学工学研究科情報工学専攻の論文著者

関連著者

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 宮下 大

  名古屋大学工学研究科情報工学専攻

• 酒井 正彦

  名古屋大学

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

著作論文

• 順序ソートの自動推論とラベル付けに基づく合流性判定への応用 (計算モデルとアルゴリズム)

スポンサーリンク