古市 祐樹 | 名古屋大学大学院情報科学研究科

スポンサーリンク

概要

• 古市 祐樹の詳細を見る
• 同名の論文著者
• 名古屋大学大学院情報科学研究科の論文著者

関連著者

• 酒井 正彦

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

• 西田 直樹

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

• 坂部 俊樹

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

• 古市 祐樹

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

• 草刈 圭一朗

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

• 酒井 正彦

  名古屋大学

• 坂部 俊樹

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

• 西田 直樹

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

• 草刈 圭一朗

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

著作論文

• 制約付き項書換え系の潜在帰納法を利用した手続き型プログラム検証の試み
• 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
• 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み

スポンサーリンク