高橋 直久 | NTT電気通信研究所
スポンサーリンク
概要
関連著者
-
高橋 直久
NTT電気通信研究所
-
小野 諭
NTT電気通信研究所
-
雨宮 真人
Ntt電気通信研究所
-
鈴木 英明
Nttソフトウェア研究所
-
高橋 直久
NTT ソフトウェア研究所
-
鈴木 英明
Ntt
-
高橋 直久
Nttソフトウェア研究所:ntt武蔵野研究開発センタ
著作論文
- 戦略的なグラフ変換演算を用いた関数型プログラムのデバッグ法
- 並列処理環境における関数型プログラムのデバッグ方式
- プログラムの抽象動作表現を用いた連想検索法
- 関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)