山田 一宏 | 東京工業大学・大学院情報理工学研究科・計算工学専攻

スポンサーリンク

概要

• 山田 一宏の詳細を見る
• 同名の論文著者
• 東京工業大学・大学院情報理工学研究科・計算工学専攻の論文著者

関連著者

• 森口 草介

  東京工業大学大学院情報理工学研究科計算工学専攻

• 山田 一宏

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 西崎 真也

  京工業大学大学院情報理工学研究科

• 渡部 卓雄

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 渡部 卓雄

  東京工業大学大学院情報理工学研究科計算工学専攻

• 渡部 卓雄

  東京工業大学

• 森口 草介

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 西崎 真也

  東京工業大学

• 森口 草介

  東京工業大学情報理工学研究科

• 西崎 真也

  東京工業大学大学院情報理工学研究科

著作論文

• プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
• 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
• プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ

スポンサーリンク