大竹 和雄 | 日本電気(株)
スポンサーリンク
概要
関連著者
-
大竹 和雄
日本電気(株)
-
大竹 和雄
(株)ディジタル・ビジョン・ラボラトリーズ
-
大竹 和雄
日本電気(株)C&Cシステムインタフェース技術本部
-
大浦 慎司
日本電気(株)C&Cシステムインタフェース技術本部
-
中川 雅視
日本電気技術情報システム開発(株)
-
大浦 慎司
日本電気(株)c&cシステムインタフェース技術本部
著作論文
- オブジェクト指向言語のための代入を持つ計算系と同一性
- 本質的に多相的な関数とその型の表現について
- ASN.1からプログラムを自動生成するツール
- プロトコルにおけるフォーマット変換の形式的記述法
- 91-9 労せずして定理を!