本多 波雄 | 豊橋技術科学大学
スポンサーリンク
概要
関連著者
-
本多 波雄
豊橋技術科学大学
-
稲垣 康善
名古屋大学
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
本多 波雄
名古屋商科大学
-
村上 昌己
岡山大学工学部情報工学科
-
村上 昌己
名古屋大学工学部
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
泉 寛幸
名古屋大学工学部
-
山下 雅史
豊橋技術科学大学
-
北橋 忠宏
豊橋技術科学大学第4工学系
-
本多 波雄
豊橋技術科学大学:中部支部
著作論文
- Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)
- 二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論)
- プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
- 非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)
- 大学教育におけるORの活用(これからのOR)
- 多ソート部分的代数に対する等式推論規則 (形式言語理論とオートマトン理論)
- 学術情報システムと大学図書館
- 地域と大学