石野 明 | 北海道大学 工学研究科 電子情報工学専攻 知識メデイアラボラトリ:(現)九州大学大学院システム情報科学研究科

スポンサーリンク

概要

• 同名の論文著者
• 北海道大学 工学研究科 電子情報工学専攻 知識メデイアラボラトリ:(現)九州大学大学院システム情報科学研究科の論文著者

関連著者

• 山本 章博

  北海道大学工学研究科・知識メディアラボラトリー

• 石野 明

  北海道大学 工学研究科 電子情報工学専攻 知識メデイアラボラトリ:(現)九州大学大学院システム情報科学研究科

• 山本 章博

  北海道大学工学部電気工学科

• 石野 明

  北大

• 石野 明

  北海道大学工学部

著作論文

• 層上の再帰性発見によるプログラムの推論 (情報工学専攻創立20周年記念号)
• 等式プログラミングにおける複雑化を用いた帰納推論
• 層状再帰プログラムの帰納推論

スポンサーリンク