高橋 正子 | 東京工業大学大学院情報理工学研究科数理・計算科学専攻

スポンサーリンク

概要

• 高橋 正子の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科数理・計算科学専攻の論文著者

関連著者

• 高橋 正子

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

• 高橋 正子

  東京工業大学理学部

• 高橋 正子

  東京工業大学

• 山崎 秀記

  一橋大学大学院商学研究科

• 山崎 秀記

  東京工業大学理学部情報科学科

著作論文

• Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
• Parallel Reductions in $\lambda$-Calculus
• スコット理論
• 高階項書き換え系について

スポンサーリンク