高橋 正子 | 東京工業大学理学部
スポンサーリンク
概要
関連著者
-
高橋 正子
東京工業大学理学部
-
高橋 正子
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
山崎 秀記
一橋大学大学院商学研究科
-
高橋 正子
東京工業大学
-
山崎 秀記
東京工業大学理学部情報科学科
-
小林 孝次郎
Tokyo Institute of Technology, Department of Information Science
-
高橋 正子
Tokyo Institute of Technology, Department of Information Science
-
山崎 秀記
Tokyo Institute of Technology, Department of Information Science
-
小林 孝次郎
Tokyo Institute Of Technology Department Of Information Science
-
高橋 正子
東京教育大学理学部
著作論文
- Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
- Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
- Parallel Reductions in $\lambda$-Calculus
- スコット理論
- SORにおける加速定数の決定について (近似計算とシミュレーションによる近似解法研究会報告集)
- 言語とω言語