関本 彰次 | 三菱電機(株)
スポンサーリンク
概要
関連著者
-
関本 彰次
三菱電機(株)
-
中村 敏行
幾徳工業大学
-
首藤 勝
三菱電機(株)
-
首藤 勝
大坂工大
-
春原 猛
三菱電機(株)技術研修所
-
大井 房武
三菱電機(株)
-
春原 猛
三菱電機(株)
-
向井 国昭
三菱電機
著作論文
- 高位言語デバッギングシステム SOLDA
- A Formal Semantics for Algorithmic Linguages Based on the Scott's Logic (アルゴリズムにおける証明論)