塚田 武志 | 東北大学大学院情報科学研究科|日本学術振興会特別研究員DC

スポンサーリンク

概要

• 塚田 武志の詳細を見る
• 同名の論文著者
• 東北大学大学院情報科学研究科|日本学術振興会特別研究員DCの論文著者

関連著者

• 小林 直樹

  東京大学大学院理学系研究科

• 小林 直樹

  東北大学大学院情報科学研究科

• 小林 直樹

  北海道日建設計

• 塚田 武志

  東北大学大学院情報科学研究科|日本学術振興会特別研究員DC

著作論文

• 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明

スポンサーリンク